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

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.