interface-contract-verifier
CommunityEnsure code contracts are preserved.
Software Engineering#code quality#refactoring#contract verification#design by contract#api compatibility#liskov substitution
AuthorArabelaTso
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill prevents regressions by verifying that interface and class contracts (preconditions, postconditions, invariants) remain intact across different versions of your software.
Core Features & Use Cases
- Contract Verification: Compares contracts between old and new code versions.
- Violation Detection: Identifies weakened preconditions, strengthened postconditions, and broken invariants.
- Use Case: After refactoring a critical API, use this Skill to ensure that the new version still adheres to the original behavioral guarantees, preventing unexpected client-side errors.
Quick Start
Verify that contracts in the new version of the program are preserved compared to the old version.
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: interface-contract-verifier Download link: https://github.com/ArabelaTso/Skills-4-SE/archive/main.zip#interface-contract-verifier 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.