PDD Kit 方法论：每条规格条款都要能抓住一个植入的 bug
krishnan · x · 2026-11-10
krishnan 线程第 5 部分，总结 PDD Kit 的工作顺序与变异测试设计：
- 顺序是关键：先定意图，写检查，再让 agent 构建
- PDD Kit 会为每条规格条款植入一个 bug（如拒绝所有用户），Verus 必须逐个拒绝
- 「抓不到任何 bug 的条款约束不了任何东西」——契约有效性靠变异验证
所属事件:微软 PDD Kit 实测:形式化验证的能力与盲区(4 条相关)→
「编程与Agent」频道最新
- MCP 新增 Events 机制,agent 可订阅事件告别轮询 — cramforce · 2026-11-10
- 双模型工作流：Fable 5.2 做规划，Opus 5.5 做执行 — daniel_mac8 · 2026-11-10
- Replit 推出 Monitoring Agent:vibe coding 应用可自修复运维 — amasad · 2026-11-10
- 多智能体 harness 在 ProgramBench 上同时拉高准确率与延迟表现 — marktenenholtz · 2026-11-10
- Zig 写的开源编码 Agent fx 发布：单个二进制仅 5.97 MiB — evilrabbit_ · 2026-11-10
- 20 个值得关注的 Python MCP 工具：从建服务到网关、安全与评测 — MaryamMiradi · 2026-11-10