SuperAPI AI 工具集

Skill 广场

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

更新于 11-15 00:13

编程与开发

41,174 个结果

pstack-statechart

pstack-statechart 是 Pstack 任务中的一项技能,用于把系统的状态变迁画成 Mermaid 状态图,并用 TLA+ 模型(经 TLC 检查)验证其行为。它适合描述产品流程、协议或服务:每个状态用读者可观察或关心的现象命名(如“Paying”“Lease held, write pending”),每个步骤用推动系统变化的事件命名(如“tap Pay”“the lease expires”),并避免在标签中使用变量名和动作名。技能提供两条方向:从已有 TLA+ 规格生成图表(from-spec),或从读者认可的状态图生成规格并检查设计缺陷(from-chart)。脚本基于 Node,运行 node <skill dir>/scripts/statechart.mjs --help 可查看命令与读图方式;首次运行会用 mise 安装 TLC 和 Java,约下载 305 MB,需要联网。它支持将每条规则写为不变式、用 --cover 精简总览、用 --expect-broken 寻找可达目标路径、用 --fixed 验证修复方案,并输出 PNG、Mermaid 源文件与 stories.md,便于交付给决策者。

编程与开发5 次安装

codely-openspec-spec-create-from-code

该技能用于为代码中已经存在的行为创建 OpenSpec 基线规格(specs)。OpenSpec 的变更只能修改或删除已存在于 openspec/specs/ 中的需求,而团队采用 OpenSpec 之前构建的功能没有规格,导致后续变更只能以 ADDED 形式叠加,规格会遗忘原有行为。本技能补写这份缺失的基线:为已经上线并验证过的行为编写主规格,使后续变更能够修改或删除这些需求。技能会检查 OpenSpec CLI 与配置、界定能力范围、收集代码证据、对候选行为分类、编写规格、运行严格校验,并输出报告。

编程与开发5 次安装