標籤 GitHub Next

GitHub Next 與 Microsoft Research 在 2026 年 10 月 21 日推出 PDD Kit 有限研究預覽：先把需求變成 Verus 形式規格，再讓驗證器證明 AI 代理寫的 Rust 程式對所有符合前置條件的輸入都成立，而不是只靠測試案例抽查。