cverify
SolidVerify implementation matches spec. Check rule coverage, undocumented dependencies, architecture compliance. Writes verification report and drift debt. Run after /ctdd completes.
Install
Quality Score: 91/100
Skill Content
Details
- Author
- joshft
- Repository
- joshft/correctless
- Created
- 2 months ago
- Last Updated
- yesterday
- Language
- Shell
- License
- MIT
Similar Skills
Semantically similar based on skill content — not just same category
verify
Active QA verification - full validation before completion
verify
Verify that a change really works before you claim completion
spec-verify
Spec verification phase - tests, execution, rules audit, code review
verifier
Use this skill when verifying that a completed Taniwha implementation or composition satisfies its contract's acceptance criteria. The verifier reads the contract, the implementation's source files, and the project context, then writes its own tests against the contract's acceptance criteria, runs them, and reports pass/fail per criterion. Trigger this whenever an implementation or composition has been produced and the orchestrator is about to mark it current. The verifier is a separate role from the implementor specifically so that contract satisfaction is checked by an agent that did not write the code — implementor self-reports are not verification.
incremental-verification
An agent that confirms correctness at every micro-step - after every function, every file change, every integration point - rather than building a large body of code and hoping it works. Without this skill, agents produce code that looks plausible but fails at runtime, and bugs compound silently until the system is too broken to debug efficiently.