create-formal-verification-skill

Name: create-formal-verification-skill
Author: backnotprop

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.

quality›code-quality quality›testing

Rank#2257

backnotpropskills.shWorkflow3,421Oct 29, 2026, 11:56 PMskills.sh/backnotprop/pstack/create-formal-verification-skill

Created: 5 months ago
Last commit: 3 days ago

Analysis Graphs

Entity groups, riskiest firstshowing 10 of 127 entities

Collapsed groups — not assessed

Security Findings

No tagged releases

Lineage

Repo ships no git tags and no GitHub releases — consumers cannot pin to stable, reviewable versions

Versions

Scanned Oct 29, 2026, 11:56 PMLow
Scanned Oct 26, 2026, 08:43 PMLow
Scanned Oct 20, 2026, 07:46 AMLow