Which programming languages does this skill support?

The skill supports over 8 languages, providing specific implementation patterns for Rust (contracts), TypeScript (Zod), Python (icontract), Java (Guava), and C++ (GSL/Boost).

How does this skill improve the debugging process?

It categorizes failures into Precondition (caller's fault), Postcondition (callee's fault), or Invariant violations, allowing for immediate identification of the root cause in logic errors.

Does Design-by-Contract replace traditional unit testing?

No, it complements unit testing by providing continuous runtime or compile-time assertions that ensure components behave according to their specifications regardless of the test case.

What is the recommended hierarchy for verification?

The skill follows a 'Static First' principle: use compile-time static assertions whenever possible, followed by test-only contracts, and finally runtime contracts for production enforcement.

Design-by-Contract Verification

Name: Design-by-Contract Verification
Author: Activer007

byActiver007

0•

Security & Testing

Implements automated contract verification and remediation using formal preconditions, postconditions, and invariants across multiple programming languages.

This skill empowers developers to apply the Design-by-Contract (DbC) methodology within their codebase, ensuring software correctness through formal specifications. It provides a comprehensive workflow—from planning predicates to generating language-specific annotations and remediating runtime violations—supporting 8+ languages including Rust, Python, and TypeScript. By integrating verification early in the development lifecycle, it helps maintain system invariants, clarifies component obligations, and simplifies debugging by pinpointing exactly where a logical promise was broken.

Key Features

01Structured PLAN-CREATE-VERIFY-REMEDIATE development workflow

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

03Intelligent remediation strategies for specific contract violation types

04Automated generation of preconditions, postconditions, and invariants

050 GitHub stars

06Hierarchical verification using static assertions before runtime checks

Use Cases

01Enforcing strict input validation and guarantees for public API boundaries

02Automating logic error detection during development and integration testing

03Maintaining complex object state consistency in mission-critical business logic

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

Download Skill