What is Design-by-Contract (DbC)?

Design-by-Contract is a programming methodology where software components define formal, verifiable obligations (preconditions) and guarantees (postconditions) to ensure reliable behavior.

Which languages does this skill support?

It supports over 8 languages, including Rust (contracts crate), TypeScript (Zod), Python (icontract), Java (Guava/checkArgument), and C++ (GSL/Boost).

How does this skill help with debugging?

It identifies the specific type of contract violation—precondition, postcondition, or invariant—and provides targeted remediation strategies to fix the caller, implementation, or state logic.

Does it support static verification?

Yes, the skill follows a verification hierarchy that prioritizes compile-time static assertions and type-system checks over more expensive runtime contracts.

Where are the generated contract artifacts stored?

Contract definitions and schemas are typically generated and organized within a standardized .outline/contracts/ directory for better project traceability.

Design-by-Contract Development

Name: Design-by-Contract Development
Author: Microck

byMicrock

•

セキュリティとテスト

Automates the creation, verification, and remediation of formal code contracts to ensure software correctness and reliability.

概要

This skill implements the Design-by-Contract (DbC) methodology within the Claude Code environment, enabling developers to define formal preconditions, postconditions, and invariants across multiple programming languages. It provides a structured four-phase workflow—Plan, Create, Verify, and Remediate—that helps identify logic gaps, generate language-specific contract annotations, and automate debugging when contract violations occur, ultimately leading to more robust and self-documenting codebases.

主な機能

Automated generation of contract annotations and schema validations
81 GitHub stars
Multi-language support for Rust, TypeScript, Python, Java, and C++
Integration with popular libraries like Zod, icontract, and Guava
Hierarchical verification prioritizing static assertions over runtime checks
Standardized workflow for planning and remediating contract violations

ユースケース

Ensuring consistency in complex state management systems
Validating public API boundaries and untrusted data inputs
Documenting and enforcing business logic constraints in safety-critical applications

概要

主な機能

Automated generation of contract annotations and schema validations
81 GitHub stars
Multi-language support for Rust, TypeScript, Python, Java, and C++
Integration with popular libraries like Zod, icontract, and Guava
Hierarchical verification prioritizing static assertions over runtime checks
Standardized workflow for planning and remediating contract violations

ユースケース

Ensuring consistency in complex state management systems
Validating public API boundaries and untrusted data inputs
Documenting and enforcing business logic constraints in safety-critical applications