Software Development
Smart Contract Formal Verification
Foundry and Soroban formal invariant verification register: state transition rules, boundary invariant properties, and symbolic execution checks.
- Publisher / source
- Antigravity Skills
- Upstream record
- sickn33/antigravity-awesome-skills
- Version
- Version 9
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-10
- Content fingerprint
0fd737da4e2710016ec23cb97b2134691f3892b4609e00f8dc346d2551022e85