Menu
Atomically update task status across specs/TODO.md and specs/state.json.
Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.
Baseado na classificação ocupacional 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-status-sync |
| description | Atomically update task status across specs/TODO.md and specs/state.json. |
| allowed-tools | Bash, Edit, Read |
Direct execution skill for atomic status synchronization across specs/TODO.md and specs/state.json.
OpenCode task status synchronization. Synchronize specs/TODO.md and specs/state.json statuses.Direct execution skill for status updates.
Update specs/state.json and specs/TODO.md atomically.
Use the Operation sections for status updates.
Confirm state/TODO updates and artifact links.
<return_format>Return JSON status result for sync operations.</return_format>
Reference (do not load eagerly):
.opencode/context/core/patterns/jq-escaping-workarounds.md - jq escaping patterns.opencode/context/index.md - Context discovery indexUse this skill for manual status corrections or recovery operations. Workflow skills handle preflight/postflight updates internally to avoid multi-skill halt boundaries.