Marketplace

design-by-contract

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.

$ Installer

git clone https://github.com/OutlineDriven/odin-claude-plugin /tmp/odin-claude-plugin && cp -r /tmp/odin-claude-plugin/skills/design-by-contract ~/.claude/skills/odin-claude-plugin

// tip: Run this command in your terminal to install the skill