eiffel-implement

Automate Eiffel feature body implementation while preserving frozen contracts.

Updated Jan 22, 2026

Search Tags:#design-by-contract #feature-implementation #build-validation #phase-4 #eiffel #frozen-contracts #automated-workflow

Ready to run

npx skills add https://github.com/simple-eiffel/eiffel-spec-kit --skill eiffel-implement

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: eiffel-implement
Source: https://github.com/simple-eiffel/eiffel-spec-kit/tree/main/eiffel-implement
Command: npx skills add https://github.com/simple-eiffel/eiffel-spec-kit --skill eiffel-implement

SYSTEM DOCUMENTATION & REQUIREMENTS

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>

Frequently Asked Questions about eiffel-implement

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I implement Eiffel feature bodies without altering contracts?▼

To implement Eiffel feature bodies without altering contracts, use an automated workflow that freezes pre/post conditions and invariants. This enforces frozen contracts by restricting code updates to allowed steps and validating builds to ensure no contract changes are introduced during feature implementation.

What is design-by-contract enforcement during Eiffel feature implementation?▼

Design-by-contract enforcement during Eiffel feature implementation ensures require, ensure, and invariant clauses remain intact. The automated workflow freezes contracts, allowing developers to write feature bodies only within permitted steps while validating the build to detect any unauthorized contract modifications.

How do I automate Eiffel feature implementation in Phase 4?▼

Automate Eiffel feature implementation in Phase 4 by integrating with pre-existing Phase 3 task artifacts and compilation workflows. The automated process writes feature bodies while enforcing frozen contracts and running build validation to verify correctness against the project's compile process.

Does Eiffel build validation check if contracts were modified during implementation?▼

Yes, Eiffel build validation checks if contracts were modified by integrating with the project's compile process. It verifies correctness and ensures no contract changes are introduced, validating that frozen require, ensure, and invariant clauses remain intact throughout the feature body implementation workflow.

Can I update Eiffel code outside allowed steps when freezing contracts?▼

No, you cannot update Eiffel code outside allowed steps when freezing contracts. The automated workflow restricts code modifications to permitted implementation steps only, ensuring frozen contracts and build validation enforce compliance throughout the feature body writing process.

What's the best way to validate Eiffel builds after writing feature bodies?▼

The best way to validate Eiffel builds after writing feature bodies is through an automated workflow that integrates with the project's compile process. This validates builds to ensure correctness and verifies that no contract changes were introduced during the feature implementation phase.