Coding agents
Formally verifying agent-written full-stack web apps with PDD Kit
Our short summary of Microsoft’s engineering write-up. The full story, with all the detail, is on their blog.
Read the full write-up on microsoft.com (opens in a new tab)Problem
Agent‑written code often drifts from the original specification, and tests miss many bugs.
Solution
Created PDD Kit, a toolkit that lets agents generate formal proofs from natural‑language specs, ensuring the code matches the contract for all inputs.
Want the architecture, code and numbers? They’re in the original post.
Read the full write-up on microsoft.com (opens in a new tab)
JetBrains
Snowflake
Postman