Software Development
Maintain Formal Verification Skill
Bring a project's formal verification back in line with the code after the code changes: find the commits that touched verified code, update the model, harness, or properties to describe the code as it is now, rerun, and say whether each failure is drift in the verification or a bug in the code. Use for /maintain-formal-verification-skill, \"is the model still true to the code\", or after merges and refactors that touched verified code without rechecking it.
- Publisher / source
- cursor/plugins (found on skills.sh)
- Upstream record
- cursor/plugins
- Version
- Version 3
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-03
- Content fingerprint
0c96f54293542d3818b68754562b338073958781a9684454611dca37592e2d2c