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.
Details
- Path
- plugins/antigravity-awesome-skills/skills/invariant-guard
- License
- Apache-2.0
- Dependencies
- 10