pstack 新技能：agent 画状态图，再对照形式化规格查 bug
xAI 的从业者 poteto 说正在做一个配套技能：让 agent 画状态图，并对照用 pstack 里 /create-formal-verification-skill 生成的规格检查；画图用了 Obsidian 作者的 Pele 库。被引用的早前帖子说，可以借 TLA+ 这类工具从状态图里找 bug。
poteto@poteto原帖
为什么值得留
给「让 AI 解释代码」加了一个可检查的环节：图要和规格对得上。
可以从这里开始
挑你项目里一个有多种状态的流程（例如订单或登录），先让 agent 画一张状态图，人工看有没有漏掉的转移。
阅读时留意
技能还在做，节选没给仓库链接、发布时间和效果；TLA+ 学习成本不低，图好看不等于验证通过。
OnBalls 导读整理于 2026.10.25。只读收件箱保存的帖子节选（约 300 字以内，可能截断）；未打开帖内链接与官方页面。