Menü
SkillsMP hat 16 Skills aus simple-eiffel/eiffel-spec-kit gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
Es werden 16 von 16 gesammelten Skills angezeigt.
Extract shared behavior into deferred class abstractions following ISE EiffelBase patterns. Each abstraction level adds contracts, not implementation. Use with /eiffel.abstract command.
Quellsprache: Englisch
Read-only design scanner. Finds abstraction, MI, and generics improvement opportunities in Eiffel libraries. Produces structured report. Use with /eiffel.design-scan command.
Quellsprache: Englisch
Convert concrete-typed Eiffel classes to use generic parameters with proper constraints following ISE EiffelBase patterns. Use with /eiffel.generify command.
Quellsprache: Englisch
Apply Eiffel multiple inheritance with role-based parents. Uses feature adaptation (rename/redefine/undefine/select) to resolve conflicts. Use with /eiffel.mi command.
Quellsprache: Englisch
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.
Quellsprache: Englisch
Pre-Phase specification design. Transforms 7-step research into Eiffel specification using OOSC2 principles. Use after /eiffel.research, before /eiffel.intent.
Quellsprache: Englisch
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.
Quellsprache: Englisch
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.
Quellsprache: Englisch
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.
Quellsprache: Englisch
Shows current Eiffel Spec Kit phase, evidence files, and workflow status. Use with /eiffel.status command to see where you are in the process.
Quellsprache: Englisch
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",…
Quellsprache: Englisch
Phase 4 of Eiffel Spec Kit. Writes feature bodies while keeping contracts FROZEN. Detects unauthorized contract changes. Use with /eiffel.implement command.
Quellsprache: Englisch
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.
Quellsprache: Englisch
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.
Quellsprache: Englisch
Phase 3 of Eiffel Spec Kit. Breaks reviewed contracts into implementation tasks with acceptance criteria. Use with /eiffel.tasks command.
Quellsprache: Englisch
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.
Quellsprache: Englisch