关于 code-review
code-review 是用于审查冻结代码范围的只读技能,可依据验收标准、仓库规则和所提供的证据评估变更。它从五个维度检查代码,并返回结构化发现或受限范围内的部分结果。
主要功能
- 01审查冻结的差异和仓库范围
- 02检查规范与工单验收条件
- 03评估回归风险及因果测试覆盖
- 04依据证据评估声明是否稳妥
- 05返回结构化发现与部分结果
适用场景
- 01在验证前审查候选差异
- 02发现工单验收条件的缺口
- 03判断测试是否覆盖变更行为
- 04在指定资源限制内继续审查
安装
复制下面的命令,在终端中运行。
npx skills add https:/ / github.com/ carlitose/ agent-skills --skill code-review安装后在 Claude Code 中输入/code-review确认已加载。
附带文件agents/openai.yaml
详细介绍
代码审查
负责对一个冻结范围进行只读审查并给出发现。它绝不会编辑文件、运行质量循环、生成 Verification Record、决定最终声明上限,或更改 Git/提供方状态。
使用规范 Verification Record 中的语义词汇和必填字段。标记缺失或矛盾的输入;不要另行制定一套证据/门禁策略。
输入
接受以下一种获取方式:
- **Runner 交接:**冻结的差异、CandidateRef、规范化的 Ticket Envelope、验收标准、决策、基线、观察到的证据,以及已有的草稿记录。
- **独立获取:**以只读方式获取 PR、提交、本地差异或用户指定的范围;记录观察到的头部/提交/工作树身份、请求约束、相关仓库规则,以及可用的基线/证据。
不要解析 Markdown 来推断 Ticket Envelope。如果独立上下文没有规范化的工单,则依据明确请求和仓库约定进行审查。如果差异发生变化,则返回 stale-candidate 并停止。
易变输入上限
max_volatile_bytes:每次调用最多107656个规范化 UTF-8 字节。此上限由观察到的 96,393 字节候选差异峰值,加上工单正文最多 2,380 字节、实现交接最多 4,459 字节和简化内容最多 4,424 字节得出。语料包括本次运行的 TK-01/TK-02/TK-05/TK-07/TK-08 规范化git diff --no-ext-diff --no-color观察结果、九份工单正文,以及精简的叶节点结果。max_single_output_bytes:32596,即观察到的 TK-02 可执行代码候选差异。
对每个差异、原始文件片段、粘贴的交接内容、证据正文和工具结果,在将 CRLF 或单独的 CR 规范化为 LF 后进行计数。先获取预期清单;在命令输出进入上下文前截断,并按文件或代码块继续读取较大的差异。优先使用路径和 SHA-256 引用,而非粘贴产物;仅在审查某个方面需要时才加载被引用的内容。如果下一次必要读取将超出上限,则返回包含确切已检查/剩余范围以及 budget-exhausted 的 schema-3 部分结果;不要跳过范围,也不要为了符合上限而降低发现等级。
有界 Runner 交接
当 Runner 提供 schema-3 有界 LeafContext 时,将其 CandidateRef、规范阶段约定、预期文件清单、先前检查结果、剩余范围和资源限制视为权威的续接边界。对于相同的 CandidateRef,不要重新发现已检查过的不可变范围。
每个由 Runner 管理的审查回合结束时,都要返回一个 schema-3 结果,包括超时、中断或资源耗尽的情况。对于部分结果,持久化确切的 CandidateRef 和审查阶段约定、按顺序排列的预期/已检查/剩余文件、命令、发现、当前阶段、规范的剩余阶段后缀,以及非空的停止原因。
包含来自观察到的执行路径的规范化 schema-3 execution。共享上下文或未知隔离并非独立执行;应报告这一限制,而不是将其提升为独立执行。
完整审查必须达到 handoff-ready,检查声明的范围,并返回经过验证的结构化发现列表。部分结果可作为续接状态使用,但绝不代表通过。真实发现可能使流水线退回实现阶段,并计为一次质量失败;超时、中断和资源耗尽则不会。CandidateRef 漂移会使交接失效。
审查维度
分别审查每个维度,并且只报告有证据支持的发现:
- 标准与可维护性 — 项目约定、清晰度、意外的复杂性、不安全的错误处理、安全性、数据完整性以及无关范围。
- 工单验收 — 每项标准都有具体的实现路径和可观察的检查;不在目标范围内的内容保持不变。
- 语义回归 — 保留外部可感知的行为,或明确获得授权。将变更边界和不变量与提供的基线进行比较。
- 因果覆盖 — 测试/证据应验证变更机制,而非仅验证相邻的成功路径。明确指出被模拟或仿真的边界。
- 声明可靠性 — 措辞不得超出证据和规范记录中所列的未通过关卡所能支持的范围。
检查原始文件和差异,不要轻信摘要。不要调用
verification-audit;调用方会将发现提交给唯一一次审计。
发现格式
按严重程度排序:
[blocker|should-fix|nit] path:line - problem and impact. Suggested fix.
blocker:正确性、安全性、数据丢失、工单失败、缺少因果覆盖,或缺乏重要证据支持的声明。should-fix:影响较大的可维护性问题或非关键覆盖问题。nit:仅供选择的润色建议。
对于每项发现,在适用时指出违反的验收标准、不变量、边界事项或仓库规则。若没有发现,请明确说明,并列出剩余的证据限制。独立输出只是只读草稿;不得声称工单已完成或版本已发布。 绝不要对你未检查的 CandidateRef 或独立范围报告 PASS。