什麼是 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-11
快速解答
如何安裝 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
暫無