mcpField
A
assay

assay

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

关于 assay

assay 是用于审查代码变更的 Skill，从范围、契约、结构和运行安全等方面检查变更，并给出有依据的判定及后续处理方向。

主要功能

  1. 01检查变更范围与体量
  2. 02审查规范和契约一致性
  3. 03检查结构内聚与纵向切片
  4. 04检查运行卫生与安全
  5. 05提供证据判定及处理方向

适用场景

  1. 01执行前审查未提交的差异
  2. 02依据项目契约检查暂存变更
  3. 03评估任务或提交范围中的回归风险

安装

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

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

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

详细介绍

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

领域评审标准

1. 评审维度

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

  • 范围完整性（影响范围与反臃肿）：验证每个计划新增或修改的文件是否都严格不可或缺。标记意外格式调整、表面改动、无关重构、推测性文件，或替换后未清理的残留死代码。
  • 契约与规范一致性（防止偏离）：根据适用规范、SSOT 文档和既定接口核对变更。标记未记录的行为变更或遭破坏的契约。
  • 结构内聚性与切片：验证模块封装是否完善且无泄漏式抽象。对于任务，验证其是否真正实现端到端能力的垂直切片，而非按层进行水平拆分。
  • 运维卫生与安全性：揭示未处理的边缘情况、资源泄漏、残留调试探针（[DEBUG-<hex>]）或未脱敏的机密信息。
2. 评审判定
  • PASS：不存在结构或契约缺陷；影响范围最小且严格不可或缺；可执行或提交。
  • CONDITIONAL：发现轻微缺陷（意外改动、缺少边缘测试、局部臃肿）；提供可执行的修正建议以解除阻碍。
  • FAIL：发现严重缺陷（违反契约、未经授权的影响范围、虚假的垂直切片、回归风险）；驳回并停止。
3. 防幻觉与依据约束
  • 双重引用规则：每个报告的 Contract & Spec Fidelity 缺陷都必须明确引用违规代码位置（file:///path/to/code#L<N>）以及被违反的规范或接口契约（file:///path/to/spec#L<M>）。禁止在没有契约引用的情况下声称存在偏离。
  • 多层契约依据：变更评估必须依据 3 个权威层面：明确的规范或任务、结构性代码接口或架构，以及基线测试不变量。只有当整个代码库中不存在任何适用规范或代码契约时，才将 Contract Fidelity 标记为 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 Tree →（经由 /changeset）。
  • 存在契约偏离或依据不足的矛盾 →（经由 /clarify）。

执行协议

阶段 1：范围与契约依据
  1. 接收目标变更产物（未提交的差异、已暂存的变更集、.agents/tasks/ 或提交范围）。
  2. 根据多层契约依据规则，追踪并核实整个代码库中的适用边界。
阶段 2：自适应规模的对抗式审查
  1. 评估变更范围的规模：
    • 单轮审查（涉及少于 10 个文件的局部差异，或单张任务卡）：在当前轮次中直接依据评审维度审计变更。
    • 子 Agent 扇出（跨多个软件包的变更集或范围广泛的 PR 差异）：启动 2–3 个 research 子 Agent（角色：Mutation Reviewer (<Target Slice>)）。为每个子 Agent 提供：
      • 分配的差异切片和目标文件位置。
      • 已发现的适用契约和不变量基线。
      • 双重引用规则和规范输出契约。
阶段 3：综合与轮次停止关卡（汇入）
  1. 将子 Agent 的发现综合并去重，整理为规范输出契约。
  2. 得出最终的执行判定（仅当所有切片均通过时判定为 PASS；根据最严重缺陷降级为 CONDITIONAL 或 FAIL）。
  3. 将报告输出到对话流中，并立即停止当前轮次。

评论

支持 Markdown