一键导入
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.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Shows current Eiffel Spec Kit phase, evidence files, and workflow status. Use with /eiffel.status command to see where you are in the process.
用 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-status |
| description | Shows current Eiffel Spec Kit phase, evidence files, and workflow status. Use with /eiffel.status command to see where you are in the process. |
| allowed-tools | Read, Grep, Glob, Bash |
Purpose: Show current phase and evidence trail. Answer "where are we?"
/eiffel.status <project-path>
Example:
/eiffel.status d:\prod\simple_cache
If no path provided, ask: "Which project? Provide the full path."
test -d <project-path>/.eiffel-workflow && echo "Workflow initialized" || echo "No workflow - run /eiffel.intent first"
| Evidence File | Phase |
|---|---|
| evidence/phase0-intent.txt | Phase 0: Intent |
| evidence/phase1-compile.txt | Phase 1: Contracts |
| evidence/phase2-chain.txt | Phase 2: Review |
| evidence/phase3-tasks.txt | Phase 3: Tasks |
| evidence/phase4-compile.txt | Phase 4: Implement |
| evidence/phase5-tests.txt | Phase 5: Verify |
| evidence/phase6-tests.txt | Phase 6: Harden |
| evidence/phase7-ship.txt | Phase 7: Ship |
╔══════════════════════════════════════════════════════════════╗
║ EIFFEL SPEC KIT STATUS ║
║ Project: <project-path> ║
╠══════════════════════════════════════════════════════════════╣
║ Phase 0: Intent [✓] intent-v2.md approved ║
║ Phase 1: Contracts [✓] Compiled ║
║ Phase 2: Review [✓] Synopsis approved ║
║ Phase 3: Tasks [✓] 5 tasks defined ║
║ Phase 4: Implement [→] IN PROGRESS ║
║ Phase 5: Verify [ ] Pending ║
║ Phase 6: Harden [ ] Pending ║
║ Phase 7: Ship [ ] Pending ║
╠══════════════════════════════════════════════════════════════╣
║ Current: Phase 4 - Implementation ║
║ Next: Complete implementation, then /eiffel.verify ║
╚══════════════════════════════════════════════════════════════╝
Check for signs of drift:
DRIFT WARNINGS:
- [!] Contracts changed since review (re-run /eiffel.review)
- [!] phase4-compile.txt missing (compile not verified)
- [!] Skill files modified since workflow start (queue changes for after ship)
Why: Modifying skills mid-workflow causes drift. Discovered improvements should be queued for after ship.
Check skill modification times vs workflow start:
# Get workflow start time (phase0 evidence)
WORKFLOW_START=$(stat -c %Y <project-path>/.eiffel-workflow/evidence/phase0-intent.txt 2>/dev/null)
# Check if any eiffel-* skills were modified after workflow started
find ~/.claude/skills/eiffel-* -name "SKILL.md" -newer <project-path>/.eiffel-workflow/evidence/phase0-intent.txt
If skills were modified during workflow:
SKILL DRIFT WARNING:
- Skills modified during workflow execution
- Changes made: [list files]
- Recommendation: Complete current workflow, then formalize skill improvements
Best Practice: Create <project-path>/.eiffel-workflow/skill-improvements.md to queue discovered improvements:
# Skill Improvements Discovered During This Workflow
## To Apply After Ship
1. [Improvement description]
2. [Improvement description]
## Applied During Workflow (drift)
1. [What was changed and why]
Based on current state, suggest the next command:
Suggested next command:
/eiffel.implement <project-path> (continue implementation)
Or if implementation done:
/eiffel.verify <project-path> (run tests)
This skill focuses ONLY on: <project-path>
DO NOT:
DO:
.eiffel-workflow/ directory and evidence filesExample - Ecosystem Query:
Need to check if dependencies have workflow issues? Don't read all projects.
Instead: Task(subagent_type=Explore) → "Does simple_mml have a .eiffel-workflow directory?"
The sub-agent searches and returns ONLY what you need. Your context stays focused on this project.
Always show: