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/Microck/ordinary-claude-skills /tmp/ordinary-claude-skills && cp -r /tmp/ordinary-claude-skills/skills_all/design-by-contract ~/.claude/skills/ordinary-claude-skills

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