用状态图加形式化验证技能找 agent 代码里的 bug
pstack 作者说，可以让 agent 先画状态图，再用 pstack 的 /create-formal-verification-skill 通过类似 TLA+ 的方法查 bug；他称这样既能更好理解代码，也能看清代码如何配合。
poteto@poteto原帖
为什么值得留
把『画状态图』当成给 agent 的检查入口，而不是只让它改代码。
可以从这里开始
挑一个有明显状态机的小模块，让 agent 画状态图并列出不变量，再人工核对。
阅读时留意
帖里是『可以这样用』的设想，示例是假设性的；该技能仍在 beta，效果未见案例。
OnBalls 导读整理于 2026.10.22。只读存档的帖文全文及可见引用；未打开链接内容，帖中数字和说法未独立核实。