可能是个暴论，但我现在认为对抗式审查基本是在浪费 token。把这些 token 用在实证结合形式化验证上要好得多。

我已经更新了 pstack，减少使用 interrogate 技能，最终我可能会把它完全移除。

我发现抽象的代码审查价值很小，智能体往往只会陷入吹毛求疵和 YAGNI 之中。