Microsoft Research (with GitHub Next) · Formal Verification

PDD Kit

PDD Kit is a toolkit for Proof-Driven Development, which turns a developer's intent into a formal specification in Verus and proves that agent-written Rust code meets it for every input, falling back to tests where a proof cannot reach. In a full-stack Pet Store app built inside GitHub Next's Chopin, it formally verified the login logic, uncovered existing bugs and needed no line-by-line code review from the developer. The page does not state a licence or release availability.