xAI 工程师开发智能体状态图技能，可用 pstack 规范校验

xAI 工程师开发智能体状态图技能

AI 导读

xAI 工程师 lauren（@poteto）正在开发一款配套技能，帮助智能体绘制状态图/图表，并用 pstack 中通过 /create-formal-verification-skill 生成的规范进行校验。该技能还使用了 @kepano 的 Pele，作者表示将很快发布。

正文 · 原文

lauren· @poteto · X·2026-10-23 06:33· 54 分钟前AI 评分23

AI 导读

最近有点安静——我在做一个新的配套技能，能帮你的智能体画出这些漂亮的状态图/图表，并用你在 pstack 里通过 /create-formal-verification-skill 做好的规范来校验它们！它现在还用了 @kepano 的 Pele，所以看起来才这么好看。很快发布！

正文 · 原文

i've been a bit quiet - working on a new companion skill that will help your agents draw these beautiful statecharts/diagrams + check them against the specs you made with /create-formal-verification-skill in pstack!

it now uses Pele from @kepano too which is why they look so good.

will release soon!

引用lauren@poteto

there's something really cool about asking your agent to draw a statechart (hypothetical example in this image), then using the /create-formal-verification-skill you made with pstack to find bugs through something like TLA+. you can both understand your code better and how the user flow should work, and fix issues users would otherwise see

在 X 查看被引用的帖子

来源：lauren · x.com

来源：RadarAI · aihot.news