invariant-guard

sickn33/agentic-awesome-skills/skills/invariant-guard

45.6k 0PythonAutomation
PlatformCursorClaude CodeGemini CLI

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

CursorClaude CodeGemini CLIverificationalgorithms

All Skills