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