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.
Pinned to revision 93bcde3b0287, so it is the text this page describes rather than whatever the author pushed since.
Files
- skills/create-formal-verification-skill/SKILL.md
- skills/create-formal-verification-skill/agents/openai.yaml
Every link opens the file at its source, pinned to the revision this page describes.