How does the skill handle contract violations?

It classifies violations into Preconditions (caller error), Postconditions (callee error), and Invariants (state error), providing specific remediation strategies to fix the root cause.

What is the 'Verification Hierarchy' used by this skill?

The hierarchy prioritizes static assertions and compile-time checks first, followed by test-only contracts, and finally runtime contracts for production enforcement and untrusted data.

Does Design-by-Contract replace unit testing?

No, it complements unit testing by providing continuous verification of logic during execution, ensuring that assumptions and guarantees are met in real-time or at compile-time.

What programming languages does this skill support?

The skill supports over 8 languages, with detailed implementation patterns for Rust (contracts crate), TypeScript (Zod), Python (icontract), Java/Kotlin, and C++ (GSL/Boost).

Design-by-Contract Development

Name: Design-by-Contract Development
Author: Microck

byMicrock

•

安全与测试

Implements formal contract verification using preconditions, postconditions, and invariants to ensure code correctness across multiple programming languages.

This skill provides a comprehensive framework for Design-by-Contract (DbC) development, enabling developers to define formal specifications that govern component behavior. It automates the entire lifecycle—from planning predicates and generating language-specific annotations for Rust, TypeScript, Python, and more, to runtime verification and targeted remediation. By prioritizing a rigorous hierarchy of static assertions over runtime checks, it helps maintain system integrity, simplifies debugging, and documents public API boundaries with formal logic to prevent regression and state corruption.

主要功能

01Sophisticated verification hierarchy prioritizing static compile-time checks

02Automated generation of preconditions, postconditions, and invariants

03Targeted debugging strategies for rapid contract violation remediation

04Standardized PLAN-CREATE-VERIFY-REMEDIATE workflow methodology

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

0681 GitHub stars

使用场景

01Maintaining object state consistency in complex business logic and state machines

02Securing public API boundaries with strict formal input validation

03Formalizing behavioral expectations and documentation for cross-team integrations

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