Software Development
Create Formal Verification Skill
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.
- Publisher / source
- michael-denyer/pstack-claude (found on skills.sh, an awesome list)
- Upstream record
- michael-denyer/pstack-claude
- Version
- Version 2
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-02
- Content fingerprint
af8ce2888328757ed9ac1bff2de5a382d5b6a1eabb55b9ed99c76ca905f2cd67