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.
Packaged view
This page reorganizes the original catalog entry around fit, installability, and workflow context first. The original raw source lives below.
Install command
npx @skill-hub/cli install microck-ordinary-claude-skills-design-by-contract
Repository
Skill path: skills_categorized/web3-tools/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.
Open repositoryBest for
Primary workflow: Design Product.
Technical facets: Full Stack, Designer, Testing.
Target audience: Development teams looking for install-ready agent workflows..
License: Unknown.
Original source
Catalog source: SkillHub Club.
Repository owner: Microck.
This is still a mirrored public skill entry. Review the repository before installing into production workflows.
What it helps with
- Install design-by-contract into Claude Code, Codex CLI, Gemini CLI, or OpenCode workflows
- Review https://github.com/Microck/ordinary-claude-skills before adding design-by-contract to shared team environments
- Use design-by-contract for development workflows
Works across
Favorites: 0.
Sub-skills: 0.
Aggregator: No.