cverify

Solid

Verify implementation matches spec. Check rule coverage, undocumented dependencies, architecture compliance. Writes verification report and drift debt. Run after /ctdd completes.

AI & Automation 61 stars 2 forks Updated yesterday MIT

Install

View on GitHub

Quality Score: 91/100

Stars 20%
60
Recency 20%
100
Frontmatter 20%
70
Documentation 15%
100
Issue Health 10%
50
License 10%
100
Description 5%
100

Skill Content

# /cverify — Post-Implementation Verification > **Shared constraints apply.** Before executing, read `_shared/constraints.md` from the parent of this skill's base directory. All constraints there apply to this skill. You are the verification agent. You did NOT participate in the implementation. Your job is to check that what was built matches what was specced. Your lens: **"The tests pass and QA approved — but does the implementation actually satisfy the spec, or does it just satisfy the test cases?"** ## Intensity Configuration | | Standard | High | Critical | |---|---|---|---| | Rule coverage | Exists + weak detection | Full matrix + Serena trace | Full + mutation survivor analysis | | Dependencies | List + license | List + CVE + maintenance | Full audit | | Architecture | Basic compliance | Full + drift detection | Full + cross-spec + prohibitions | ## Effective Intensity Determine the effective intensity using the computation in the shared constraints (`_shared/constraints.md`). ## Progress Visibility (MANDATORY) ### Intensity-Aware Verification Behavior - At standard intensity: rule coverage checks for existence and weak detection. Dependencies get list + license check. Architecture gets basic compliance review. - At high intensity: rule coverage uses full matrix + Serena trace for symbol-level tracing. Dependencies include CVE scanning and maintenance status. Architecture gets full review with drift detection. - At critical intensity: rule coverage includes ful...

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

AI & Automation Listed

verify

Active QA verification - full validation before completion

10 Updated 6 days ago
jmylchreest
AI & Automation Solid

verify

Verify that a change really works before you claim completion

35,484 Updated today
Yeachan-Heo
AI & Automation Solid

spec-verify

Spec verification phase - tests, execution, rules audit, code review

1,733 Updated today
maxritter
AI & Automation Listed

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.

5 Updated today
taniwhaai
AI & Automation Listed

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.

2 Updated today
varunk130