Content & Writing  ·  Curated marketplace

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.


Composite

3.6

C 3.6 · A 0.0

How we got there

Craft · D1–D5

D1 · Trigger clarity 4.0
D2 · Output specificity 3.5
D3 · Scope precision 4.0
D4 · Self-containment 3.0
D5 · Reusability 3.5

02 — Cross-validation

1 source verified

Install

Use this skill

/plugin install invariant-guard

Auto-indexed. Editorial review pending — score is based on the rubric only.