// Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.
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.
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.
| name | skill-orchestrator |
| description | Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands. |
| allowed-tools | Read, Glob, Grep, Task |
| context | fork |
Central routing intelligence for the task management system.
This skill activates when:
Given a task number, retrieve full context:
1. Read .claude/specs/state.json
2. Find task by project_number
3. Extract: language, status, project_name, description, priority
4. Read TODO.md for additional context if needed
Route to appropriate skill based on task language:
| Language | Research Skill | Implementation Skill |
|---|---|---|
| python | skill-python-research | skill-theory-implementation |
| general | skill-researcher | skill-implementer |
| meta | skill-researcher | skill-implementer |
| markdown | skill-researcher | skill-implementer |
Before routing, validate task status allows the operation:
| Operation | Allowed Statuses |
|---|---|
| research | not_started, planned, partial, blocked |
| plan | not_started, researched, partial |
| implement | planned, implementing, partial, researched |
| revise | planned, implementing, partial, blocked |
Prepare context package for delegated skill:
{
"task_number": 259,
"task_name": "task_slug",
"language": "python",
"status": "planned",
"description": "Full task description",
"artifacts": {
"research": ["path/to/research.md"],
"plan": "path/to/plan.md"
},
"focus_prompt": "Optional user-provided focus"
}
1. Receive command context (task number, operation type)
2. Lookup task in state.json
3. Validate status for operation
4. Determine target skill by language
5. Prepare context package
6. Invoke target skill via Task tool
7. Receive and validate result
8. Return result to caller
Research: skill-python-research
Implementation: skill-theory-implementation
Research: skill-researcher
Implementation: skill-implementer
{
"status": "completed|partial|failed",
"routed_to": "skill-name",
"task_number": 259,
"result": {
"artifacts": [],
"summary": "..."
}
}