enterprise-contract
CommunityDefine code contracts before implementation.
Authoranotherben
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill prevents costly rework by ensuring that code contracts, defining precise expected behaviors and error conditions, are created before any implementation code is written.
Core Features & Use Cases
- Mechanical Contracts: Generates detailed contracts with postconditions, invariants, error cases, and consumer maps.
- Traceability: Ensures every postcondition is traceable to a specific test and code line.
- Use Case: Before adding a new authentication endpoint, use this Skill to define exactly what successful login responses look like, what error codes are expected for invalid credentials, and which other services will consume the user's token.
Quick Start
Use the enterprise-contract skill to create a contract for the plan located at docs/plans/2026-03-09-sync-alerts-plan.md.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 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: enterprise-contract Download link: https://github.com/anotherben/claude-enterprise-skills/archive/main.zip#enterprise-contract Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.