القائمة
Route commands to appropriate workflows based on task language and status.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
Research skill for formal methods and logic verification
Implementation skill for Lean 4 proofs and definitions
Research skill for Lean 4 theorem prover and Mathlib
Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.
Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.
Implement Nix configuration changes from plans. Invoke for nix implementation tasks.
استنادا إلى تصنيف SOC المهني
| name | skill-orchestrator |
| description | Route commands to appropriate workflows based on task language and status. |
| allowed-tools | Read, Glob, Grep, Task |
Central routing for task workflows. Delegates to research, plan, implement, and meta skills based on task language.
OpenCode routing and task orchestration. Route tasks to appropriate skills based on language and status.Routing skill for command workflows.
Validate task context and route to the correct skill.
Follow Execution Flow steps for routing.
Validate task status and language routing decisions.
<return_format>Return structured routing result.</return_format>
Load context on-demand when needed:
@.opencode/context/core/orchestration/orchestration-core.md - Routing, delegation, session tracking@.opencode/context/core/orchestration/state-management.md - Task lookup and status validation@.opencode/context/index.md - Context discovery indexspecs/state.json.