Generate a project-local skill that formally verifies the code where a bug costs the most and tests reach the least, in any language, with whichever verification tool fits. Use for /create-formal-verification-skill, \"model-check this race\", \"prove this invariant\", or when concurrency, retries, state machines, parsers, or unsafe code need more than tests.
Install
KitScout test notes
Not tested by KitScout yet. When our harness runs it, pros, cons and the tasks we tried appear here, with the date and evidence.
Similar tools
ponytail-audit190,451 ★ Quality audit of the whole repo: bugs, security, real load, missing tests, speed, and what to delete. Most imp
ponytail-debt190,451 ★ Harvest every shortcut: comment into one debt ledger, so deferrals get tracked instead of forgotten. One-shot
security-and-hardening117,221 ★ Hardens code against vulnerabilities. Use when auditing an input handler for vulnerabilities, when handling us