Can I use this with existing codebases?

Yes, the skill includes 'Artifact Detection' capabilities to scan your current project for existing contract patterns and suggests incremental additions to improve safety.

What happens when a contract is violated?

The skill identifies whether it is a Precondition, Postcondition, or Invariant violation, helping you immediately determine if the error lies with the caller, the implementation, or the state management logic.

Will adding contracts slow down my production application?

The skill follows a 'Verification Hierarchy' that uses static assertions and debug-only contracts wherever possible, allowing you to disable expensive runtime checks in production environments.

How does this differ from standard unit testing?

While unit tests check specific scenarios, contracts define the formal rules that must always be true for a function or object, providing a continuous safety net during every execution.

What programming languages are supported by this skill?

The skill provides templates and execution patterns for Rust, TypeScript (Zod), Python (icontract), Java (Guava), C++, and several others, ensuring cross-platform contract enforcement.

Design-by-Contract (DbC) Developer

Name: Design-by-Contract (DbC) Developer
Author: Activer007

byActiver007

0•

Seguridad y Pruebas

Enforces software reliability and code correctness through formal preconditions, postconditions, and state invariants across multiple programming languages.

This skill implements the Design-by-Contract (DbC) methodology within Claude Code, providing a structured workflow to define and verify software component behaviors. It guides developers through planning contract predicates, generating language-specific annotations (supporting Rust, TypeScript, Python, Java, and C++), and automating the verification process to detect violations early. By following a strict hierarchy that prioritizes static assertions over runtime checks, it ensures high-performance, self-documenting code that fails safely at the point of error rather than allowing logic bugs to propagate.

Características Principales

01Verification hierarchy that optimizes performance by prioritizing compile-time checks.

02Multi-language support for Rust, TypeScript/Zod, Python/icontract, Java, and C++.

03Standardized remediation strategies for precondition, postcondition, and invariant violations.

040 GitHub stars

05Automated detection of existing contract patterns and identification of coverage gaps.

06Structured 4-phase workflow covering planning, creation, verification, and remediation.

Casos de Uso

01Ensuring internal state consistency in complex business logic and safety-critical systems.

02Defining robust boundaries for public APIs to prevent invalid data entry.

03Formalizing technical requirements into executable code documentation for team collaboration.

What are Skills?·How to Install

Install with 🐟 Skill.Fish

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

For use in Claude.ai and ChatGPT

Características Principales

01Verification hierarchy that optimizes performance by prioritizing compile-time checks.

02Multi-language support for Rust, TypeScript/Zod, Python/icontract, Java, and C++.

03Standardized remediation strategies for precondition, postcondition, and invariant violations.

040 GitHub stars

05Automated detection of existing contract patterns and identification of coverage gaps.

06Structured 4-phase workflow covering planning, creation, verification, and remediation.

Casos de Uso

01Ensuring internal state consistency in complex business logic and safety-critical systems.

02Defining robust boundaries for public APIs to prevent invalid data entry.

03Formalizing technical requirements into executable code documentation for team collaboration.