GitHub
eiffel-review
Phase 2 of Eiffel Spec Kit. Runs progressive AI review chain (Ollama → Claude → Grok → Gemini → Human). Generates approach.md and synopsis.md. BLOCKS until human approves. Use with /eiffel.review command.
☆ 0View skill
simple-eiffel AI Skills
GitHub ↗Browse published AI skills maintained by simple-eiffel. Compare skill descriptions and follow each source repository for setup instructions.
Author statistics
Indexed skills
12Repository stars across indexed skills
0Repository forks
0Average repository stars per indexed skill
0Repository stars may repeat across skills from the same repository.
Popular categories
Recent indexing activity
Browse skills
GitHub
eiffel-tasks
Phase 3 of Eiffel Spec Kit. Breaks reviewed contracts into implementation tasks with acceptance criteria. Use with /eiffel.tasks command.
☆ 0View skill
GitHub
eiffel-intent
Phase 0 of Eiffel Spec Kit. Generates intent.md capturing WHAT users need and WHY. Runs AI-assisted intent review with probing questions. Use with /eiffel.intent command.
☆ 0View skill
GitHub
eiffel-harden
Phase 6 of Eiffel Spec Kit. Generates adversarial tests, stress tests, and edge case tests. AI chain suggests attack vectors. Use with /eiffel.harden command.
☆ 0View skill
GitHub
eiffel-verify
Phase 5 of Eiffel Spec Kit. Generates test suite derived from contracts and runs tests. Includes AI chain coverage gap analysis. Use with /eiffel.verify command.
☆ 0View skill
GitHub
eiffel-implement
Phase 4 of Eiffel Spec Kit. Writes feature bodies while keeping contracts FROZEN. Detects unauthorized contract changes. Use with /eiffel.implement command.
☆ 0View skill
GitHub
eiffel-ship
Phase 7 of Eiffel Spec Kit. Final checklist - naming review, documentation, GitHub prep, ecosystem integration check. BLOCKS until human approves. Use with /eiffel.ship command.
☆ 0View skill
GitHub
eiffel-spec
Pre-Phase specification design. Transforms 7-step research into Eiffel specification using OOSC2 principles. Use after /eiffel.research, before /eiffel.intent.
☆ 0View skill
GitHub
eiffel-status
Shows current Eiffel Spec Kit phase, evidence files, and workflow status. Use with /eiffel.status command to see where you are in the process.
☆ 0View skill
GitHub
eiffel-contracts
Phase 1 of Eiffel Spec Kit. Generates class skeletons with require/ensure/invariant contracts plus skeletal test classes. Contracts ARE tests brought into the class. Use with /eiffel.contracts command.
☆ 0View skill
GitHub
eiffel-research
Pre-Phase research for new simple_* libraries. 7-step investigation process before design. Use when starting a new library idea. Produces research output for /eiffel.spec.
☆ 0View skill
GitHub
eiffel-expert
Eiffel programming expert with Design by Contract, working hats, OOSC2 principles, Meyer's verification process, and simple_* ecosystem knowledge. Use when working with Eiffel code, .e files, .ecf configs, or w...
☆ 0View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.