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 3
- Published
- Publication review
- Approved for publication
- Content fingerprint
78efd7c0e472f11d25399cd337fb3036b48411da75f426c22c363fe1048cd8bb