invariant-miner
Invariant miner: scans for code signals that imply hidden invariants (array[0] without guards, division by computed values, JSON.parse assumptions, Async state-readiness patterns) and presents them to the LLM with context for each. The LLM extracts invariant sentences and judges guaranteed-by-construction vs fragile. Read-only. Audience: Senior. Trigger: /invariants
Pinned to revision 345dfaa59547, so it is the text this page describes rather than whatever the author pushed since.
Files
- skills/invariant-miner/SKILL.md
- skills/invariant-miner/README.md
- skills/invariant-miner/scripts/assumption-scan.ps1
Every link opens the file at its source, pinned to the revision this page describes.