用途：在 /speckit.implement 完成后，自动验证实现是否满足规格要求，也可手动运行。
主要能力：检查 FR 需求履行情况（有多少 FR-XXX 需求被已完成任务覆盖）、任务完成率（tasks.md 中标记完成的任务百分比）、契约实现（若存在 contracts/，检查 API 端点是否按规格实现）、测试覆盖对齐（实现是否符合测试要求）。输出履约报告，包含覆盖率指标（FR、任务、契约百分比）、未实现需求清单、改进覆盖的建议。
检查方式：解析 tasks.md 任务项，统计以 [X] 或 [x] 标记的已完成任务并计算各阶段完成百分比，识别阻塞或未完成任务；从 spec.md 提取全部 FR-XXX 引用，与已完成任务交叉比对，计算履行百分比；如存在 contracts/，解析端点定义并检查对应实现，计算契约覆盖率。
使用方式：在 /speckit.implement 后自动运行；手动运行命令为 npx skills run implementation-verify。
退出码：0 表示完成（100% 履行）；1 表示部分（>80% 履行）；2 表示偏低（<80% 履行）；3 表示错误（缺少必需文件）。
指标：FR 覆盖率 = 已实现 FR / 总 FR，反映需求处理情况；任务完成率 = 已完成任务 / 总任务，反映工作进度；契约覆盖率 = 已实现端点 / 总端点，反映 API 完整度。
低覆盖率建议：查看未实现需求清单，检查阻塞任务并解决，确认 tasks.md 已正确标记完成，对剩余工作重新运行 /speckit.implement，再次运行本技能验证进展。
限制：依赖 tasks.md、spec.md 及可选的 contracts/ 文件，缺少必需文件会以退出码 3 报错；具体价格、平台支持与更详细配置暂未提供。