Microsoft's new tool checks AI-written web app code against your stated requirements
Why it matters
Teams letting AI agents write production code get a way to check it against a written spec instead of reading every file.
Ask your team
Are we reading every line our AI coding agents write, and could a spec-based check replace that?
What happened
Microsoft Research released PDD Kit, a tool that converts a developer's goals into a , then mathematically proves the code an AI coding agent writes against it. Where proof isn't possible, it falls back to tests, and Microsoft demonstrates it on a full-stack web app.
Tap an underlined word to see what it means.
The context No earlier Seventy story on this in the last 30 days.
Read the original at Microsoft Research blog
Something wrong in this story? Report a mistake. We check it against the source within 24 hours.
Share with your take
Start from our line and make it yours. It stays on your device until you post it.
Ask about this story
Answered only from this story, with the line it came from.