Agent Skills: 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.

UncategorizedID: Microck/ordinary-claude-skills/design-by-contract

Author

Microck

https://github.com/Microck View all skills

Repository

Microck/ordinary-claude-skills

MicrockLicense: NOASSERTION

12615

Install this agent skill to your local

pnpm dlx add-skill https://github.com/Microck/ordinary-claude-skills/design-by-contract

Skill Files

Browse the full folder contents for design-by-contract.

Download Skill

Loading file tree…

Select a file to preview its contents.