القائمة
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
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.
| name | skill-planner |
| description | Create phased implementation plans from research findings. Invoke when a task needs an implementation plan. |
| allowed-tools | Task, Bash, Edit, Read, Write |
| context | fork |
| agent | planner-agent |
Thin wrapper that delegates plan creation to planner-agent.
Delegation skill for planning workflows.
Validate planning inputs, delegate plan creation, and update task state.
See Execution Flow for preflight/delegation/postflight steps.
Validate metadata file, plan artifact, and status updates.
<return_format>Brief text summary; metadata file in specs/{N}_{SLUG}/.return-meta.json.</return_format>
Reference (do not load eagerly):
.opencode/context/core/formats/return-metadata-file.md - Metadata file schema.opencode/context/core/patterns/postflight-control.md - Marker file protocol.opencode/context/core/patterns/file-metadata-exchange.md - Metadata file handling.opencode/context/core/patterns/jq-escaping-workarounds.md - jq workaround patterns.opencode/context/index.md - Context discovery indexplanner-agent via Task tool.