invariant-guard

Community

Correctness-first: forces writing the function contract, loop invariant, termination argument, and edge cases BEFORE code. Catches Boyer-Moore, leftmost binary search, QuickSelect traps.

Install

skillpm install invariant-guard

Format score

90/100

Spec

v1.0

Installs

0

Author

Published

May 28, 2026

Source

https://github.com/sickn33/antigravity-awesome-skills/tree/main/plugins/antigravity-awesome-skills-claude/skills/invariant-guard