pstack v0.15.36 发布并推出稳定的状态图技能
先了解这件事
Lauren Tan 发布了 pstack v0.15.36，其中 /statechart 技能已转为稳定版，可配合此前在 v0.15.27 中推出的测试版 /create-formal-verification-skill 技能，抽象建模状态机与分布式系统以查找代码 bug。该 /statechart 技能内置简易 tlc 编译器，支持解析、转为小红外线（IR）并输出 mmd 语法，还可结合 pele.run 生成蓝图或手绘风格的图表。 此前，pstack v0.15.27 新增了处于测试阶段的 /create-formal-verification-skill 技能，定位为 meta-skill，可根据系统特性自动生成定制的验证 skill 与配套验证套件，支持基于 TLA+、Rust Kani 或 Bend 等工具创建形式化验证套件以数学方式证明代码属性。作者当时称该功能旨在利用 LLM 承担传统形式化验证中建模困难与规范同步的繁琐工作，为智能体提供数学级强反馈，并在实际测试中通过该技能建模发现了多个代码漏洞。
AI 根据报道生成 · 1 小时前更新
事件进展
4 个进展
- 10月30日 02:55 · 1 篇报道pstack v0.15.36 的 statechart skill 现已稳定可用Lauren Tan：pstack v0.15.36 的 /statechart skill 转为稳定版，可建模状态机找 bug
- 10月23日 06:33 · 1 篇报道预告推出可绘制状态图与图表的 AI 助手新伴侣技能Lauren Tan：开发新 Companion 技能，支持绘制状态图与架构图
- 10月19日 05:05 · 2 篇报道pstack 发布 v0.15.27 版本邵猛：pstack 新增 /create-formal-verification-skill 可自动生成形式化验证 skill
- 10月18日 07:13 · 1 篇报道开发 pstack 的新验证技能Lauren Tan：pstack 正在开发全新验证技能
报道时间线
沿着报道，了解事件的不同侧面。
- Lauren Tanpstack v0.15.36 的 /statechart skill 转为稳定版，可建模状态机找 bug
pstack v0.15.36 的 /statechart skill 已转为稳定版，可配合 /create-formal-verification-skill 抽象建模状态机与分布式系统以查找 bug。该 skill 内置简易 tlc 编译器，支持解析、转为小红外线（IR）并输出 mmd 语法，还可结合 pele.run 生成蓝图或手绘风格的图表。
- Lauren Tan开发新 Companion 技能，支持绘制状态图与架构图
我最近有点安静 - 正在开发一个新的 companion 技能，它将帮助你的 agents 绘制这些漂亮的statecharts/diagrams，并通过 pstack 中的 /create-formal-verification-skill 与你制作的规范进行核对！ 它现在还使用了来自 @kepano 的 Pele，这就是为什么它们看起来这么好看。 即将发布！
- 邵猛pstack 新增 /create-formal-verification-skill 可自动生成形式化验证 skill
pstack 新增了 meta-skill /create-formal-verification-skill，根据系统特性自动生成定制的验证 skill 与配套套件。该功能旨在利用 LLM 承担传统形式化验证中建模困难与规范同步的繁琐工作，为智能体提供数学级强反馈。
- Lauren Tanpstack v0.15.27 新增形式化验证技能
pstack v0.15.27 发布并新增了处于测试阶段的 /create-formal-verification-skill 技能，支持基于 TLA+、Rust Kani 或 Bend 等工具创建形式化验证套件以数学方式证明代码属性。作者在实际测试中已通过该技能建模并发现了多个代码漏洞。
本事件热度走势
- 可比范围当前
- 10
- 可比范围峰值
- 1010月30日 04:00
- 近 24 小时变化
- –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。