spec-driven-verify
Original:🇺🇸 English
Not Translated
1 scriptsChecked / no sensitive code detected
Verify a spec-driven change is complete and correctly implemented. Checks task completion, implementation evidence, and spec alignment.
2installs
Added on
NPX Install
npx skill4agent add kw12121212/auto-spec-driven spec-driven-verifySKILL.md Content
You are helping the user verify a spec-driven change before archiving.
Prerequisites
The directory must exist at the project root. Before proceeding, verify:
.spec-driven/ls .spec-driven/If this fails, the project is not initialized. Run first.
/spec-driven-initSteps
-
Select the change — runto list active changes. Ask which change to verify. If already specified, use it.
node {{SKILL_DIR}}/scripts/spec-driven.js modify -
Format check — run:
node {{SKILL_DIR}}/scripts/spec-driven.js verify <name>Report any errors (blocking) or warnings (non-blocking).- If the script warns that has no
tasks.mdsection, promote that to a CRITICAL — every change must include test tasks## Testing
- If the script warns that
-
Task completion check — run:
node {{SKILL_DIR}}/scripts/spec-driven.js apply <name>If, list the incomplete tasks. These are CRITICAL issues.remaining > 0 -
Open questions check — readand scan for
.spec-driven/changes/<name>/questions.mdentries:- [ ] Q:- Any open (unanswered) question is a CRITICAL — implementation cannot be verified with unresolved ambiguity
- The script also reports these as errors; treat them as CRITICALs here
-
Implementation evidence check — for each completed task in tasks.md:
- Identify what code or files the task should have changed
- Verify the change actually exists (read relevant files)
- Note any tasks with no visible evidence as WARNINGs
-
Spec alignment check — read,
.spec-driven/specs/,.spec-driven/config.yaml, and all files in.spec-driven/changes/<name>/proposal.md:.spec-driven/changes/<name>/specs/- Does the implementation match what was proposed?
- Do the delta files in accurately describe what was implemented? Empty
changes/<name>/specs/with real behavior changes is a CRITICAL.specs/ - Does each delta file mirror its corresponding main spec file path? Mismatched paths mean the merge will fail.
- Do the delta files use the standard format (, RFC 2119 keywords,
### Requirement: <name>blocks)? Non-conforming format is a CRITICAL — the spec format is mandatory.#### Scenario: - If config.yaml has a field (including any
rulesentries), check whether the implementation and artifacts comply — violations are WARNINGsfileMatch - If proposal.md has an Unchanged Behavior section with content, verify the implementation has not violated any listed behaviors — violations are CRITICALs
- Flag misalignments as WARNINGs or CRITICALs
-
Output a tiered report:
CRITICAL (blocks archive): - [list or "none"] WARNING (should address): - [list or "none"] SUGGESTION (optional improvements): - [list or "none"] -
Recommend next step:
- If CRITICAL issues: address them before archiving
- If only WARNINGs: ask user if they want to address them or proceed
- If clean: suggest
/spec-driven-review <name>
Rules
- Be honest — don't pass a change just because tasks are checked off
- CRITICALs are things that would make the change incorrect or incomplete
- WARNINGs are things that reduce confidence but don't necessarily block
- SUGGESTIONs are optional quality improvements