Skills
.Work. You
Rest

enforce-contract

Community

Enforce pre/post conditions and invariants in code.

Software Engineering#testing#contract#invariants#post-conditions#design-by-contract#pre-conditions
Authorknowlet
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill codifies Design by Contract to prevent AI hallucinations by defining pre-conditions, post-conditions, and invariants, and by validating code with contract-driven tests.

Core Features & Use Cases

  • Pre-conditions: validate inputs before execution.
  • Post-conditions & Invariants: ensure post-state correctness and invariant maintenance.
  • Contract-driven testing: generate/verify tests from contracts.

Quick Start

When implementing a new Use Case or method, invoke enforce-contract to define and validate pre/post conditions and invariants, then run contract checks during tests and commits.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: enforce-contract
Download link: https://github.com/knowlet/skills/archive/main.zip#enforce-contract

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.