Claim record
PDD Kit proves the agent's code meets the spec for every input
assertion
Cyber capability
1 mention
first seen 2026-11-05
Evidence
-
PDD Kit proves the agent's code meets the spec for every input
PDD Kit proves the agent's code meets the spec for every input