القائمة
Manage orphaned processes and project file cleanup.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
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.
استنادا إلى تصنيف SOC المهني
| name | skill-refresh |
| description | Manage orphaned processes and project file cleanup. |
| allowed-tools | Bash, Edit, Read |
Direct execution skill for cleanup and session maintenance.
OpenCode cleanup and session maintenance. Clean orphaned processes and temporary directories.Direct execution skill for cleanup workflows.
Execute refresh and cleanup operations.
Follow the Execution steps for cleanup operations.
Confirm cleanup results and safety checks.
<return_format>Return summary of cleanup actions.</return_format>
Reference (do not load eagerly):
.opencode/context/core/patterns/postflight-control.md - Marker file protocol.opencode/context/index.md - Context discovery index