Microsoft's PDD Kit formally checks AI-written web apps
What is Formally verifying agent-written full-stack web apps with PDD Kit?
PDD Kit lets you capture developer intent in a brief spec and automatically converts it into a Verus formal specification that tests the code an AI agent generated for a full-stack web app. It flags any behavior that deviates from the intent, giving a safety net for code too large to review line-by-line.
Who it is for
Developers using AI code generators should care because they can verify that the generated front-end and back-end actually do what they expect without manual audit.