微软研究院与GitHub联合推出PDD Kit

2026年11月6日，微软研究院与GitHub Next联合推出工具包PDD Kit。该工具包提出了证明驱动开发（PDD）范式，旨在通过形式化验证来约束AI智能体编写的全栈Web应用。在具体实现上，PDD Kit能够将开发者的自然语言意图转化为形式化规范，并利用验证工具Verus对AI智能体生成的代码进行形式化数学证明，从而确保代码符合规范要求。

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

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