design-by-contract
✓Vérification, détection et correction automatisées des contrats dans plusieurs langues à l'aide de préconditions, postconditions et invariants formels. Cette compétence fournit à la fois une documentation de référence ET des capacités d'exécution pour le workflow complet PLAN -> CREATE -> VERIFY -> REMEDIATE.
Installation
SKILL.md
Design-by-Contract (DbC) is a programming methodology that uses formal specifications (contracts) to define component behavior. This skill enables:
Principle: Use compile-time verification before runtime contracts. If a property can be verified statically, do NOT add a runtime contract for it.
| Property | Static | Test Contract | Debug Contract | Runtime Contract |
Vérification, détection et correction automatisées des contrats dans plusieurs langues à l'aide de préconditions, postconditions et invariants formels. Cette compétence fournit à la fois une documentation de référence ET des capacités d'exécution pour le workflow complet PLAN -> CREATE -> VERIFY -> REMEDIATE. Source : microck/ordinary-claude-skills.
Faits (prêts à citer)
Champs et commandes stables pour les citations IA/recherche.
- Commande d'installation
npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contract- Catégorie
- >_Productivité
- Vérifié
- ✓
- Première apparition
- 2026-02-01
- Mis à jour
- 2026-02-18
Réponses rapides
Qu'est-ce que design-by-contract ?
Vérification, détection et correction automatisées des contrats dans plusieurs langues à l'aide de préconditions, postconditions et invariants formels. Cette compétence fournit à la fois une documentation de référence ET des capacités d'exécution pour le workflow complet PLAN -> CREATE -> VERIFY -> REMEDIATE. Source : microck/ordinary-claude-skills.
Comment installer design-by-contract ?
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/microck/ordinary-claude-skills --skill design-by-contract 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/microck/ordinary-claude-skills
Détails
- Catégorie
- >_Productivité
- Source
- skills.sh
- Première apparition
- 2026-02-01