Convert research outputs into formal Eiffel specifications with domain models and contracts.
npx skills add https://github.com/simple-eiffel/eiffel-spec-kit --skill eiffel-spec
Please help me install this Agent Skill. Skill: eiffel-spec Source: https://github.com/simple-eiffel/eiffel-spec-kit/tree/main/eiffel-spec Command: npx skills add https://github.com/simple-eiffel/eiffel-spec-kit --skill eiffel-spec
This Skill converts research outputs into a formal Eiffel specification, establishing a solid design foundation and an auditable blueprint for downstream phases.
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.
High-intent search queries and answers about installing and using this skill.
To convert domain research results into formal Eiffel specifications, run the pre-phase spec workflow against your project path to generate structured OOSC2-aligned artifacts under the .eiffel-workflow/spec directory.
Design-by-contract applies to domain modeling by establishing formal specifications with precise interfaces and contracts. This skill generates class designs and domain models that enforce preconditions, postconditions, and invariants for downstream development.
Yes, you can generate class designs and interfaces from existing research outputs by ensuring inputs exist at .eiffel-workflow/research. The workflow processes these inputs to produce a complete OOSC2-aligned specification set for your project.
The best way to structure specification documents is using the .eiffel-workflow/spec directory, which organizes outputs sequentially from 01-parsing requirements through 08-validation, documenting decisions and ensuring traceability for downstream phases.
Yes, you need prior research artifacts located at <project>/.eiffel-workflow/research to start generating Eiffel specifications. The workflow targets post-research to pre-intent transitions and requires these inputs to produce domain models and contracts.
Your research-to-spec transition lacks traceability because decision documentation is missing. This skill ensures traceability by documenting prerequisites and workflow steps, moving from analysis to validation while producing an auditable blueprint.
nbarthelemyConduct project specification interviews and generate a complete SPEC.md.
simple-eiffelGenerate and execute contract-derived tests for Eiffel libraries using the Eiffel Spec Kit.
VictorHueniGenerate and maintain CLI surface contracts as Markdown documents.
zhongadamwangGenerate structured domain concept proposals with impact assessments from alignment results.
