Vital Kalinousky 开源发布 AI 代码零信任验证网关 KERN

Vital Kalinousky 以 PolyForm 非商业许可证开源了 AI 代码零信任验证网关 KERN。该工具位于 AI 编码智能体与代码仓库之间，使用 SMT 求解器和形式化证明来审查 AI 生成的代码。 非商业用途免费，但任何商业使用，包括在公司内部 CI/CD 管道中运行，都需要从版权持有者 Vital Kalinousky 处获取商业许可证。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。