Microsoft Research 推出 PDD Kit，用形式化验证智能体编写的全栈 Web 应用
Microsoft Research 发布研究原型 PDD Kit，提出 Proof-Driven Development（PDD）方法：把开发者意图转成 Verus 形式化规范，对智能体编写的代码在所有输入上给出证明，证明覆盖不到的部分回退到测试并显式标注可信边界。
推荐理由：微软介绍了 PDD Kit 如何把意图转成 Verus 形式化规范来验证智能体代码，并展示了在 Pet Store 登录逻辑上的实际流程。