skills.homes logoskills.homescapability registry
home/categories/smart-contracts/outlinedriven-odin-claude-plugin-skills-design-by-contract-skill-md
cd ..
smart-contractsblockchain

design-by-contract

Design-by-Contract (DbC) development - design contracts from requirements, then execute CREATE -> VERIFY -> TEST cycle. Use when implementing with formal preconditions, postconditions, and invariants across any language.

Voir le code sourcesmart-contracts
OutlineDriven
maintainer
OutlineDriven
Mis à jour 3/20/2026
Étoiles
18
Forks
0
quick start

Installation and usage

Design-by-Contract (DbC) development - design contracts from requirements, then execute CREATE -> VERIFY -> TEST cycle. Use when implementing with formal preconditions, postconditions, and invariants across any language.

Installation
$ install --globalskills.sh
Utilisation

Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :

skills use design-by-contract