skills/smithery.ai/eiffel-contracts

eiffel-contracts

Installation
SKILL.md

/eiffel.contracts - Phase 1: Contracts + Skeletal Tests

Purpose: Generate class skeletons with contracts before any implementation. Contracts ARE tests - brought in from external test classes to live where they have semantic meaning.

Usage

/eiffel.contracts <project-path>

Example:

/eiffel.contracts d:\prod\simple_cache

If no path provided, ask user: "Which project? Provide the full path (e.g., d:\prod\simple_cache)"

Project Scoping

Installs
1
First Seen
Apr 30, 2026
eiffel-contracts from smithery.ai