eiffel-implement
OfficialWrite feature bodies with contracts frozen.
Software Engineering#design-by-contract#feature-implementation#build-validation#phase-4#eiffel#frozen-contracts#automated-workflow
Authorsimple-eiffel
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Eiffel developers sometimes face challenges implementing feature bodies without altering contracts. This Skill automates that process while preserving pre/post/invariants.
Core Features & Use Cases
- Frozen-contract enforcement: ensures require/ensure/invariant clauses remain intact.
- Guided implementation workflow: aligns with Phase 3 task artifacts and Phase 4 steps.
- Build-validation: integrates with the project's compile process to verify correctness.
Quick Start
Run: /eiffel.implement <project-path>
Dependency Matrix
Required Modules
None requiredComponents
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: eiffel-implement Download link: https://github.com/simple-eiffel/eiffel-spec-kit/archive/main.zip#eiffel-implement 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.