constraints
✓Théorie formelle des contraintes unifiant la logique déontique (opérateurs P/O/F/I), la trichotomie de Juarrero (habilitant/gouvernant/constitutif), les droits hohfeldiens (devoir de revendication, privilège-non-droit, pouvoir-responsabilité, immunité-incapacité) et la composition théorique des catégories. À utiliser lors de la modélisation d'autorisations, d'obligations, d'interdictions, de structures de droits, d'autorité d'agent, de systèmes de gouvernance, de validation d'ontologie ou de tout domaine nécessitant une spécification formelle de contraintes. S'intègre à l'ontologue via le mappage λ-calcul.
Installation
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.
Théorie formelle des contraintes unifiant la logique déontique (opérateurs P/O/F/I), la trichotomie de Juarrero (habilitant/gouvernant/constitutif), les droits hohfeldiens (devoir de revendication, privilège-non-droit, pouvoir-responsabilité, immunité-incapacité) et la composition théorique des catégories. À utiliser lors de la modélisation d'autorisations, d'obligations, d'interdictions, de structures de droits, d'autorité d'agent, de systèmes de gouvernance, de validation d'ontologie ou de tout domaine nécessitant une spécification formelle de contraintes. S'intègre à l'ontologue via le mappage λ-calcul. Source : zpankz/mcp-skillset.
Faits (prêts à citer)
Champs et commandes stables pour les citations IA/recherche.
- Commande d'installation
npx skills add https://github.com/zpankz/mcp-skillset --skill constraints- Source
- zpankz/mcp-skillset
- Catégorie
- </>Développement
- Vérifié
- ✓
- Première apparition
- 2026-02-01
- Mis à jour
- 2026-02-18
Réponses rapides
Qu'est-ce que constraints ?
Théorie formelle des contraintes unifiant la logique déontique (opérateurs P/O/F/I), la trichotomie de Juarrero (habilitant/gouvernant/constitutif), les droits hohfeldiens (devoir de revendication, privilège-non-droit, pouvoir-responsabilité, immunité-incapacité) et la composition théorique des catégories. À utiliser lors de la modélisation d'autorisations, d'obligations, d'interdictions, de structures de droits, d'autorité d'agent, de systèmes de gouvernance, de validation d'ontologie ou de tout domaine nécessitant une spécification formelle de contraintes. S'intègre à l'ontologue via le mappage λ-calcul. Source : zpankz/mcp-skillset.
Comment installer constraints ?
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/zpankz/mcp-skillset --skill constraints Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code ou Cursor
Où se trouve le dépôt source ?
https://github.com/zpankz/mcp-skillset
Détails
- Catégorie
- </>Développement
- Source
- skills.sh
- Première apparition
- 2026-02-01