pstack /statechart skill 转正：内嵌迷你 TLC 编译器帮 agent 找分布式系统 bug
DavidKPiano · x · 2026-10-30
- poteto 宣布 pstack v0.15.36 中的 /statechart skill 已稳定可用，最佳搭配是 /create-formal-verification-skill，用于抽象建模状态机与分布式系统来发现 bug。
- 该 skill 内含一个迷你 TLC 编译器：解析输入、降级到小型 IR，再输出 Mermaid（mmd）语法；还可让 agent 用可主题化的渲染库 Pele 生成任意风格的图表（蓝图、手绘百科插图等）。
- 作者晒出了用该 skill 生成的状态图，并称已借此找到 2 个真实 bug。
- Pele 是为 Obsidian 开发的开源 Mermaid→SVG 渲染库：零依赖、gzip 后 230 kB（Mermaid.js 为 1.6 MB）、渲染 0.05–0.3 ms，用 CSS 变量做主题，支持 Mermaid 12.1.0 全部图表类型。
- DavidKPiano 表示这是他目前最喜欢的新 skill。
「编程与Agent」频道最新
- Carmack：AI 从零写大型软件未必最优，好用的基础构件才是关键 — ID_AA_Carmack · 2026-10-30
- LangChain Core 1.7.2 发布:新增通知元数据方法并修复消息内容篡改 — caolonghua · 2026-10-30
- Codex 手机端实拍：在路上遥控多个编程 agent 改代码跑测试 — Dimillian · 2026-10-30
- Arm 官方教程:Copilot CLI 跑在 Arm 算力上原生开发与测试 — caolonghua · 2026-10-30
- evident-charts 开源：让编码 agent 画诚实图表并自动自检 — randal_olson · 2026-10-30
- Anthropic 发布主动式智能体 Claude Duet,由 Opus 5.5 驱动 — joellewenstein · 2026-10-30