eiffel-spec
OfficialPre-Phase Eiffel specs to guide design.
Education & Research#documentation#specification#requirements#design-by-contract#domain-model#Eiffel#OOSC2
Authorsimple-eiffel
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill converts research outputs into a formal Eiffel specification, establishing a solid design foundation and an auditable blueprint for downstream phases.
Core Features & Use Cases
- Research-to-spec transformation: converts inputs from /eiffel.research into a structured spec under .eiffel-workflow/spec.
- OOSC2-aligned design artifacts: yields domain models, class designs, contracts, interfaces, and a complete specification set.
- Workflow guidance: documents prerequisites and steps to move from analysis to validation, ensuring traceability.
Quick Start
Run the pre-phase spec workflow against your project path, ensuring research outputs exist at <project>/.eiffel-workflow/research and inspect generated files under <project>/.eiffel-workflow/spec.
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-spec Download link: https://github.com/simple-eiffel/eiffel-spec-kit/archive/main.zip#eiffel-spec 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.