skills.rest
simple-eiffel
simple-eiffelOFFICIAL
Explore all skills by this author →
WebsiteGitHub

eiffel-tasks

Break Eiffel contracts into implementable tasks with acceptance criteria.

Updated Jan 22, 2026
Search Tags:#acceptance criteria#contracts#breakdown#task-generation#eiffel#phase 3#build-workflow
One-click install
npx skills add https://github.com/simple-eiffel/eiffel-spec-kit --skill eiffel-tasks
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: eiffel-tasks
Source: https://github.com/simple-eiffel/eiffel-spec-kit/tree/main/eiffel-tasks
Command: npx skills add https://github.com/simple-eiffel/eiffel-spec-kit --skill eiffel-tasks

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This skill breaks Eiffel contracts into implementable tasks with clear acceptance criteria, enabling predictable Phase 4 work.

Core Features & Use Cases

  • Task generation: Transforms contracts into structured tasks with defined acceptance criteria.
  • Project scoping: Works within a project directory, reading inputs from src, .eiffel-workflow, and producing tasks and evidence.
  • Use Case: Given a library with contracts in src and a prepared .eiffel-workflow synopsis, this skill outputs a .eiffel-workflow/tasks.md file and optional review prompts for Phase 4 implementation.

Quick Start

Use the eiffel-tasks skill to generate a task plan for a project at <project-path> using /eiffel.tasks.

Frequently Asked Questions about eiffel-tasks

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I decompose Eiffel contracts into actionable implementation tasks?▼

You can break down Eiffel contracts by reading library files from the src directory and a prepared synopsis from the .eiffel-workflow directory, then generating a structured tasks.md file with defined acceptance criteria for Phase 3 implementation.

What is contract-driven task generation in Eiffel development?▼

Contract-driven task generation transforms Eiffel library contracts into structured tasks with defined acceptance criteria, enabling predictable Phase 4 implementation work.

Do I need a prepared synopsis file to generate Eiffel task breakdowns?▼

Yes, you need a prepared synopsis file located at .eiffel-workflow/synopsis.md and Eiffel source files in the src directory to successfully generate the task breakdown and evidence files.

How to generate a task plan for an Eiffel project directory?▼

To generate a task plan, point the skill at your project path using the /eiffel.tasks command, and it will read your source contracts and synopsis to produce a tasks.md file and optional review prompts.

What files are produced when breaking down Eiffel contracts into tasks?▼

Breaking down Eiffel contracts produces a .eiffel-workflow/tasks.md file containing the task breakdown, optional review prompts for Phase 4 implementation, and evidence files.

Can I use Eiffel task breakdown for Phase 4 implementation preparation?▼

Yes, the task breakdown is specifically designed to prepare for Phase 4 implementation by generating structured tasks with clear acceptance criteria from your Eiffel contracts.

Related Skills

Explore More Software Engineering Skills→
simple-eiffelsimple-eiffel

eiffel-review

Automate Phase 2 adversarial review cycles for Eiffel contracts with human approval gating.

Official
Advanced
charlesjones-devcharlesjones-dev
34

implement-phases

Parse phase plans, detect dependencies, and coordinate sub-agents for phased implementation.

Community
Advanced
simple-eiffelsimple-eiffel

eiffel-implement

Automate Eiffel feature body implementation while preserving frozen contracts.

Official
Advanced
maggitmaggit

todo

Decompose a project into sprint-ready tasks with priorities, effort estimates, and dependencies.

Community
Intermediate