Agent skill · sickn33

invariant-guard

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

Reference it in any coding agent with:

@skills sickn33/invariant-guard

Browse the @skills marketplace