PDD Kit将开发意图转成Verus规范，以证明和测试验证智能体生成的全栈应用。
推荐理由：PDD Kit把人工审查对象从海量代码转为开发意图，并尝试对所有输入证明实现符合规范；这为智能体大规模产码补上可验证性层。
阅读原文