メニュー
Scan files for FIX:/NOTE:/TODO: tags and create tasks.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
| name | skill-learn |
| description | Scan files for FIX:/NOTE:/TODO: tags and create tasks. |
Direct execution skill for scanning tags and creating tasks.
OpenCode tag scanning and task creation. Scan codebase tags and create tasks based on selections.Direct execution skill for tag discovery.
Scan FIX/NOTE/TODO tags and create tasks.
Follow the Interactive Flow steps for scanning and task creation.
Validate tag parsing and task creation outputs.
<return_format>Return summary of created tasks.</return_format>
Reference (do not load eagerly):
@specs/TODO.md - Current task list@specs/state.json - Machine stateResearch 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.