标签 > 微软研究院给 Agent 的代码做证明，然后自己写了四个限制

微软研究院放出 PDD Kit 工具，用来对 AI 智能体 Agent 写出来的代码做形式化证明，靠 Verus 验证框架校验代码逻辑是否符合预设规