代码审查成了Agent第一战场
角度从“AI 会写代码”切到“AI 能不能发现人类看不见的并发、状态和安全 bug”。
Boris Cherny 用 Opus 5.5 加 Lean 正式验证 Claude Agent SDK,几句提示就挖出一堆数据流、并发和状态管理问题,最后变成 16 个修 bug 的 PR。另一边,GitHub 上 open-code-review 本周暴涨 12590 星。Agent 真正进入工程交付链,第一站不是聊天框,而是审查席。
团队想让 Agent 写更多代码,但真正害怕的是它把不可见的 bug 带进生产环境。
最有价值的 Agent 用法可能不是生成代码,而是用形式化验证和规则化审查把人类漏掉的问题挖出来。
开发者可以先从垂直代码审查规则集做起,把 NPE、SQL 注入、线程安全、迁移风险和测试缺口做成可复用的 Agent 工作流。