x-verify
Gate ① 事实验证 skill。运行 xdev verify 引擎;全过给回执,失败诊断事实并交 x-fix。 触发:x-dev 收尾、用户要求 verify 或复跑 task 证据。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
メニュー
Gate ① 事实验证 skill。运行 xdev verify 引擎;全过给回执,失败诊断事实并交 x-fix。 触发:x-dev 收尾、用户要求 verify 或复跑 task 证据。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
开发任务执行 skill。读取 task README 与 dev-checklist,按依赖实现、写 verify 证据,并由 README risk 驱动交付或 Gate ②。 触发:`x-dev <功能名称>` 或现有 task 目录。
软件正确性调查 skill。用于用户说“XX 不太对”“这个功能有 bug”“结果和预期不一致”“帮我查原因”,也用于用户要求 review 某个模块、文件、diff 或 PR 的正确性。遇到已知异常或模块 correctness review 时必须优先使用本 skill。 本 skill 使用贝叶斯根因调查:先列候选原因 H,再按日志、代码路径、测试、diff、spec 等证据 E 更新置信度,最后判断根因属于原始 spec 不一致、实现过程偏移、spec 缺口、环境/数据问题或证据不足。 x-cr 独立于 x-verify / x-qa-gate 自动门禁,产出 `reports/cr/cr-report-*.md`,x-fix 可按该 CR 报告继续修复。
Bug 修复执行 skill。分三种入口: 1. 用户直接报告 Bug → 定位根因 → 修复 → 产出 fix-report-*.md 或 fix-note-*.md(无需 CR 报告) 2. 有 x-cr 的 CR 报告 → 按报告逐条修复 → 回写同一份 `reports/cr/cr-report-*.md` 主档并产出修复记录 3. 有 x-verify / x-qa-gate fail 报告 → 按发现清单一次批量修复,产出逐条处置表,交回 gate 增量复审 触发方式:"x-fix"、"修一下这个 bug"、"这个功能坏了"、 "按 CR 报告修复"、"把 CR 问题修了"。
跨子 agent 协议/数据结构/流程对齐 skill。当一个项目的契约(API/事件协议/数据结构/接口/流程)需要由两个子 agent 各自代表实现方立场来回审稿时使用。用户作为人类中间人,在两个子 agent 之间传递文档与反馈。 典型场景:项目 A 的子 agent 写了一份 contract 文档,项目 B 的子 agent 要从实现方角度审稿、提反馈、敲细节,多轮迭代到双方都站得住脚。 触发关键词:"和另一个子 agent 对齐协议"、"跨团队 contract review"、"让另一个子 agent 给意见"、"多子 agent 讨论"、"另一个工程师设计的协议你看看"、"我把反馈传过去了,对方改了"、"x-multi-llm-align"、"multi-agent 流程",或用户描述的场景里同时出现"另一个子 agent/工程师/项目"+"协议/契约/数据结构/接口"+"对齐/review/审稿"等组合。 适用领域:协议对齐、数据结构对齐、流程对齐。不适用:单方面 review、代码 PR 评审(用 x-cr)、写作 peer review。
Gate ② 质量门禁。README risk Q2 走 RC,Q3 串行走 R1、R2、R3;reviewer 一轮列全发现并交 x-fix 批量修复。
需求与开发准备 skill。把确认后的需求直接写成可执行 task 包,并以 Q0-Q3 risk 驱动统一开发流程。 触发场景:“帮我处理需求”、“梳理需求”、“开个 task”、“新建任务”、“这个功能怎么做”、“帮我拆一下”、`x-req`,以及用户提供需求文档路径或描述预计超过 2 小时的功能。
| name | x-verify |
| description | Gate ① 事实验证 skill。运行 xdev verify 引擎;全过给回执,失败诊断事实并交 x-fix。 触发:x-dev 收尾、用户要求 verify 或复跑 task 证据。 |
README.md 的验收 Scenario 与 dev-report*.md fenced verify 块。引擎负责复跑命令、比较 exit/输出、列出 manual 和自动场景覆盖。
python3 tools/xdev.py verify <task-dir> --json。pass N / manual M 回执,不写报告。output_tail 与 uncovered,必要时用 --only <id> 复跑一个块;写 reports/verify/verify-report-<timestamp>.md,将完整 failure 清单交 x-fix。reports/.fix-counter、三轮上限和 x-fix 批量修复协议保持现有定义。🛡️ Gate① verify ✅ · pass N · manual M 待人工
🛡️ Gate① verify ❌ · fail N · uncovered M → x-fix