메뉴
Interactive system builder. Invoke for /meta command to create tasks for .opencode system changes.
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-meta |
| description | Interactive system builder. Invoke for /meta command to create tasks for .opencode system changes. |
| allowed-tools | Task, Bash, Edit, Read, Write |
| context | fork |
| agent | meta-builder-agent |
Thin wrapper that delegates system building to meta-builder-agent.
Delegation skill for meta workflows.
Determine mode, delegate to meta-builder agent, and coordinate postflight.
See Execution Flow for delegation and postflight steps.
Validate metadata file and created tasks.
<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 handling.opencode/context/index.md - Context discovery indexmeta-builder-agent via Task tool.