Hacker News · AI· newmathphys·· 2 小时前精选AI 评分71
Kern：一个零信任验证网关，用于AI生成代码的机器可验证审查
Kern – a zero-trust verification gateway for AI-generated code
AI 导读
Kern 是一个零信任验证网关，位于AI编码智能体与代码仓库之间，使用SMT求解器和形式化证明替代传统CI的布尔测试结果，通过Belnap四值逻辑和Z3验证代码合约。
推荐理由
原文提供了可复用的零信任验证框架设计和实现细节，读者可以据此构建更安全的AI代码审查流程。
来源：Hacker News · AI · github.com