design-by-contract

108

•published 2026/01/13

Automated contract verification, detection, and remediation across multiple languages using formal preconditions, postconditions, and invariants. This skill provides both reference documentation AND execution capabilities for the full PLAN -> CREATE -> VERIFY -> REMEDIATE workflow.

📦 Install Skill

Command line install

Install directly with the `skills` CLI.

npx skills add Microck/ordinary-claude-skills/skills_categorized/defi/design-by-contract

Local download

Download only this skill directory.

Download design-by-contract only

File Explorer

0 files

No file selected

readonly

Select a file to view its content

Resources

Repository