skills.rest
simple-eiffel
simple-eiffelOFFICIAL
Explore all skills by this author →
WebsiteGitHub

eiffel-verify

Generate and execute contract-derived tests for Eiffel libraries using the Eiffel Spec Kit.

Updated Jan 22, 2026
Search Tags:#automation#testing#verification#contracts#ai-assisted#eiffel
One-click install
npx skills add https://github.com/simple-eiffel/eiffel-spec-kit --skill eiffel-verify
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: eiffel-verify
Source: https://github.com/simple-eiffel/eiffel-spec-kit/tree/main/eiffel-verify
Command: npx skills add https://github.com/simple-eiffel/eiffel-spec-kit --skill eiffel-verify

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill automates the generation and execution of contract-derived tests to verify Eiffel libraries, turning formal contracts into testable validation and producing an audit trail for Phase 5.

Core Features & Use Cases

  • Flesh skeletal tests from Phase 4 artifacts and contract postconditions to create concrete test cases.
  • Execute contract-derived tests, verify all tests pass, and generate a clear evidence trail for review.
  • Use Case: Integrate into an Eiffel library workflow to ensure contracts are satisfied before shipping, with AI-assisted coverage analysis.

Quick Start

Use the /eiffel.verify <project-path> command to flesh out tests and run the Phase 5 verification. Review the results in <project-path>/.eiffel-workflow/evidence/phase5-tests.txt and the coverage report at <project-path>/.eiffel-workflow/evidence/phase5-coverage.txt.

Frequently Asked Questions about eiffel-verify

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

FAQPage Schema
How do I automate Eiffel contract verification and test generation?▼

Automate Eiffel contract verification by running the /eiffel.verify command to flesh out skeletal tests from contract postconditions, execute them, and generate a Phase 5 validation evidence trail.

How do I generate Phase 5 evidence files for an Eiffel Spec Kit project?▼

Generate Phase 5 evidence files by executing contract-derived tests within your Eiffel Spec Kit project, which automatically outputs validation results to the .eiffel-workflow/evidence/phase5-tests.txt file.

Can I flesh out skeletal tests from postconditions in an Eiffel library workflow?▼

Yes, you can flesh out skeletal tests from Phase 4 artifacts and contract postconditions to create concrete, executable test cases that verify Eiffel library contracts before shipping.

Does Eiffel verification support AI-assisted coverage analysis for library workflows?▼

Eiffel verification supports AI-assisted coverage analysis by generating and executing contract-derived tests, producing a coverage report at .eiffel-workflow/evidence/phase5-coverage.txt for review.

What do I need to run contract-derived tests using the Eiffel Spec Kit?▼

To run contract-derived tests, you need an Eiffel project using the Eiffel Spec Kit with existing Phase 4 artifacts and contract postconditions to flesh out and execute Phase 5 validation tests.

Related Skills

Explore More Software Engineering Skills→
simple-eiffelsimple-eiffel

eiffel-contracts

Generate Eiffel class skeletons with preconditions, postconditions, and invariants.

Official
Advanced
simple-eiffelsimple-eiffel

eiffel-harden

Generate adversarial, stress, and edge-case tests for Eiffel contracts.

Official
Advanced
simple-eiffelsimple-eiffel

eiffel-intent

Capture project intent and scaffold AI review artifacts for Eiffel projects.

Official
Intermediate
reddya3reddya3

qa-test-executor

Execute manual QA test cases and capture pass/fail evidence.

Community
Advanced