SuperAPI AI 工具集

Skill 广场

找到适合任务的 Agent Skill,阅读介绍并复制安装命令。

更新于 11-05 00:16

编程与开发

39,560 个结果

statechart

Statechart 是一个 pstack 技能,用于把系统的状态迁移过程绘制成 Mermaid 状态图,可由 TLA+ 模型生成。它面向“读者”(如产品经理、工程师或评审者),用读者可观察或关心的措辞标注状态,用触发系统迁移的事件标注步骤,避免在标签中出现变量和动作名。该技能支持两个方向:from-spec 在已有 TLA+ 模型或代码/设计足够具体时建模并出图;from-chart 在没有模型、需要相关方先就行为达成一致时,先画图再生成规范。它会把读者认可的规则写成不变量,报告违反规则的 bug,渲染 PNG 供检查,并在模型描述代码时要求把每个 bug 的故事回放到真实代码上验证。首次运行会通过 mise 安装 TLC 和 Java,需下载约 305 MB 并联网。

编程与开发25 次安装