微软研究院发布 PDD Kit，把开发者意图转成 Verus 形式化规范，对每个输入验证智能体所写代码，证明覆盖不到处以测试兜底。团队在 GitHub Next 的 Chopin 中用它验证了约 5,000 行 Rust 全栈应用 Pet Store 的登录逻辑，开发者只审查意图产物而未逐行阅读生成代码，pdd-ship 还会把 Verus 检查加入 CI。
推荐理由：原文展示把代码审查重心从逐行阅读转向意图规范的方法，以形式化验证和边界测试守住智能体的实现约定。
Microsoft 宣布将 GitHub 工程团队打造的 Copilot harness 通过 Microsoft Foundry 开放，开发者与企业客户可用全托管方式构建能推理、调用工具并完成复杂长任务的智能体。
推荐理由：原文解释了多模型编排层为何难以自建与维护，开发者可据此评估改用托管 harness 来聚焦上层应用的取舍。
原文摘录：Wiz Sign in Under attack? Get a demo Since September 15, 2026, Wiz Research has been tracking Gheist: a new campaign performing mass abuse of compromised GitHub tokens. … " Greg Poniatowski Head of Threat and Vulnerability Management Get a demo