---
format: "aidr-story-markdown/v1"
id: "b28ecfb79591f96a93e5ce4dbf8e96ef6ee80c64e74da1500e0255bd7a8e51b1"
canonical_url: "https://aidr.today/b28ecfb7?lang=en"
title: "Formally verifying agent-written full-stack web apps with PDD Kit"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-11-05T16:00:00.000Z"
category: "Tools"
topics: ["microsoft","agent","devtools"]
source_urls: ["https://www.microsoft.com/en-us/research/blog/formally-verifying-agent-written-full-stack-web-apps-with-pdd-kit/"]
summary: "PDD Kit helps ensure code written by AI agents meets developer intent by creating formal specifications. It converts developer intent into a Verus specification and proves AI-generated code meets it for every input where proofs are practical."
---

# Formally verifying agent\-written full\-stack web apps with PDD Kit

> [Open the canonical story](<https://aidr.today/b28ecfb7?lang=en>)

**Published:** 2026-11-05T16:00:00.000Z
**Category:** Tools
**Topics:** microsoft, agent, devtools

## Summary

PDD Kit helps ensure code written by AI agents meets developer intent by creating formal specifications\. It converts developer intent into a Verus specification and proves AI\-generated code meets it for every input where proofs are practical\.

## Sources

- [Story source](<https://www.microsoft.com/en-us/research/blog/formally-verifying-agent-written-full-stack-web-apps-with-pdd-kit/>)