GitHub Next与微软发布PDD Kit原型

GitHub Next与Microsoft Research合作发布研究原型PDD Kit，以形式化验证辅助审查AI生成的全栈代码。该工具将开发者意图转换为Verus规约，通过数学证明检查代码对所有输入是否满足规约，未覆盖部分再用测试补充。 PDD Kit仍由人负责规划、评审及判断软件应做什么，研究原型定位为辅助代码审查，而非取代开发者。

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

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