@github: Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to prod…
Summary
GitHub Next 与微软研究院推出 Chopin 和 Proof-Driven Development Kit（PDD Kit），可将开发计划转化为形式化规范，并证明 AI 生成的代码对所有输入均符合规范，使团队无需逐行审查即可将 AI 生成的代码安全上线，目前已进入研究预览阶段。
View Cached Full Text
Cached at: 10/21/26, 06:34 PM
Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to production without reviewing it line by line, with stronger assurance than code review and testing alone.
Now in research preview ⬇️
GitHub Next (@GitHubNext): How do you guarantee your agent’s code is correct? You prove it.
Introducing Proof Driven Development Kit (PDD Kit) from @MSFTResearch.
PDD Kit helps turn your plan into a formal spec, then proves the agent’s code meets that spec for every input. No vibe verification. PDD Kit
Similar Articles
@IndieDevHailey: GitHub Has Had Enough – Steps In to Lay Down the Law for AI Coding! Spec Kit, by GitHub, already 109k+ Stars in days. If you frequently use Claude Code, Cursor, or Copilot for projects, you've likely run into this: ...
GitHub releases Spec Kit, a tool designed to solve the problem of misunderstanding in AI coding by defining requirements first and then generating code. It has already gained 109k+ Stars and is compatible with 30+ AI coding agents.
@EngMoElgaraihy: GitHub Officially Solves the Biggest Problem in Vibe Coding! GitHub has launched a new tool called Spec Kit, and it’s r…
GitHub 推出开源工具 Spec Kit，强制 AI 在写代码前生成结构化规范，已被超过 25 个智能体（如 Cursor、Claude Code、Copilot）兼容测试，并在短时间内获得超过 12 万 Star。
@wsl8297: Microsoft open-sourced a more convenient VS Code extension: AI Toolkit, which streamlines Agent application development from environment setup to evaluation deployment in one go. A single interface is enough: model selection, Playground trial, Agent building, batch comparison, metric evaluation, all integrated. Gi…
Microsoft open-sourced the VS Code extension AI Toolkit, which integrates model selection, Playground, Agent building, batch testing, and evaluation into one interface, simplifying AI Agent development process.
@laobaishare: GitHub steps in directly — from now on, no AI will write code blindly anymore. --- The newly released Spec Kit has soared to 95K stars in just a few days. The core idea is simple: make AI clearly specify what to do before touching any code. No more throwing a vague prompt and praying the agent doesn't blow up your project.
GitHub has released Spec Kit, a tool that forces AI to generate structured specifications before writing code, including understanding requirements, asking for missing details, organizing the project, and more. It significantly reduces AI-generated error-prone code and is compatible with 25+ AI agents.
@gp_pulipaka: GitHub Copilot and AI Coding Tools in Practice: Accelerate AI Adoption from Individual Developers to Enterprise! #BigDa…
Promotion of the book 'GitHub Copilot and AI Coding Tools in Practice' by Nick Wienholt, which covers practical use of generative AI coding tools for software development across the full lifecycle.