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

•

보안 및 테스팅

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.

주요 기능

Four-phase workflow: Plan, Create, Verify, and Remediate
81 GitHub stars
Intelligent artifact detection to analyze and extend existing contract coverage
Formal verification hierarchy prioritizing static analysis over runtime checks
Multi-language support for Rust, TypeScript, Python, Java, Kotlin, and C++
Automated generation of contract annotations and validation schemas

사용 사례

Enforcing complex business logic constraints and maintaining object state invariants
Isolating system bugs by identifying caller vs. callee contract violations
Validating inputs and outputs at public API and module boundaries

소개

주요 기능

Four-phase workflow: Plan, Create, Verify, and Remediate
81 GitHub stars
Intelligent artifact detection to analyze and extend existing contract coverage
Formal verification hierarchy prioritizing static analysis over runtime checks
Multi-language support for Rust, TypeScript, Python, Java, Kotlin, and C++
Automated generation of contract annotations and validation schemas

사용 사례

Enforcing complex business logic constraints and maintaining object state invariants
Isolating system bugs by identifying caller vs. callee contract violations
Validating inputs and outputs at public API and module boundaries