cverify
Audits spec-to-code conformance and generates a formal verification report with drift debt.
npx skills add https://github.com/joshft/correctless --skill cverify
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill. Skill: cverify Source: https://github.com/joshft/correctless/tree/main/correctless/skills/cverify Command: npx skills add https://github.com/joshft/correctless --skill cverify