Claim record

PDD Kit formally verifies agent-written full-stack web apps

assertion Cyber capability 1 mention first seen 2026-11-05

Evidence