OpenSpec Verify Change
SkillProductivityUse this skill at Step 7 of the v2 SOP to verify that all tasks in the active OpenSpec change are implemented and align with their specs. Cross-checks tasks.md checkboxes against actual code presence, runs per-spec acceptance criteria as smoke tests where possible, and surfaces unimplemented artifacts. Verify is a HARD GATE: failure routes back to Step 6 (openspec-apply-change) until clear. Chinese trigger examples: "OpenSpec verify", "Step 7", "核验变更", "检查未实现工件". Do NOT use to judge code quality (that's Step 8 review), do NOT use to verify compliance (that's Step 10). Success = every task checked, every spec has evidence, unimplemented-artifact list is empty.
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the OpenSpec Verify Change skill
What this skill tells your AI
The instructions your AI receives, as published by charliehzm/medharness in .claude/skills/openspec-verify-change/SKILL.md and read by ahel’s review.
The "did we actually build what we said" gate.
What it checks (NOT code quality)
| Check | Pass criterion |
|---|---|
| Tasks checkbox parity | every [x] task has a referenced code change in git |
| Spec evidence | every spec id appears in commit messages / file headers / test names |
| Acceptance criteria smoke | per-spec acceptance criteria runnable on stage-mock data, smoke green |
| File scope discipline | no task exceeded 2 files |
| Compliance touchpoints | every L3/L4-touching task's PR mentions phi-desensitize use |
Workflow
- Parse tasks.md / tasks/*.md → list of completed tasks + intended files.
- Diff against git log / current workspace → identify gaps.
- For each gap, mark as one of: missing-file / missing-test / missing-checkbox / scope-overflow.
- Run acceptance criteria smoke tests for each spec.
- Emit
VERIFY_REPORT.mdwith passes / failures / actions.
Hard gate
If any failure → return to Step 6, fix, re-run. Do not pass to Step 8.
Common failure modes
- Checkbox theater — task marked done without code. Mitigation: parity check.
- Hidden Steve work — task touched 4 files. Mitigation: scope discipline check.
- Spec without test hook — acceptance criteria not executable. Mitigation: hand back to
openspec-continue-changeto refine.
Signals
- GitHub stars
- 86
- Forks
- 8
- Last commit
- Jun 2026
Advanced
- Catalog kind
- skill
- Gateway key
openspec-verify-change-charliehzm- Source
- github.com/charliehzm/medharness