How does the verification hierarchy work?

The skill follows a principle of using the most efficient check possible, prioritizing static/compile-time assertions first, followed by test-only contracts, and finally runtime validation for public boundaries.

Which programming languages are supported by this skill?

The skill supports 8+ languages including Rust (contracts crate), TypeScript (Zod), Python (icontract), Java/Kotlin (Guava/Checkers), and C++ (GSL/Boost).

What is Design-by-Contract (DbC)?

Design-by-Contract is a programming methodology where software components have formal, verifiable interface specifications including preconditions (caller requirements), postconditions (callee guarantees), and invariants (consistent states).

Can this skill help fix existing bugs?

Yes, the Remediate phase specifically helps diagnose whether a contract violation is the fault of the caller (precondition) or the implementation (postcondition), providing targeted fix strategies for each.

Design-by-Contract Development

Name: Design-by-Contract Development
Author: Microck

byMicrock

•

Security & Testing

Automates the planning, generation, and verification of formal software contracts to ensure code correctness across multiple languages.

This skill implements a comprehensive Design-by-Contract (DbC) workflow, enabling Claude to define and enforce preconditions, postconditions, and invariants within your codebase. Supporting over 8 languages including Rust, TypeScript, and Python, it guides developers through a structured process of planning behavioral obligations, generating specific artifacts like Zod schemas or icontract decorators, and running automated verification suites. By prioritizing static assertions and providing targeted remediation strategies for contract violations, it significantly improves software reliability and documents expected behavior formally at API boundaries.

Key Features

01Four-phase workflow: Plan, Create, Verify, and Remediate

0281 GitHub stars

03Intelligent artifact detection to analyze and extend existing contract coverage

04Formal verification hierarchy prioritizing static analysis over runtime checks

05Multi-language support for Rust, TypeScript, Python, Java, Kotlin, and C++

06Automated generation of contract annotations and validation schemas

Use Cases

01Enforcing complex business logic constraints and maintaining object state invariants

02Isolating system bugs by identifying caller vs. callee contract violations

03Validating inputs and outputs at public API and module boundaries

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add microck/ordinary-claude-skills design-by-contract

For use in Claude.ai and ChatGPT

Download Skill