drillan/implementation-verify
.agents/skills/implementation-verify/SKILL.md
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.
$ install --global
skillsauthnpx skillsauth add drillan/mixseek-plus implementation-verifyInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Apr 24, 2026, 7:50 AM3.9s1 file scanned
SKILL.md
- name:
- implementation-verify
- description:
- >
- version:
- 0.0.1
- license:
- MIT
- compatibility:
- Requires spec kit with check-prerequisites.sh, tasks.md must exist
- author:
- drillan
- category:
- quality-gate
- repository:
- https://github.com/drillan/speckit-gates
- internal:
- true
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
Related Skills
drillan/mixseek-workspace-init
tools
VerifiedTrustedCommunity
MixSeekワークスペースを初期化し、設定ファイル用ディレクトリ構造を作成します。「ワークスペースを初期化」「mixseekのセットアップ」「設定ディレクトリを作成」「新しいプロジェクトを始める」といった依頼で使用してください。
1SKILL.mdUpdated Apr 4, 2026
drillan/mixseek-team-config
development
VerifiedTrustedCommunity
MixSeekのチーム設定ファイル（team.toml）を生成します。「チームを作成」「エージェント設定を生成」「Web検索チームを作って」「分析チームを設定」といった依頼で使用してください。Leader AgentとMember Agentの構成を定義します。
1SKILL.mdUpdated Apr 4, 2026
drillan/mixseek-prompt-builder
development
VerifiedTrustedCommunity
MixSeekのプロンプトビルダー設定ファイル（prompt_builder.toml）を生成します。「プロンプトを設定」「プロンプトビルダーを作成」「ラウンド別プロンプト」といった依頼で使用してください。
1SKILL.mdUpdated Apr 4, 2026
drillan/mixseek-orchestrator-config
data-ai
VerifiedTrustedCommunity
MixSeekのオーケストレーター設定ファイル（orchestrator.toml）を生成します。「オーケストレーターを設定」「チーム競合設定」「複数チームで競わせる」「マルチチーム実行設定」といった依頼で使用してください。複数チームを並列実行して最良の結果を選択する設定を定義します。
1SKILL.mdUpdated Apr 4, 2026