메뉴
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.
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
직접 명령은 검토 Prompt를 거치지 않습니다. 실행하기 전에 소스를 확인하세요.
npx skills add https://github.com/simple-eiffel/eiffel-spec-kit --skill eiffel-ship명령은 한 줄로 유지됩니다. 복사하기 전에 가로로 스크롤해 전체 내용을 확인하세요.
로컬 사본을 원하시나요? SkillsMP에서 현재 제공할 수 있는 파일을 다운로드하세요.
SKILL.md 표시 중
SOC 직업 분류 기준
| name | eiffel-ship |
| description | 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. |
| allowed-tools | Read, Grep, Glob, Edit, Write, Bash, Task |
Purpose: Final verification before release. Documentation, naming, ecosystem integration.
/eiffel.ship <project-path>
<project-path>/
├── .eiffel-workflow/
│ ├── prompts/
│ │ └── phase7-checklist-review.md
│ └── evidence/
│ └── phase7-ship.txt
├── README.md
├── CHANGELOG.md
├── docs/
Check all public names against Eiffel conventions:
Create <project-path>/.eiffel-workflow/prompts/phase7-checklist-review.md:
# Ship Checklist Verification
## README Claims
[PASTE README.md]
## Actual Code
[PASTE summary of src/*.e features]
## Tests
[summary of test coverage]
## Verify:
- README claims match actual functionality
- No missing documentation
- Naming conventions followed
CRITICAL: You MUST cd to the project directory before compiling. The EIFGENs folder is created in the current working directory, not where the ECF file is located. Compiling from the wrong directory pollutes other folders with build artifacts.
cd <project-path> && /d/prod/ec.sh -batch -config <project>.ecf -target <project>_tests -c_compile
./EIFGENs/<project>_tests/W_code/<project>.exe
ZERO WARNINGS POLICY: The final release MUST have zero warnings. If the compiler reports obsolete call warnings or any other warnings, FIX THEM IMMEDIATELY before shipping.
"Ship checklist complete. Ready to release?"
DO NOT mark complete until user explicitly approves.
Save to <project-path>/.eiffel-workflow/evidence/phase7-ship.txt:
# Phase 7 Ship Evidence
# Project: <project-path>
# Date: [timestamp]
Naming review: PASS/FAIL
Documentation: PASS/FAIL
Ecosystem: PASS/FAIL
Tests: PASS/FAIL
Human approved: [yes/no]
# Status: READY_TO_SHIP / NEEDS_WORK
This skill focuses ONLY on: <project-path>
DO NOT:
DO:
Example - Ecosystem Query:
Need to check ecosystem README conventions? Don't read all README files.
Instead: Task(subagent_type=Explore) → "What's the standard README structure for simple_* libraries?"
The sub-agent searches, summarizes, and returns ONLY what you need. Your context stays focused on this project.
Phase 7 COMPLETE: Ready to ship.
Project: <project-path>
All phases complete:
✓ Phase 0: Intent
✓ Phase 1: Contracts
✓ Phase 2: Review
✓ Phase 3: Tasks
✓ Phase 4: Implement
✓ Phase 5: Verify
✓ Phase 6: Harden
✓ Phase 7: Ship
Library is ready for release.
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.