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.

Ver código fuentesmart-contracts
OutlineDriven
maintainer
OutlineDriven
Actualizado 3/20/2026
Estrellas
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.

Instalación
$ install --globalskills.sh
Uso

Después de instalarlo, puedes usar este skill ejecutando el siguiente comando en tu terminal:

skills use design-by-contract