About implementation-verify
implementation-verify is a skill that checks whether an implementation meets its specification after `/speckit.implement` or in a manual run. It reports requirement, task, contract, and test-alignment gaps for projects using spec-kit files.
Key features
- 01FR requirement coverage
- 02Task completion percentages
- 03API contract coverage
- 04Unimplemented requirement list
- 05Coverage improvement recommendations
Use cases
- 01Review work after `/speckit.implement`
- 02Find requirements without completed tasks
- 03Check endpoint implementation against contracts
Install
Copy the command and run it in a terminal.
$
npx skills add https:/ / github.com/ drillan/ speckit-gates --skill implementation-verifyAfter installing, type/implementation-verifyin Claude Code to confirm it loaded.
Bundled filesscripts/verify.sh
Details
From the project READMEimplementation-verify
Verifies implementation against specifications after /speckit.implement completes.
Purpose
This skill automatically verifies that your implementation fulfills the specified requirements. It checks:
- FR requirement fulfillment: How many FR-XXX requirements are addressed by completed tasks
- Task completion rate: Percentage of tasks marked complete in tasks.md
- Contract implementation: API endpoints implemented as specified (if contracts/ exists)
- Test coverage alignment: Implementation aligns with test requirements
Output
The skill outputs a Fulfillment Report with:
- Coverage metrics (FR, task, contract percentages)
- List of unimplemented requirements
- Recommended actions to improve coverage
Usage
This skill runs automatically after /speckit.implement. You can also run it manually:
npx skills run implementation-verify
Exit Codes
| Code | Status | Meaning |
|---|---|---|
| 0 | Complete | 100% fulfillment |
| 1 | Partial | >80% fulfillment |
| 2 | Low | <80% fulfillment |
| 3 | Error | Required files missing |
Checks Performed
Task Completion Analysis
- Parse tasks.md for all task items
- Count completed tasks (marked with [X] or [x])
- Calculate completion percentage per phase
- Identify blocked or incomplete tasks
FR Fulfillment Analysis
- Extract all FR-XXX references from spec.md
- Cross-reference with completed tasks
- Identify FRs without corresponding completed tasks
- Calculate fulfillment percentage
Contract Implementation (if contracts/ exists)
- Parse contract files for endpoint definitions
- Check if corresponding implementation exists
- Calculate contract coverage percentage
Metrics Explained
| Metric | Formula | Interpretation |
|---|---|---|
| FR Coverage | Implemented FRs / Total FRs | Requirements addressed |
| Task Completion | Completed Tasks / Total Tasks | Work progress |
| Contract Coverage | Implemented Endpoints / Total Endpoints | API completeness |
Recommendations
After receiving low coverage:
- Review unimplemented requirements list
- Check for blocked tasks and resolve blockers
- Ensure task completion is properly marked in tasks.md
- Re-run
/speckit.implementfor remaining work - Run
implementation-verifyagain to verify progress
Comments
Markdown supported