微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用
微软研究院联合 GitHub Next 提出 Proof-Driven Development（PDD）与配套工具 PDD Kit，把用户意图转成 Verus 形式化规格，证明智能体写的代码对每个输入都满足规格，证明覆盖不到的部分改用测试。
推荐理由：微软研究院与 GitHub Next 展示用 Verus 形式化验证智能体生成的登录代码，把审查重心从逐行读代码转向审阅意图规格。
#编码
Microsoft Research精选AI 评分6464
GitHub Blog · AI & MLAI 评分5858 GitHub 详解密钥检测模型：用 ModernBERT 分类器减少误报
GitHub 介绍其新的密钥扫描流水线，用正则生成候选、再由微调的 ModernBERT 分类器结合文件路径与上下文判断是否为真实凭证。相比此前的 LLM 流水线，仓库所有者加权告警接受率提升 11.5%，推送后扫描中位执行时间降低 86%，服务成本降低超过 98%。离线评估中该流水线精确率提升 13%、召回率提升 19%，模型以 ONNX 格式和 8-bit 量化导出用于推理。
GitHub Blog · AI & MLAI 评分5858 GitHub 发布 AI 代码审查开放基准 ReviewBench
GitHub 发布代码审查离线基准 ReviewBench，基于 1.039 亿个 GitHub PR 的分布特征，构建了覆盖 19 种语言、219 个公开 PR 的评测集。