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
- cursor/plugins (found on skills.sh)
- Upstream record
- cursor/plugins
- Version
- Version 2
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-02
- Content fingerprint
30ef0ac27612ecd16fdc081112113221d673053cef3f8603db11932193861211