什么是 tlaplus-workbench？
根据自然语言系统设计编写并迭代完善可执行的 TLA+ 规范 (.tla) 和 TLC 模型配置 (.cfg)；运行TLC模型检查；用明确的假设和界限总结通过/失败和反例。当被要求时使用：使用 TLA+ 设计/验证状态机或分布式协议、创建/编辑 .tla 或 .cfg 文件、运行 TLC 或解释 TLC 失败/反例。 来源：younes-io/agent-skills。
·tlaplus-workbench
</>
tlaplus-workbench
✓根据自然语言系统设计编写并迭代完善可执行的 TLA+ 规范 (.tla) 和 TLC 模型配置 (.cfg)；运行TLC模型检查；用明确的假设和界限总结通过/失败和反例。当被要求时使用：使用 TLA+ 设计/验证状态机或分布式协议、创建/编辑 .tla 或 .cfg 文件、运行 TLC 或解释 TLC 失败/反例。
如何安装 tlaplus-workbench
通过命令行快速安装 tlaplus-workbench AI 技能到你的开发环境
- 打开终端: 打开你的终端或命令行工具（如 Terminal、iTerm、Windows Terminal 等）
- 运行安装命令: 复制并运行以下命令：npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench
- 验证安装: 安装完成后，技能将自动配置到你的 AI 编程环境中，可以在 Claude Code、Cursor 或 OpenClaw 中使用
来源：younes-io/agent-skills。
SKILL.md
查看原文If the user doesn't specify bounds, propose minimal ones (and label them as "proposed"):
Prefer modeling the design over implementation details. If the design is fuzzy, model the uncertainty explicitly with nondeterminism and constraints.
Maintain a compact checklist that maps each natural-language requirement to one of:
根据自然语言系统设计编写并迭代完善可执行的 TLA+ 规范 (.tla) 和 TLC 模型配置 (.cfg)；运行TLC模型检查；用明确的假设和界限总结通过/失败和反例。当被要求时使用：使用 TLA+ 设计/验证状态机或分布式协议、创建/编辑 .tla 或 .cfg 文件、运行 TLC 或解释 TLC 失败/反例。 来源：younes-io/agent-skills。
可引用信息
为搜索与 AI 引用准备的稳定字段与命令。
- 安装命令
npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench- 分类
- </>开发工具
- 认证
- ✓
- 收录时间
- 2026-02-26
- 更新时间
- 2026-03-10
快速解答
如何安装 tlaplus-workbench？
打开你的终端或命令行工具（如 Terminal、iTerm、Windows Terminal 等） 复制并运行以下命令：npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench 安装完成后，技能将自动配置到你的 AI 编程环境中，可以在 Claude Code、Cursor 或 OpenClaw 中使用
这个 Skill 的源码在哪？
https://github.com/younes-io/agent-skills
详情
- 分类
- </>开发工具
- 来源
- skills.sh
- 收录时间
- 2026-02-26
相关 Skills
暂无