com um clique
skill-planner
// Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
// Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
Implement LaTeX documents following a plan. Invoke for LaTeX-language implementation tasks.
Create scoped git commits for task operations. Invoke after task status changes or artifact creation.
Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
Research and develop semantic theories using ModelChecker with Z3 SMT solver. Define operators, adjust frame constraints, create examples, run tests, and report findings. Invoke with /mc or when working with model-checker, semantic theories, or Z3 constraints.
Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.
Research Python/Z3 patterns and APIs for semantic theory development. Invoke for Python-language research tasks.
| name | skill-planner |
| description | Create phased implementation plans from research findings. Invoke when a task needs an implementation plan. |
| allowed-tools | Read, Write, Edit, Glob, Grep |
| context | fork |
Create structured, phased implementation plans.
This skill activates when:
Collect all relevant information:
Determine implementation scope:
Break work into logical phases:
Identify potential issues:
1. Receive task context
2. Load research reports if available
3. Analyze codebase for integration points
4. Decompose into phases
5. Define steps for each phase
6. Identify risks and mitigations
7. Create plan document
8. Return results
Create plan at .claude/specs/{N}_{SLUG}/plans/implementation-{NNN}.md:
# Implementation Plan: Task #{N}
**Task**: {title}
**Version**: {NNN}
**Created**: {date}
**Language**: {language}
## Overview
{Summary of approach}
## Phases
### Phase 1: {Name}
**Estimated effort**: {hours}
**Status**: [NOT STARTED]
**Objectives**:
1. {Objective}
**Files to modify**:
- `path/to/file` - {changes}
**Steps**:
1. {Step with detail}
2. {Step with detail}
**Verification**:
- {How to verify completion}
---
### Phase 2: {Name}
{Same structure}
## Dependencies
- {Dependency}
## Risks and Mitigations
| Risk | Impact | Mitigation |
|------|--------|------------|
| {Risk} | {Level} | {Strategy} |
## Success Criteria
- [ ] {Criterion}
{
"status": "completed",
"summary": "Plan created with N phases",
"artifacts": [
{
"path": ".claude/specs/{N}_{SLUG}/plans/implementation-001.md",
"type": "plan",
"description": "Implementation plan"
}
],
"phases": [
{"name": "Phase 1", "effort": "2 hours"},
{"name": "Phase 2", "effort": "1 hour"}
],
"total_effort": "3 hours"
}