Generate adversarial, stress, and edge-case tests for Eiffel contracts.
npx skills add https://github.com/simple-eiffel/eiffel-spec-kit --skill eiffel-harden
Please help me install this Agent Skill. Skill: eiffel-harden Source: https://github.com/simple-eiffel/eiffel-spec-kit/tree/main/eiffel-harden Command: npx skills add https://github.com/simple-eiffel/eiffel-spec-kit --skill eiffel-harden
This skill automates the generation of adversarial, stress, and edge-case tests to harden Eiffel implementations.
Run the eiffel.harden command on your Eiffel project path.
High-intent search queries and answers about installing and using this skill.
Adversarial testing for Eiffel contracts is automated by generating targeted stress and edge-case scenarios that probe contract boundaries and state transitions. This skill creates tests that push data structures, concurrency, and SCOOP-related behavior to reveal failures.
MML hardening in Eiffel involves applying Mathematical Model Language assertions to rigorously verify implementation correctness against contract specifications. This skill generates adversarial test cases to validate these MML constraints under stress and edge-case conditions.
Stress tests for SCOOP-aware Eiffel scenarios are generated by creating targeted edge cases that push concurrency and resource limits. This skill probes SCOOP-related behavior to reveal failures in concurrent object-oriented programming implementations.
Yes, Eiffel hardening requires Phase 5 success and MML integration as prerequisites. It operates within Phase 6 workflows of the Eiffel Spec Kit, relying on established contract specifications and evidence management under the .eiffel-workflow directory.
Eiffel hardening manages test evidence by saving prompts, generated adversarial tests, and execution results under the project's .eiffel-workflow directory. This maintains a comprehensive audit trail for the Phase 6 hardening workflow.
The best way to probe Eiffel contract boundaries and state transitions is through automated adversarial test generation. This skill creates targeted scenarios that specifically expose failures at the edges of data structures and contract specifications.
simple-eiffelGenerate and execute contract-derived tests for Eiffel libraries using the Eiffel Spec Kit.
simple-eiffelAutomate Phase 2 adversarial review cycles for Eiffel contracts with human approval gating.
simple-eiffelGenerate Eiffel class skeletons with preconditions, postconditions, and invariants.
ROYCE-8425Automate Rust unit, integration, async, and property-based testing with TDD.
