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.
Third-Party Agent Skill: Review the code before installing. Agent skills execute in your AI assistant's environment and can access your files. Learn more about security
Installation for Agentic Skill
View all platforms →skilz install Microck/ordinary-claude-skills/design-by-contractskilz install Microck/ordinary-claude-skills/design-by-contract --agent opencodeskilz install Microck/ordinary-claude-skills/design-by-contract --agent codexskilz install Microck/ordinary-claude-skills/design-by-contract --agent geminiFirst time? Install Skilz: pip install skilz
Works with 22+ AI coding assistants
Cursor, Aider, Copilot, Windsurf, Qwen, Kimi, and more...
Extract and copy to ~/.claude/skills/ then restart Claude Desktop
git clone https://github.com/Microck/ordinary-claude-skillscp -r ordinary-claude-skills/skills_categorized/smart-contracts/design-by-contract ~/.claude/skills/Need detailed installation help? Check our platform-specific guides:
Related Agentic Skills
design-doc-mermaid
by SpillwaveSolutions
Create Mermaid diagrams (activity, deployment, sequence, architecture) from text descriptions or source code. Use when asked to "create a diagram",...
article-extractor
by I-Onlabs
Extract clean article content from URLs (blog posts, articles, tutorials) and save as readable text. Use when user wants to download, extract, or s...
nextjs
by jezweb
| Build Next.js 16 apps with App Router, Server Components/Actions, Cache Components ("use cache"), and async route params. Includes proxy.ts (repl...
cc-trace
by alexfazio
Interactive assistant for intercepting, debugging, analyzing and reviewing Claude Code API requests using mitmproxy. Guides setup, certificate conf...
Agentic Skill Details
- Repository
- ordinary-claude-skills
- Type
- Non-Technical
- Meta-Domain
- general
- Primary Domain
- general
- Sub-Domain
- javascript react code
- Market Score
- 32
Browse Category
More general Agentic SkillsReport Security Issue
Found a security vulnerability in this agent skill?
Report Security Issue
Thank you for helping keep SkillzWave secure. We'll review your report and take appropriate action.
Note: For critical security issues that require immediate attention, please also email security@skillzwave.ai directly.