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.
Explorez les skills IA publiés de simple-eiffel et consultez leurs instructions source.
Skills indexés
12Étoiles des dépôts des skills indexés
0Forks du dépôt
0Moyenne des étoiles par skill indexé
0Les étoiles d’un dépôt peuvent se répéter entre ses skills.
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.
Phase 3 of Eiffel Spec Kit. Breaks reviewed contracts into implementation tasks with acceptance criteria. Use with /eiffel.tasks command.
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.
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.
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.
Phase 4 of Eiffel Spec Kit. Writes feature bodies while keeping contracts FROZEN. Detects unauthorized contract changes. Use with /eiffel.implement command.
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.
Pre-Phase specification design. Transforms 7-step research into Eiffel specification using OOSC2 principles. Use after /eiffel.research, before /eiffel.intent.
Shows current Eiffel Spec Kit phase, evidence files, and workflow status. Use with /eiffel.status command to see where you are in the process.
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.
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.
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...
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.