GitHub Next Chopin

PDD Kit Formally Verifies AI-Written Full-Stack Rust Apps

PDD Kit uses Verus proofs and targeted tests to verify AI-written Rust code, catching login bugs in GitHub Next’s 5,000-line full-stack Pet Store app.