# GitHub previews Chopin for shipping AI code with proofs

By Steven Van · 2026-10-21

GitHub Next and Microsoft Research’s Chopin and Proof-Driven Development Kit aim to verify AI-generated code without line-by-line review. Now in research preview.

[GitHub](<https://creatorstoolbox.com/tools/github>) opened a research preview of Chopin and the Proof-Driven Development Kit on October 21. Both come from GitHub Next and Microsoft Research.

The goal is to let teams ship AI-generated code to production without reviewing it line by line. GitHub says the approach gives stronger assurance than code review and testing alone.

It’s a research preview, so availability is limited and GitHub has not announced general availability.

Sources: [GitHub’s announcement](<https://x.com/github/status/2112938664959562081>).

[Read GitHub previews Chopin for shipping AI code with proofs on Creators Toolbox](<https://creatorstoolbox.com/blog/github-chopin-proof-driven-development-preview>)

---
Canonical source: https://creatorstoolbox.com/blog/github-chopin-proof-driven-development-preview