Hacker News：AI 热帖· newmathphys·· 4 小时前AI 评分53
KERN 发布面向 AI 生成代码的零信任验证网关
Kern – a zero-trust verification gateway for AI-generated code
AI 导读
KERN 发布位于 AI 编码智能体与代码仓库之间的 L0–L5 零信任验证网关，用 Z3 形式证明和 Belnap B₄ 四值判定替代简单的测试通过结果。
来源：Hacker News：AI 热帖 · github.com