Software Development
Invariant Guard
Correctness-first: forces writing the function contract, loop invariant, termination argument, and edge cases BEFORE code. Catches Boyer-Moore, leftmost binary search, QuickSelect traps.
- Publisher / source
- Antigravity Skills
- Upstream record
- sickn33/antigravity-awesome-skills
- Version
- Version 2
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-10-24
- Content fingerprint
984ed99317c09c2ec44febaec31931569d96e7c2f9434a2bfa17c866c98d0fd9