给 Agent 加一句「用形式验证找 bug」，代码质量显著提升
sh_reya · x · 2026-09-23
作者发现一个简单有效的提示技巧：直接告诉 coding agent「你可以用形式验证（formal verification）来检查自己刚写的代码、找出更多 bug」，agent 写出的代码质量就会明显变好。作者称这可能就是下一个「think step by step」级别的通用提示词技巧。
「编程与Agent」频道最新
- Browser Use Bench v2 榜单刷新:GPT-6 Sol 66.9 分反超且便宜 3.5 倍 — airesearch12 · 2026-09-23
- 中国AI编程助手因用户代码数据被删停用相关功能 — pstAsiatech · 2026-09-23
- Rogo 联创:金融最适合万级 Agent 集群,一个洞察值 5 万美元 — rohanpaul_ai · 2026-09-23
- 前 OpenAI 安全高管吐槽:Claude 应用只能「显示更多」无法「显示更少」 — Miles_Brundage · 2026-09-23
- jev-gc：给长跑 Agent 做可逆上下文垃圾回收的开源方案 — Maleficent_College57 · 2026-09-23
- Effect+Alchemy+Cloudflare 组合被称 AI 时代超能力技术栈 — samgoodwin89 · 2026-09-23