一键导入
eiffel-tasks
Phase 3 of Eiffel Spec Kit. Breaks reviewed contracts into implementation tasks with acceptance criteria. Use with /eiffel.tasks command.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Phase 3 of Eiffel Spec Kit. Breaks reviewed contracts into implementation tasks with acceptance criteria. Use with /eiffel.tasks command.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Extract shared behavior into deferred class abstractions following ISE EiffelBase patterns. Each abstraction level adds contracts, not implementation. Use with /eiffel.abstract command.
Read-only design scanner. Finds abstraction, MI, and generics improvement opportunities in Eiffel libraries. Produces structured report. Use with /eiffel.design-scan command.
Convert concrete-typed Eiffel classes to use generic parameters with proper constraints following ISE EiffelBase patterns. Use with /eiffel.generify command.
Apply Eiffel multiple inheritance with role-based parents. Uses feature adaptation (rename/redefine/undefine/select) to resolve conflicts. Use with /eiffel.mi 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.
Pre-Phase specification design. Transforms 7-step research into Eiffel specification using OOSC2 principles. Use after /eiffel.research, before /eiffel.intent.
| name | eiffel-tasks |
| description | Phase 3 of Eiffel Spec Kit. Breaks reviewed contracts into implementation tasks with acceptance criteria. Use with /eiffel.tasks command. |
| allowed-tools | Read, Grep, Glob, Edit, Write, Bash, Task |
Purpose: Break contracts into implementable chunks with clear acceptance criteria.
/eiffel.tasks <project-path>
Example:
/eiffel.tasks d:\prod\simple_cache
All files are created inside the PROJECT directory:
<project-path>/
├── .eiffel-workflow/
│ ├── tasks.md (implementation tasks)
│ ├── prompts/
│ │ └── phase3-task-review.md (optional AI review)
│ └── evidence/
│ └── phase3-tasks.txt
<project-path>/.eiffel-workflow/synopsis.md exists and approvedRead:
<project-path>/src/*.e (contracts)<project-path>/.eiffel-workflow/approach.md (implementation strategy)<project-path>/.eiffel-workflow/synopsis.md (resolved issues)Create <project-path>/.eiffel-workflow/tasks.md:
# Implementation Tasks: [Library Name]
## Task 1: [Feature/Component Name]
**Files:** src/[file].e
**Features:** [feature_name], [feature_name]
### Acceptance Criteria
- [ ] Preconditions satisfied
- [ ] Postconditions verified by contracts
- [ ] Compiles clean
- [ ] Skeletal tests pass
### Implementation Notes
[From approach.md - relevant algorithm details]
### Dependencies
[Other tasks that must complete first]
---
## Task 2: [Next Feature]
...
Create <project-path>/.eiffel-workflow/prompts/phase3-task-review.md:
# Task Completeness Review
Review the task breakdown for completeness.
## Check For:
- Features in contracts not covered by tasks
- Missing dependencies between tasks
- Tasks too large (should be split)
- Tasks too small (should be combined)
## Tasks
[PASTE tasks.md]
## Contracts
[PASTE src/*.e]
## Output
List any gaps or issues found.
Present task list and ask:
"[N] tasks identified. Review the task breakdown. Approve to proceed to Phase 4 (Implementation)?"
DO NOT PROCEED until user explicitly approves.
Save to <project-path>/.eiffel-workflow/evidence/phase3-tasks.txt:
# Phase 3 Task Evidence
# Project: <project-path>
# Date: [timestamp]
Tasks created: [count]
Dependencies identified: [count]
Human approved: [yes/no]
# Status: APPROVED
This skill focuses ONLY on: <project-path>
DO NOT:
DO:
Example - Ecosystem Query:
Task depends on simple_mml patterns? Don't read all its files.
Instead: Task(subagent_type=Explore) → "How does simple_mml handle set operations?"
The sub-agent searches, summarizes, and returns ONLY what you need. Your context stays focused on this project.
Phase 3 COMPLETE: Tasks defined.
Project: <project-path>
Task file: .eiffel-workflow/tasks.md
Task count: [N]
Next: Run /eiffel.implement <project-path> to write feature bodies.