微软研究院发布PDD Kit验证智能体代码

2026年11月6日，微软研究院联合GitHub Next发布研究原型PDD Kit，用于形式化验证智能体编写的全栈Web应用。该工具在Chopin环境中将开发者意图转换为Verus形式化规约，再证明智能体生成的代码对每个输入都满足该规约；对证明覆盖不到的部分，改用测试进行验证。目前该工具为研究原型，报道未提及后续部署或应用进展。

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

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