mcpField
S
simplify-audit

simplify-audit

github.com/venhdev开发145 次安装1 天前更新
代码仓库

关于 simplify-audit

这是一个用于软件范围审查的简化审计技能，面向需要评估代码并准备变更集以供审阅的团队。它根据行为等价证据和风险，将结果分为通过、已暂存或未解决，并将实现留在技能范围之外。

主要功能

  1. 01依据简化规则检查代码
  2. 02检查调用点与相关约定
  3. 03评估行为等价与风险
  4. 04按状态输出审计结果
  5. 05为低风险改动准备变更集

适用场景

  1. 01审查函数或模块是否可简化
  2. 02对大型代码库划分审计范围
  3. 03为可验证的简化改动准备审阅材料
  4. 04将未解决的设计问题转交决策

安装

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

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

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

附带文件references/simplify-rubric.md

详细介绍

simplify-audit — 简化审计与变更集暂存

领域评估准则

输入与边界

接收文件、函数、模块、子系统或代码库范围。检查目标、约束契约、调用点和相关检查；所有工作均保持只读。范围宽度决定检查深度，而非自动触发重设计。

评估候选项前，请阅读 references/simplify-rubric.md。保留语义、错误处理、所有权和公共契约。仅提出有依据证明等价的变更；对于尚未解决的架构选择，应转交处理，而不是默默扩大设计范围。

对于宽泛输入，找出内聚的切片，并报告已检查的内容和剩余事项。仅暂存理解充分且风险足够低的切片，包括必要的连带变更；绝不可仅凭抽样就声称覆盖了整个代码库。

状态
  • PASS：检查范围内没有违反评估准则且值得实施的简化；简要报告后结束。
  • STAGED：已有具体且保持行为不变的简化变更集可供审查，并有等价性证据或适用参考资料及验收标准作为支持。
  • UNRESOLVED：证据、风险或设计决策阻碍了可靠暂存；简要报告发现和缺口。

规范输出约定

# Simplification Audit: <Scope> · <PASS | STAGED | UNRESOLVED>

<Short-to-medium conclusion; rubric-based opportunities and inspected coverage.>
Basis: <Equivalence evidence, governing contracts, checks/references; omit for a clean report.>
Gap: <Uninspected scope or unresolved decision; omit if none.>


# Changeset: Simplify <Slice>

Acceptance: <Behavior and contracts that must remain unchanged.>

```text
|-- <subsystem>/
|   `-- <file>
|       `-- [UPDATE] <Rubric-based simplification and retained invariant>.
`-- <deep/path/to/caller>
    `-- [UPDATE] <Necessary behavior-preserving cascade; omit if none>.

Summary: <N> files affected (<C> created, <U> updated, <M> moved, <D> deleted).
```

对于 PASS 或 UNRESOLVED，省略整个变更集、验收区块和文件摘要。这是一份带有条件暂存的审计产物，而非必须成对提交的两份报告。

路由
  • 内嵌的变更集已有依据支持且获得授权；附上等价性证据和验收标准 →（经由 /forge）。
  • 保持行为不变的暂存需要先明确需求或权衡取舍 →（经由 /clarify）。
  • 简化需要先确定架构方向 →（经由 /architect-decision）。

执行协议

  1. 明确范围并应用评估准则。直接审计局部工作。对于涉及多个层级的宽泛范围，先探索关键锚点，再将有明确依据的切片委派给工作者；为其提供边界、契约、本地评估准则路径，以及发现／证据／风险子报告约定；最后进行综合，而不是列出目录清单。
  2. 如果没有问题，交付 PASS 并结束。如果存在可靠切片，则内嵌其变更集并交付 STAGED；暂停以等待授权，且不得在此技能范围内实施。内嵌树无需使用 (via /changeset)。
  3. 如果必须更改架构所有权、契约或权衡取舍，则报告 UNRESOLVED 并说明设计缺口。范围宽泛本身并非设计阻碍。
  4. 在报告、暂存或设计交接处结束；重构实施不属于此技能范围。

评论

支持 Markdown