Software Development
Verification Maintainer
Helps developers keep formal verification models aligned with code changes after refactoring or merging.
- Publisher / source
- michael-denyer/pstack-claude (found on skills.sh, an awesome list)
- Upstream record
- michael-denyer/pstack-claude
- Version
- Version 3
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-03
- Content fingerprint
d6ed5e2af3446bd4a37c1a635b1bc363e9a8821249c97ee1b74f1382f5929aa0