Simple Eiffel
Official@simple-eiffel
Modern Eiffel libraries for practical software development - 40+ production-ready components
Agent Skills by Simple Eiffel
Showing 12 vetted skills indexed across 1 GitHub repositories.
simple-eiffeleiffel-expert
Guide Eiffel developers in applying Design by Contract and Meyer's verification approach.
simple-eiffeleiffel-contracts
Generate Eiffel class skeletons with preconditions, postconditions, and invariants.
simple-eiffeleiffel-spec
Convert research outputs into formal Eiffel specifications with domain models and contracts.
simple-eiffeleiffel-review
Automate Phase 2 adversarial review cycles for Eiffel contracts with human approval gating.
simple-eiffeleiffel-harden
Generate adversarial, stress, and edge-case tests for Eiffel contracts.
simple-eiffeleiffel-intent
Capture project intent and scaffold AI review artifacts for Eiffel projects.
simple-eiffeleiffel-status
Report the current Eiffel Spec Kit phase and evidence trail for a project path.
simple-eiffeleiffel-verify
Generate and execute contract-derived tests for Eiffel libraries using the Eiffel Spec Kit.
simple-eiffeleiffel-implement
Automate Eiffel feature body implementation while preserving frozen contracts.
simple-eiffeleiffel-ship
Coordinate finalization of ETAFATE's ship() method and its tests.
simple-eiffeleiffel-research
Conduct structured pre-phase research for Eiffel library ideas.
simple-eiffeleiffel-tasks
Break Eiffel contracts into implementable tasks with acceptance criteria.
Frequently Asked Questions About Simple Eiffel
FAQPage SchemaWhat specific engineering tasks does Simple Eiffel enable?▼
Simple Eiffel enables formal verification of software components through Design by Contract. It facilitates the generation of class skeletons, the creation of adversarial stress tests for contract validation, and the systematic breakdown of complex specifications into implementable features with verified acceptance criteria.
Which engineering personas benefit from these capabilities?▼
These capabilities are designed for software architects and systems engineers focused on high-reliability environments. Developers utilizing Meyer’s verification approach or those requiring strict adherence to formal specifications will find these components essential for maintaining code integrity throughout the development lifecycle.
What are the prerequisites for implementing these verification components?▼
Implementation requires an existing Eiffel development environment and familiarity with the Eiffel Spec Kit. Users must define project intent and domain models to generate valid contract skeletons, which then serve as the foundation for subsequent adversarial review and feature body implementation.