Skills
.Work. You
Rest

eiffel-harden

Official

Adversarial testing for Eiffel contracts.

Software Engineering#testing#contracts#MML#eiffel#adversarial-testing#scoop
Authorsimple-eiffel
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This skill automates the generation of adversarial, stress, and edge-case tests to harden Eiffel implementations.

Core Features & Use Cases

  • Adversarial Test Generation: Create targeted tests that probe contract boundaries, data structures, and state transitions.
  • Stress & Edge-Case Testing: Produce scenarios that push resources, concurrency, and SCOOP-related behavior to reveal failures.
  • Evidence & Workflow Integration: Save prompts, tests, and results under the project's .eiffel-workflow directory to maintain an audit trail.

Quick Start

Run the eiffel.harden command on your Eiffel project path.

Dependency Matrix

Required Modules

None required

Components

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-harden
Download link: https://github.com/simple-eiffel/eiffel-spec-kit/archive/main.zip#eiffel-harden

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.