eiffel-verify
OfficialAutomate Eiffel contract verification and tests.
Authorsimple-eiffel
Version1.0.0
Installs0
System Documentation
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.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: eiffel-verify Download link: https://github.com/simple-eiffel/eiffel-spec-kit/archive/main.zip#eiffel-verify Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.