القائمة
Atomically update task status across specs/TODO.md and specs/state.json.
التثبيت باستخدام 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-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.