Skip to content
Trending storyDeveloping

GitHub Next and Microsoft Research launch PDD Kit for verified AI-generated code

1 article1 sourcesince Oct 21Last article 1h ago ·

Overview

AISummary of 1 article

GitHub and Microsoft Research announce PDD Kit, a proof-driven development tool now in research preview that works with GitHub Next's Chopin.

According to GitHub's post, PDD Kit turns a plan into a formal specification written in Verus, a proof language for Rust, and the Verus verifier then proves that the agent's code meets that specification.

Where a formal proof is not possible, PDD Kit falls back to tests and computer-use agents, GitHub says. The post states the tool works on Rust today.

Written by AI from the articles below · updated Oct 21, 12:20 PM ET

Check the sources:

Latest developmentOct 21, 12:06 PM ET
GitHub Next and Microsoft Research launch PDD Kit for verified AI-generated code

Article timeline

The articles in this story. Times are ET.

Oct 21
  1. GitHubOfficialPick
    GitHub Next and Microsoft Research launch PDD Kit for verified AI-generated code

    AIGitHub and Microsoft Research announce PDD Kit, a proof-driven development tool now in research preview that works with GitHub Next's Chopin. PDD Kit turns a plan into a formal spec in Verus, a proof language for Rust, and the Verus verifier proves the agent's code meets that spec. Where proof is not possible, it falls back to tests and computer-use agents, and the post says it works on Rust today.

Heat Trend

Not enough continuous observations to show a trend yet.