Back to articles
DevPickView feed
gihyo.jp
Original published:

GitHub Next introduces 'PDD Kit' to prove AI-generated code meets specifications

GitHub Next introduces 'PDD Kit' to prove AI-generated code meets specifications
AI summary
Editorial policy

GitHub Next introduced the Proof-Driven Development Kit (PDD Kit), co-developed with Microsoft Research, which verifies AI-generated code against specifications using mathematical proofs.

Key points

  • •GitHub Next co-developed the Proof-Driven Development Kit (PDD Kit) with Microsoft Research.
  • •It summarizes requirements into machine-verifiable specifications through dialogue with developers.
  • •It verifies that code generated by AI agents meets the specifications using mathematical proofs.
Read the original(opens in a new tab)
#Generative AI Tools & Use#Major Players#GitHub Next#Microsoft Research

Related articles

See more
Cloud Watch

Nexway Launches 'Cloud Delivery Receipt Receipt and Detail Reconciliation Service' for Manufacturing, Wholesale, and Retail Industries to Streamline Purchase Recording Operations Using AI

Nexway launched a new AI-powered cloud service for delivery receipt reconciliation under its 'Totzgo' brand to streamline purchase recording for manufacturing, wholesale, and retail industries.

ITmedia AI+

Kurashiru Struggles with SaaS 'Patchwork Management' and Reduces Management Costs by 24% Through Tool Consolidation in the AI Era

Kurashiru consolidated its SaaS management ledger into zooba, reducing tool costs by 24%. The goal is not just cost reduction but building an IT asset management strategy for the AI era.

PC Watch

An AI secretary that communicates via "that matter". The essence of ChatGPT's "dots" is not always-on operation

The new feature "dots" added to ChatGPT at the end of September 2026 is available only on Pro plans or higher, emphasizing shared context over always-on operation.

ITmedia AI+

Why Capable Programmers Dislike "Leaving It to AI": A Scary Story About Agent-Based Development: 904th Lap

While agent-based development is expected to improve efficiency, experienced developers are cautious about adoption, warning of potential risks that cannot be detected by simple operational checks.

TechCrunch

Meta says US users can now video chat with their Muse AI avatar

Meta's AI agent Muse now supports video calls as a customizable animated avatar for US users, ahead of a Tamagotchi-like wearable launch.