constraints
✓形式約束理論統一了道義邏輯（P/O/F/I 運算符）、Juarrero 的三分法（授權/治理/構成）、霍菲爾德權利（要求-義務、特權-無權、權力-責任、免疫-殘疾）和範疇論組合。在對權限、義務、禁止、權利結構、代理權限、治理系統、本體驗證或任何需要正式約束規範的領域進行建模時使用。通過 λ 演算映射與本體集成。
SKILL.md
Formal theory of constraints as structure-preserving functors over deontic modalities
A constraint is a functor mapping structural contexts to deontic outcomes:
Constraints shape possibility spaces without adding energy—they are rate-independent causes that determine what can happen without forcing any particular outcome.
形式約束理論統一了道義邏輯（P/O/F/I 運算符）、Juarrero 的三分法（授權/治理/構成）、霍菲爾德權利（要求-義務、特權-無權、權力-責任、免疫-殘疾）和範疇論組合。在對權限、義務、禁止、權利結構、代理權限、治理系統、本體驗證或任何需要正式約束規範的領域進行建模時使用。通過 λ 演算映射與本體集成。 來源：zpankz/mcp-skillset。
可引用資訊
為搜尋與 AI 引用準備的穩定欄位與指令。
- 安裝指令
npx skills add https://github.com/zpankz/mcp-skillset --skill constraints- 分類
- </>開發工具
- 認證
- ✓
- 收錄時間
- 2026-02-01
- 更新時間
- 2026-02-18
快速解答
什麼是 constraints？
形式約束理論統一了道義邏輯（P/O/F/I 運算符）、Juarrero 的三分法（授權/治理/構成）、霍菲爾德權利（要求-義務、特權-無權、權力-責任、免疫-殘疾）和範疇論組合。在對權限、義務、禁止、權利結構、代理權限、治理系統、本體驗證或任何需要正式約束規範的領域進行建模時使用。通過 λ 演算映射與本體集成。 來源：zpankz/mcp-skillset。
如何安裝 constraints？
開啟你的終端機或命令列工具（如 Terminal、iTerm、Windows Terminal 等） 複製並執行以下指令：npx skills add https://github.com/zpankz/mcp-skillset --skill constraints 安裝完成後，技能將自動設定到你的 AI 程式設計環境中，可以在 Claude Code 或 Cursor 中使用
這個 Skill 的原始碼在哪？
https://github.com/zpankz/mcp-skillset
詳情
- 分類
- </>開發工具
- 來源
- skills.sh
- 收錄時間
- 2026-02-01