pstack状态图技能转为稳定版

poteto宣布，pstack v0.15.36中的“/statechart”技能及其内嵌迷你TLC编译器已稳定可用，适合抽象建模状态机与分布式系统。 poteto称，该技能最好配合“/create-formal-verification-skill”使用，以发现潜在bug。

AI 根据报道生成 · 52 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。