Menu
O SkillsMP coletou 16 skills de simple-eiffel/eiffel-spec-kit. Abra uma skill para revisar a origem e os detalhes.
Mostrando 16 de 16 skills coletadas.
Extract shared behavior into deferred class abstractions following ISE EiffelBase patterns. Each abstraction level adds contracts, not implementation. Use with /eiffel.abstract command.
Idioma do texto original: inglês
Read-only design scanner. Finds abstraction, MI, and generics improvement opportunities in Eiffel libraries. Produces structured report. Use with /eiffel.design-scan command.
Idioma do texto original: inglês
Convert concrete-typed Eiffel classes to use generic parameters with proper constraints following ISE EiffelBase patterns. Use with /eiffel.generify command.
Idioma do texto original: inglês
Apply Eiffel multiple inheritance with role-based parents. Uses feature adaptation (rename/redefine/undefine/select) to resolve conflicts. Use with /eiffel.mi command.
Idioma do texto original: inglês
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.
Idioma do texto original: inglês
Pre-Phase specification design. Transforms 7-step research into Eiffel specification using OOSC2 principles. Use after /eiffel.research, before /eiffel.intent.
Idioma do texto original: inglês
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.
Idioma do texto original: inglês
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.
Idioma do texto original: inglês
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.
Idioma do texto original: inglês
Shows current Eiffel Spec Kit phase, evidence files, and workflow status. Use with /eiffel.status command to see where you are in the process.
Idioma do texto original: inglês
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 when user mentions "hat", "DBC", "contracts",…
Idioma do texto original: inglês
Phase 4 of Eiffel Spec Kit. Writes feature bodies while keeping contracts FROZEN. Detects unauthorized contract changes. Use with /eiffel.implement command.
Idioma do texto original: inglês
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.
Idioma do texto original: inglês
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.
Idioma do texto original: inglês
Phase 3 of Eiffel Spec Kit. Breaks reviewed contracts into implementation tasks with acceptance criteria. Use with /eiffel.tasks command.
Idioma do texto original: inglês
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.
Idioma do texto original: inglês