Microsoft Research launches PDD Kit to formally verify agent-written web apps
krishnan · x · 2026-11-10
Microsoft Research published PDD Kit (by Alex Lavaee and Matthai Philipose), a research prototype for formally verifying agent-written full-stack web apps.
- Core idea: before any code, the tool asks "must the right password always work?" The developer's answer becomes a two-sided formal spec
- Formal methods for everyday software: turn intent into a formal spec, prove the agent's code for every input, and fall back to tests where proof is impractical
- krishnan's thread uses it to show how specs — not the agent's code — are the real review target
More from coding & agent
- 20 Python MCP Tools Worth Knowing, From Server Building to Gateways, Security and Eval — MaryamMiradi · 2026-11-10
- Prompting tip: describe the problem, not your solution, for better agent grilling — mattpocockuk · 2026-11-10
- The One-Person Million-Dollar AI Agency: An Agent-Stack Blueprint With the Math — boringmarketer · 2026-11-10
- Developer natively manages 25-30 parallel agent sessions on macOS with Rex — jonathan_wilke · 2026-11-10
- Pi Dash orchestrates 10 Muse Code agents with Muse Ember, rewriting 178K lines in a day — AIatMeta · 2026-11-10
- 125 prompt injections, zero executed: testing a propose-and-policy agent architecture — RI4D · 2026-11-10