开发者转向：用实证测试结合形式化验证替代对抗式代码审查

开发者 poteto 认为，对抗式审查大多会浪费 token，应将 token 用于实证测试结合形式化验证。他已更新 pstack 项目，减少使用 interrogate skill，并考虑未来完全移除，同时指出 agent 的抽象代码审查容易陷入 nitpick 和 YAGNI 式争论。