mcpField
A
assay

assay

github.com/venhdev测试与质量1130 次安装今天更新
代码仓库

关于 assay

assay 是用于审查计划中或已完成代码变更的对抗式审查技能，检查变更范围、契约一致性、结构内聚性与操作卫生，并给出有依据的 PASS、CONDITIONAL 或 FAIL 结论。

主要功能

  1. 01检查变更范围与无关改动
  2. 02对照规范和接口审查变更
  3. 03检查模块化与纵向切片
  4. 04标记边界情况、密钥和遗留文件
  5. 05给出 PASS、CONDITIONAL 或 FAIL 结论

适用场景

  1. 01执行前审查变更集
  2. 02检查差异中的契约偏移
  3. 03审计大型变更的范围与卫生

安装

复制下面的命令，在终端中运行。

$npx skills add https://github.com/venhdev/zenforge --skill assay

安装后在 Claude Code 中输入/assay确认已加载。

详细介绍

assay — 变更审查与对抗式质量引擎

领域评审标准

1. 评审维度

根据 4 个结构维度检查变更产物：

  • 范围完整性（影响范围与反臃肿）：核实每个计划修改或已修改的文件是否都不可或缺。标记意外的格式调整、表面改动、无关重构、推测性文件，或替换后未清理的遗留死代码。
  • 契约与规范一致性（防止偏移）：对照适用的规范、SSOT 文档和既定接口，核查变更。标记未记录的行为变更或遭破坏的契约。
  • 结构内聚性与切片：核实模块封装是否完善，且不存在抽象泄漏。针对任务，核实是否实现了真正的端到端能力垂直切片，而非按层拆分的水平切片。
  • 运维卫生与安全：揭示未处理的边缘情况、资源泄漏、遗留调试探针（[DEBUG-<hex>]）、未脱敏的机密，或未清理的临时暂存文件／任务文件。
2. 评审结论
  • PASS：不存在结构或契约缺陷；影响范围最小且仅包含必要变更；可执行或提交。
  • CONDITIONAL：发现轻微缺陷（意外改动、缺少边缘情况测试、局部臃肿）；提供可执行的修复方案以解除阻碍。
  • FAIL：检测到严重缺陷（违反契约、未经授权的影响范围、虚假的垂直切片、回归风险）；拒绝并停止。
3. 防幻觉与依据约束
  • 双重引用规则：对于每个报告的「契约与规范一致性」缺陷，同时引用问题代码位置（file:///path/to/code#L<N>）和被违反的规范或接口契约（file:///path/to/spec#L<M>）；没有权威规范引用时，绝不声称存在偏移。
  • 多层契约依据：根据 3 个权威层面核查变更：明确的规范／任务、结构性代码接口／架构，以及基线测试不变量；若标记为 UNGROUNDED，则仅评估范围完整性和卫生，不得臆造未声明的要求。

规范输出契约

# Assay Report: <Target / Scope Name>

## 1. Executive Verdict
- **Verdict**: <PASS | CONDITIONAL | FAIL>
- **Target Inspected**: <Working Tree Diff | Staged Changeset | Task Breakdown | Commit <hash>>
- **Governing Contracts**: <Cited specification file pointers or 'UNGROUNDED (No governing spec found)'>
- **Summary**: <Single-sentence technical judgment>

## 2. Findings & Actionable Remediations
*(If PASS: 'No defects observed across scope integrity, contract fidelity, structural cohesion, and operational hygiene.')*

- **[<Dimension>] <Defect Title>**: <Concise technical description of defect and failure risk>
  - Offending Code: [<file>#L<N>](file:///path/to/file#L<N>)
  - Violated Contract: [<spec_or_interface>#L<M>](file:///path/to/spec#L<M>)
  - Remediation: <Exact minimal correction needed>
路由
  • 结论为 PASS，且证据支持尚未应用的变更集／任务，执行范围也已获授权 →（通过 /forge）。
  • 存在范围或结构缺陷；重新暂存变更集树 →（通过 /changeset）。
  • 存在契约偏移或缺乏依据的冲突 →（通过 /clarify）。

执行流程

阶段 1：范围与契约依据核查
  1. 导入目标变更产物（未提交的差异、已暂存的变更集、.agents/tasks/ 或提交范围）。
  2. 根据多层契约依据约束，追踪并核实代码库中的适用边界。
阶段 2：自适应规模的对抗式审查
  1. 评估变更范围规模：
    • 轮内审查（少于 10 个文件的局部差异，或单张任务卡）：根据评审维度在当前轮次直接审查变更。
    • 子 Agent 扇出（多包变更集或范围广泛的 PR 差异）：动态启动并行 research 子 Agent，根据划分的切片或调用方声明的预算进行扩展（角色：Mutation Reviewer (<Target Slice>)）。为每个子 Agent 提供：
      • 分配的差异切片和目标文件位置。
      • 已发现的适用契约和不变量基线。
      • 双重引用规则和规范输出契约（将详尽的论证追踪记录到 .agents/scratch/assay-<slice>-dossier.md）。
阶段 3：综合与轮次停止关卡（汇总）
  1. 汇总并去重子 Agent 的发现，按规范输出契约整理，并附上任何外置档案的位置。
  2. 得出最终的执行结论（仅当所有切片均通过时才判定为 PASS；根据最高缺陷严重程度降级为 CONDITIONAL 或 FAIL）。
  3. 将报告输出到对话流中，并立即停止当前轮次。

评论

支持 Markdown