Menu
用于验证代码实现是否符合 design 和模块文档。适合用户说"验证下、检查下、跑 verify"。对照 design.md + 模块文档检查任务完成度、设计一致性、运行测试。
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
规范驱动开发工具包。绿地用 /sillyspec:init，棕地用 /sillyspec:scan，全自动用 /sillyspec:auto。完整流程：scan → brainstorm → plan → execute → verify → archive。支持 TDD、子代理并行、worktree 隔离、E2E 验证。兼容 Claude Code / Cursor / Codex / OpenCode / OpenClaw。
用于正式开始开发前的需求澄清和技术方案设计。适合用户提出新功能、新模块、架构调整、复杂改造，或说"先做需求分析、输出技术方案、创建变更前先梳理、帮我设计下"。产出结构化方案（design/proposal/requirements/tasks 四件套），但不直接写代码。
用于把 design 拆解为可执行的实现计划。适合用户说"拆任务、做计划、排 wave、规划实现步骤"。产出 plan.md（Wave 分组 + Task 列表 + 依赖关系）。
生成结构化规范 — proposal + design + tasks。适合用户说"生成规范、补全四件套、propose"。产出 proposal.md + design.md + tasks.md（+ 可能的 requirements.md）。
用于明确、低风险、范围很小的直接任务。适合用户说"直接改、快速修、顺手调整、改个文案、修个小 bug、更新一个文件、不要完整流程"。跳过 brainstorm/plan，但仍按 sillyspec quick 流程执行。
用于 SillySpec 自检和状态修复。适合用户说"检查下状态、修复 progress、doctor、状态不对"。全量扫描进度一致性，修复进度数据与实际产出不匹配的问题。
| name | sillyspec:verify |
| description | 用于验证代码实现是否符合 design 和模块文档。适合用户说"验证下、检查下、跑 verify"。对照 design.md + 模块文档检查任务完成度、设计一致性、运行测试。 |
verify-result.md（PASS / PASS WITH NOTES / FAIL）项目有多个活跃变更（.sillyspec/changes/ 下有多个目录）时，所有 sillyspec run 命令需加 --change <变更名> 指定操作目标；只有一个变更时可省略（CLI 自动检测）。
sillyspec verify是sillyspec run verify的顶层别名，两者等价。
sillyspec run verify # 输出当前步骤 prompt
sillyspec run verify --done --output "摘要" # 完成当前步骤（--input "用户原话" 记录输入）
sillyspec run verify --status # 查看阶段进度
sillyspec run verify --skip # 跳过可选步骤
sillyspec run verify --reset # 重置阶段（从头开始）
sillyspec run verify --reopen --from-step N # 重新打开已完成阶段修订（N=序号或名称）
| 参数 | 说明 |
|---|---|
--change <名> | 指定变更名（多活跃变更必填，单变更可省略自动检测） |
--spec-dir <path> | 指定规范目录（默认 <项目>/.sillyspec） |
--non-interactive | CI/脚本下禁用交互式 prompt |
--skip-approval | 跳过审批/校验门控（需明确意图） |
--json | 输出 JSON（程序化读取） |
verify 是只读阶段（禁止改代码/改 git 状态，只检查 + 写报告）。完成时有硬校验：
verify-result.md——不存在则阻断完成（不能跳过报告直接 --done）FAIL 则阻断完成——不能带着 FAIL 标记 verify 完成integration-critical / deployment-critical 变更（design/plan 含 daemon/session/lease/lifecycle 等关键词）：结论 PASS WITH NOTES 降级为 FAIL，必须有真实集成证据（Runtime Evidence section）verify-required-evidence.json（execute 写入）中每条 missing evidence → 阻断被阻断时 CLI 打印 ❌ 校验失败，不会提示"验证通过"。修复 verify-result.md 后重新 --done。
# 验证报告
## 结论
PASS / PASS WITH NOTES / FAIL ← 必须有结论章节（标题含"结论/Conclusion/Result/结果"即可，不限于确切"## 结论"），FAIL 会阻断 verify 完成
## 任务完成度
## 设计一致性
## 探针结果
## 测试结果
## 变更风险等级
## Runtime Evidence（integration/deployment-critical 必填）
execute → verify → archive
verify 通过（PASS）后，运行 sillyspec run archive --change <变更名> 归档。FAIL 则修复后重跑 sillyspec run verify。
verify-result.md 结论必须基于证据，不写"看起来没问题"--done，不跳过$ARGUMENTS