用途：在实现某个计划之后，核对计划中的勾选项是否真正对应代码库现状，统计各阶段进度并找出阻塞项。
主要能力：读取 .specs/plans/<slug>.md，按每个 ## Phase N 标题下的 - [x] 与 - [ ] 统计进度（Phase N — title: checked/total，并汇总 Total: checked/total）；通过只读的通用子代理审查计划的架构决策、各阶段与 done-when 勾选项；运行项目测试套件并记录通过/失败；把发现分为 BLOCKERS（勾选但站不住、测试失败、契约破裂）与 SUGGESTIONS（改进、小缺口、风格问题）；随后只更新计划文件中的勾选状态，通过则标 [x]，不通过则取消为 [ ]。
使用方式：参数可为 slug 或 @file 引用；未提供参数时，列出可用计划为编号选项并等待用户选择。若第一阶段的主要模块文件不存在，则跳过子代理，报告 0/N 尚未开始，并列出第一阶段 done-when 项。报告包含 Progress（以 > 标记第一个未完成阶段）、BLOCKERS、SUGGESTIONS；全部校验通过时提示所有阶段已完成。存在阻塞项时列出待修项并建议重跑 /verify-plan <slug>；全部通过时建议创建 PR 或发布。交互式提示应以编号列表给出并等待用户选择。
限制：审查子代理必须只读，不得创建、编辑或删除任何文件；本技能唯一会写入的文件是计划中的勾选项；绝不修改实现代码，只观察与报告。资料未提供安装命令、平台、费用或效果等信息。