最近有点安静——我在做一个新的配套技能，能帮你的智能体画出这些漂亮的状态图/图表，并用你在 pstack 里通过 /create-formal-verification-skill 做好的规范来校验它们！

它现在还用了 @kepano 的 Pele，所以看起来才这么好看。

很快发布！