{"schemaVersion":1,"target":{"type":"reading","id":"90ca3767a1124ea4f154dece6803af28863c5dc9f664b964cb904f1ec571e285","revision":"da624cb6-9d5b-43c1-80e4-30be24dbb05c","revisionKind":"publication-id","title":"Microsoft Research presents PDD Kit for verifying agent-written Rust apps","url":"https://escapemeridian.com/readings/microsoft-research-presents-pdd-kit-for-verifying-agent-written-90ca3767"},"source":{"type":"source","id":"https://www.microsoft.com/en-us/research/blog/formally-verifying-agent-written-full-stack-web-apps-with-pdd-kit/","revision":"933a56d655052f0942564af8292f0afb911fad92ab6ea0c396d8a61ab0136082","revisionKind":"sha256-source-text","title":"Formally verifying agent-written full-stack web apps with PDD Kit - Microsoft Research","url":"https://www.microsoft.com/en-us/research/blog/formally-verifying-agent-written-full-stack-web-apps-with-pdd-kit/"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}