eiffel-expert

Guide Eiffel developers in applying Design by Contract and Meyer's verification approach.

Updated Jan 22, 2026

Search Tags:#verification #design-by-contract #dbc #eiffel #meyers #oosc2 #eiffel-expert

Ready to run

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

💬 Prompt for ChatGPT / Claude Chat▼

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

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This skill guides Eiffel programmers in applying Design by Contract and Meyer's verification approach.

Core Features & Use Cases

DbC guidance: Establish contracts, invariants, and postconditions for Eiffel classes following Meyer's verification methodology.
OOSC2 alignment: Apply object-oriented software design concepts to ensure robust, verifiable Eiffel code.
Knowledge transfer: Clarify best practices for working hats, code reviews, and contract-driven development across Eiffel projects.

Quick Start

Review the provided Eiffel code and produce a DbC contract outline following Meyer's verification process.

Frequently Asked Questions about eiffel-expert

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

FAQPage Schema

How do I apply Design by Contract to Eiffel classes?▼

To apply Design by Contract to Eiffel classes, establish invariants, preconditions, and postconditions following Meyer's verification methodology. This ensures robust, verifiable code by defining clear boundaries for class behavior and state consistency.

What are the best practices for writing DbC contracts in .e files?▼

Best practices for writing DbC contracts in .e files involve aligning with OOSC2 principles to ensure robust, verifiable Eiffel code. You should structure contracts clearly during code reviews and adopt working hats for contract-driven development across your project.

Can I use Meyer's verification approach for existing Eiffel code bases?▼

Yes, you can apply Meyer's verification approach to existing Eiffel code bases by reviewing the provided .e files and producing a DbC contract outline. This process integrates OOSC2 design concepts to ensure verifiable code across your current configurations.

What is the role of working hats in contract-driven Eiffel development?▼

Working hats in contract-driven Eiffel development clarify best practices for code reviews and knowledge transfer. They help developers separate concerns when applying DbC guidance and Meyer's verification approach across Eiffel projects.

Do I need to know Eiffel syntax to establish class invariants and postconditions?▼

Yes, you need domain knowledge in Eiffel syntax, DbC contracts, and verification workflows to establish class invariants and postconditions. This prerequisite knowledge is required to meet the predefined criteria of Meyer's verification process.