推出PDD Kit：形式化验证AI生成的全栈应用

Formally verifying agent-written full-stack web apps with PDD Kit 发布PDD Kit，对AI智能体生成的全栈Web应用进行形式化验证：将开发者意图转换为Verus规范，证明AI生成代码对所有输入满足规范，无法证明处用测试覆盖。开发者只需审查意图，无需逐行审查代码。