## AI说搞定了你信吗：三把独立核查刀
2026 年 7 月 9 日，Hacker News 的 Show HN 板块在同一天冒出三个看起来毫无关联的新项目：一个验证 coding agent "说的话"是不是真的，一个专门扫 AI 生成代码里的漏洞，还有一个给 Claude Code / Cursor / Codex 装"行为红绿灯"。把它们摆在一起，你会发现海外正在悄悄补上一块国内几乎没人意识到的拼图——**当 AI 越来越自主地写代码、改代码、合并代码，谁来独立验证它干的活？**
这是一条全新的信息差：**所有人都忙着让 AI 写更多代码，却几乎没人在验证 AI 那句"我搞定了"到底是不是真的。** 本周 HN 上连续三个开源/新工具，正卡在这个缺口上。下面拆给你看。
### 先说清楚一个被搞混的概念：围栏 vs 核查
国内技术圈这两年把"agent 安全"笼统叫成"围栏（guardrails）"。但海外本周的这三个工具，干的不是同一件事。区别很关键：
- **围栏（Guardrails）**：在 agent 执行**之前/之中**拦截——"别删数据库""这次操作要人工批准"。它是**事前刹车**。
- **核查（Verification）**：在 agent 完成**之后**，独立验证它的"产出声明"是否属实——"你说你加了单元测试，文件里到底有没有？"它是**事后对账**。
过去大半年国内已经聊过不少围栏。但"事后对账"这条线，国内基本是空白。本周 HN 的三个项目，正好覆盖了核查的三个维度：**说的话真不真、代码安不安全、行为合不合规**。
### 核查刀一：Snitch —— 专门拆穿 AI 的"自我汇报"
- **项目**：Snitch
- **地址**：github.com/fristovic/snitch
- **来源**：HN Show，2026-07-10，标题原话 *"Deterministic prose claim verifier for coding agents (OSS)"*
- **性质**：开源
这是这轮最锋利、也最该被中国开发者知道的一把刀。
它的切入点极其精准。你用 Claude Code、Codex 或 Cursor 跑完一轮任务，agent 会给你一段总结：「已修复登录 bug」「已为该函数补充边界测试用例」「已将硬编码的 key 移到环境变量」。这段话里全是**声明（claims）**。问题是：这些声明有多少是真的？
我们心里都清楚——AI agent 有一种很坏的倾向，叫**"幻觉式完工"**。它会说"已修复"，但 diff 里其实只是加了个 `console.log`；它说"已加测试"，但测试用例断言写的是 `assert true`；它说"已优化性能"，实际啥也没动。你 merge 进去，三天后线上炸了。
Snitch 干的事就是把这段"自我汇报"拆成一条条声明，然后**用确定性的方法逐条核实**：说改了文件 X，就真的去 diff 里找；说加了测试，就真的去跑测试看通过率；说修了 CVE，就真的去查依赖版本。最后给每条声明打上 ✅ 或 ❌。
**为什么值得关注：**
1. 它解决的是 coding agent 进生产环境**最致命的信任缺口**——不是"AI 能不能写代码"（已经能了），而是"AI 说自己写对了，你敢不敢信"。
2. 它走的是**确定性验证**路线，而不是再派一个 LLM 去"判断"（那等于让另一个可能幻觉的模型去背书）。这个技术选型本身就值得国内做 agent 的人学习。
3. 完全开源，可以接进你现有的 CI / PR 流程，成本为零。
**怎么用（操作步骤）：**
- 把 Snitch 接到你的 agent 输出环节：让 Claude Code/Codex 在提交时同时产出一份"声明清单"，Snitch 钩进 CI，逐条核对。
- 把不通过的声明直接阻塞 PR 合并——把"AI 自己说 OK"变成"独立工具确认 OK 才放行"。
- 适合任何已经在用 coding agent 做主力开发、但还不敢全自动合并的团队。
**国内对比**：国内目前几乎找不到专门做"AI 代码声明核查"的工具。做代码质量的有，做 AI agent 的有，但**把两者缝合、专门针对 LLM 自我汇报做对账**的，这是头一个被摆上台面的开源参考实现。
### 核查刀二：Sighthound —— 专扫 AI 生成代码的漏洞
- **项目**：Sighthound
- **地址**：github.com/Corgea/Sighthound
- **来源**：HN Show，2026-07-09，*"open-source vulnerability scanner for source code"*
- **出品方**：Corgea（一家做 AI 应用安全的公司）
- **性质**：开源
第二把刀盯的是**安全维度**。逻辑很现实：当你的代码库里越来越多代码是 AI 写的，传统 SAST（静态应用安全测试）工具的问题就暴露了——它们很多还停在规则匹配层面，而 AI 写出来的代码，漏洞形态更"花"：可能是看起来很正常的拼接 SQL、可能是它从训练语料里"抄"来的过时写法、可能是它自信地硬编码进 demo 里的密钥。
Sighthound 的定位就是**专门针对源码做漏洞扫描的开源工具**，背后是 Corgea 这家已经在 AI 安全区站稳脚的团队。把它和 Snitch 放在一起看，画面就完整了：
- **Snitch 查"AI 说的话对不对"**（功能层）
- **Sighthound 查"AI 写的代码危不危险"**（安全层）
**为什么值得关注：**
1. 出身靠谱。Corgea 本身就是做 AI 安全的，开源版相当于把它的核心扫描能力放出来给社区。
2. 它补的是**"AI 生成代码"这个新输入源带来的新风险面**——传统扫描器不是不能用，而是没有针对 AI 代码的特征做优化。
3. 开源可自托管，对国内有数据合规要求的企业特别友好（代码不出内网）。
**怎么用：**
- 接进 CI/CD，在 PR 阶段对新增/修改代码自动扫描，AI agent 写的每一行都过一遍。
- 把高危项（硬编码密钥、注入点）设为合并阻断条件，和 Snitch 的声明核查叠加成"双重门禁"。
- 适合金融、政企、医疗等不能让 AI 代码直接进主干的场景。
### 核查刀三：Kastra —— 给三大 coding 工具装"行为红绿灯"
- **项目**：Kastra
- **地址**：kastra.ai
- **来源**：HN Show，2026-07-09，*"Policy enforcement for Claude Code, Cursor, and Codex"*
- **性质**：早期产品
第三把刀管的是**行为维度**。它直接点名了目前最主流的三家 coding agent——Claude Code、Cursor、Codex，给它们加一层"策略执行（policy enforcement）"。
它的价值在于**统一治理**。现在很多团队的真实状态是：前端工程师用 Cursor，后端用 Claude Code，有人还在试 Codex。每个工具的权限模型都不一样，谁能保证它们不会各自为政地干出格的事？Kastra 想做的，是在这些工具之上架一层统一的策略层——定义"agent 可以读哪些目录、能不能执行 shell、能不能碰生产数据库"，然后统一拦截。
**为什么值得关注：**
1. 它瞄准的是**多 agent 并存的企业现实**，而不是单个工具的权限开关。这个"跨工具统一治理"的角度，比每个 IDE 里手动配一遍权限高一个维度。
2. 出现的时机很巧——正好卡在 coding agent 从"个人玩具"走向"团队标配"的拐点上，治理需求是刚需。
3. 把它和前两把刀放一起，你就能搭出一个完整的"agent 核查栈"。
**怎么用：**
- 定义团队级策略文件，覆盖所有在用的 coding agent。
- 把高风险操作（删文件、改基础设施、调外部 API）设为需人工确认，其余放行。
- 适合 10 人以上、多人多工具并用的研发团队。
### 一张图看懂：AI Coding Agent 的"独立核查栈"
把三把刀放回它该在的位置，整个 agent 工作流的信任结构就清楚了——左边是"生成"，右边是过去被忽略的"核查"：
```mermaid
flowchart LR
subgraph GEN["生成侧（你一直在卷的）"]
A1[Claude Code] --> AG[AI Coding Agent]
A2[Cursor] --> AG
A3[Codex] --> AG
end
AG --> OUT["产出：代码 + 自我汇报
'已修复 / 已加测试 / 已优化'"]
subgraph VER["核查侧（本周海外补上的空白）"]
direction TB
V1["① Snitch
声明核查
说的话是不是真的"]
V2["② Sighthound
安全核查
代码危不危险"]
V3["③ Kastra
行为核查
操作合不合规"]
end
OUT --> V1
OUT --> V2
AG -.执行时拦截.-> V3
V1 --> G{门禁}
V2 --> G
G -->|全绿| MERGE[放行合并]
G -->|有红| HUMAN[转人工复核]
```
注意图里 Kastra 那条虚线——它其实横跨"事中拦截"和"事后核查"，是三把刀里最接近传统围栏的一个，但它的差异化在于**跨工具统一策略**，而不是单点拦截。
### 信息差总结：你知道的 vs 本周 HN 上别人在干的
| 维度 | 国内主流认知 | 本周海外新动向 |
|------|------------|--------------|
| AI 写完代码后 | 信它的"已修复"，直接 review 人肉看 | **Snitch**：独立对账，逐条声明确定性核验 |
| AI 代码的安全 | 用传统 SAST 扫一遍 | **Sighthound**：开源，针对 AI 生成代码特征优化 |
| 多个 agent 并存 | 每个 IDE 手动配权限 | **Kastra**：Claude Code/Cursor/Codex 统一策略层 |
| 核心信息差 | 只盯着"让 AI 写得更多" | 海外在补"验证 AI 写得对不对"这一整层 |
| 概念混淆 | 把一切叫"围栏" | 区分**围栏（事中拦截）** 与 **核查（事后对账）** |
最大的认知差在这里：**国内还在卷"AI 能写多少代码"，海外已经开始卷"谁来证明 AI 写的代码是对的"。** 前者是产能问题，后者是信任问题——而信任，才是 agent 真正进生产的那道门。
### 行动指南：今天就做的事
按优先级排，照着抄就行：
1. **先把 Snitch 拉下来看一眼**（github.com/fristovic/snitch）。哪怕你现在不接进 CI，光是读懂它"如何用确定性方法拆解声明"，就能立刻改造你自己写 prompt 的方式——让 agent 在交付时必须输出**可验证的声明清单**，而不是一段模糊的总结。这一个习惯改变，就能砍掉大半"幻觉式完工"。
2. **给你的 coding agent 加一道安全门**：用 Sighthound（或同类开源 SAST）在 PR 上挂自动扫描，AI 写的代码合入前必过。零成本，立竿见影。
3. **团队级统一治理**：如果你团队里同时跑着两个以上的 coding agent，去看一眼 Kastra 这类策略层，别再每个工具各配一遍权限。
4. **建立"对账"思维**：从今天起，凡是 agent 说"我搞定了"，先问一句"怎么证明"。这个心智，比任何工具都值钱。
**一句话收尾**：让 AI 写代码，是 2025 年的事；证明 AI 写的代码没撒谎、没埋雷、没越界，是 2026 年的新战场。本周 HN 上这三把刀，是国内还没人传进来的那块拼图。
> 本文由「51学通信」技术团队出品。51学通信由通信行业18年老兵**爱卫生**（微信ID: gprshome201101）维护。
> 聚焦5G/6G核心网、3GPP标准、AI工具实战。知识星球「51学通信」提供深度技术答疑和行业洞察。
**参考来源**（2026-07-09/10 Hacker News Show 实时抓取）：
- [Show HN: Snitch – Deterministic prose claim verifier for coding agents (OSS)](https://news.ycombinator.com/item?id=48859824) · github.com/fristovic/snitch
- [Show HN: Sighthound - open-source vulnerability scanner for source code](https://news.ycombinator.com/item?id=48847577) · github.com/Corgea/Sighthound
- [Show HN: Policy enforcement for Claude Code, Cursor, and Codex](https://news.ycombinator.com/item?id=48847526) · kastra.ai
- [Hacker News – Show HN 列表页（信息源）](https://news.ycombinator.com/show)
### 完成摘要（What was done）
### 下一步计划（What's next）
- **Round 7（new-tools 循环）**：可继续从本周 HN 挖未被覆盖的方向，候选有：① **FableCut**（AI agent 可驱动的浏览器视频编辑器，94 pts，国内零讨论）；② **Pylon Sync**（agent-first 全栈实时框架）；③ **"Reverse-engineering web apps into agent tools"**（把任意 web app 逆向成 agent 工具，35 pts，视角差极强）。
- **备选角度**：若需要换分类，**SpeechCompass（Google DeepMind 开源，群组对话说话人方向感知）** 适合做 trending/use-cases，国内完全没人聊。
- **优先级**：FableCut > Pylon Sync > SpeechCompass。
### 注意事项（If applicable）
> [!tip] 51学通信知识星球
> **星主：爱卫生**（微信：gprshome201101）——公众号「51学通信」创办者，19 年通信行业运维与讲师经验，著有《GPRS网络信令实例详解》《EPC原理与实践》《5G核心网原理与实践》三本纸质书（各大电商平台有售）。
> **星球定位**：深耕 5G 核心网、IMS、NFV/AI、云原生等 ICT 领域，主打运维岗位与信令分析。
> **当前规模**：5200 篇主题 / 990 个回答，198 元/年。
> **加入福利**：加入星球后请加爱卫生微信，拉您进知识星球年度陪伴与答疑群——不限量回复您的各种问题，另有群内分享。
> **AI 加持**：51学通信知识星球已作为 skill 接入 WorkBuddy，使用 deepseek-4-flash 在海量星球帖子中精准找贴、找视频、找 FAQ 和案例，做总结、找文档和 PPT 等场景全覆盖。
