GitHub previews Chopin for shipping AI code with proofs
By Steven Van ·
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 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.