en un clic
skill-implementer
// Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
// Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
| name | skill-implementer |
| description | Execute general implementation tasks following a plan. Invoke for non-Lean implementation work. |
| allowed-tools | Read, Write, Edit, Glob, Grep, Bash |
| context | fork |
Execute implementation plans for general (non-Lean) tasks.
This skill activates when:
Load and parse the implementation plan:
For each phase:
After each step/phase:
1. Receive task context with plan path
2. Load and parse plan
3. Find resume point
4. For each remaining phase:
a. Update phase status to IN PROGRESS
b. Execute steps
c. Verify results
d. Update phase status to COMPLETED
e. Git commit
5. Create implementation summary
6. Return results
1. Determine file path
2. Write content using Write tool
3. Verify file exists and content is correct
1. Read existing file
2. Apply changes using Edit tool
3. Verify changes applied correctly
1. Execute command via Bash
2. Check exit code
3. Handle errors appropriately
Create summary at .claude/specs/{N}_{SLUG}/summaries/implementation-summary-{DATE}.md:
# Implementation Summary: Task #{N}
**Completed**: {date}
**Duration**: {time}
## Changes Made
{Overview of what was implemented}
## Files Modified
- `path/to/file` - {change description}
## Verification
- {What was verified}
- {Test results if any}
## Notes
{Any important notes or follow-ups}
{
"status": "completed|partial",
"summary": "Implementation complete/partial",
"artifacts": [
{
"path": ".claude/specs/{N}_{SLUG}/summaries/...",
"type": "summary",
"description": "Implementation summary"
}
],
"phases_completed": 3,
"phases_total": 3,
"files_modified": [
"path/to/file1",
"path/to/file2"
]
}
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.
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.
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
Research Python/Z3 patterns and APIs for semantic theory development. Invoke for Python-language research tasks.