Home / Skills / create-formal-verification-skill
create-formal-verification-skill
michael-denyer/pstack-claudeSkill
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.
Why this score
This repo hosts 10 skills, so its 3,073 stars are split between them (about 307 each) for scoring.
Popularity score: 73/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank
Security
Scanned Oct 20, 2026 at commit 49b68501b075, with Cisco's open-source skill-scanner.
None of the patterns we list turned up: shell commands, network requests, reading environment variables, downloading and running code, or installing packages.
A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan
Alternatives
Other makers' add-ons that do the same job, next to this one.
| Name | Score | Stars | Context | Updated |
|---|---|---|---|---|
| This onecreate-formal-verification-skill michael-denyer/pstack-claude · Skill | 73 | ★ 3.1k | ≈98 always | 16d ago |
| create-verification-skill backnotprop/pstack · Skill Both about verification and prove | 72 | ★ 2.3k | ≈75 always | 16d ago |
| formal-verify michael-denyer/agent-formal-verify · Skill Both about formal and verification | 58 | ★ 17 | ≈106 always | 20d ago |
| mini-program-verification-skill NocodeMrLi/mini-program-engineering-skill-suite · Skill Both about verification and verify | 54 | ★ 92 | ≈158 always | 20d ago |
| source-verification HezaoHezao/poirot · Skill Both about verification | 52 | ★ 251 | ≈15 always | 3mo ago |
| formal-verifier swingerman/engineer · Subagent Both about formal and invariant | 61 | ★ 157 | ≈81 in chat | 16d ago |