Use when you have a written implementation plan to execute in a separate session with review checkpoints
npx skills add drillan/speckit-gates --skill "implementation-verify"
Install specific skill from multi-skill repository
# Description
>
# SKILL.md
name: implementation-verify
description: >
Verifies implementation against specifications by checking requirement fulfillment,
task completion, and contract implementation. Generates a fulfillment report with
coverage metrics. Always run after /speckit.implement completes.
version: 0.0.1
license: MIT
compatibility: Requires spec kit with check-prerequisites.sh, tasks.md must exist
metadata:
author: drillan
category: quality-gate
repository: https://github.com/drillan/speckit-gates
implementation-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
# Supported AI Coding Agents
This skill is compatible with the SKILL.md standard and works with all major AI coding agents:
Learn more about the SKILL.md standard and how to use these skills with your preferred AI coding agent.