Plugin Claude Code
The kernel is the part that doesn't believe the agents. Bundles the DOS hooks (verify-on-stop, deny-a-refused-call, re-surface-a-stalled-stream), the DOS MCP server (verify / arbitrate / refuse-with-a-reason as tools), and the generic skill pack — one install. Requires the dos-kernel Python package: pip install 'dos.
MCP server Claude CodeCodexCursor +2
MCP server "dos" as configured in anthony-chaudhary/dos-kernel. Launched with dos-mcp. Needs 1 environment variable to run.
Hook
Runs before the agent uses a tool, running an inline shell check. From anthony-chaudhary/dos-kernel.
Hook
Runs when a subagent finishes, running an inline shell check. From anthony-chaudhary/dos-kernel.
Hook
Runs when you submit a prompt, before the agent sees it, running an inline shell check. From anthony-chaudhary/dos-kernel.
Skill Claude CodeCodex
Run one DOS plan-class lifecycle tick from the workspace [lifecycle] table: evaluate declared transitions, have a judge approve/defer them, write gated plan-meta edits, and log the cycle. Use when gardening plan lifecycle classes automatically.
Skill Claude CodeCodex
Run recurring dos-dispatch cycles, switching to dos-replan when the backlog drains and stopping on the kernel's loop verdict. Use for unattended dispatch->replan->dispatch work across disjoint lanes.
Skill Claude CodeCodex
Plan and ship the next batch on one lane: run dos-next-up, acquire a lease with dos arbitrate, gate empty work, dispatch the packet, and archive the run. Use when a single lane should move end to end with collision safety.
Skill Claude CodeCodex
Tune DOS enforcement policy knobs ([interventionpolicy], [intervention], [improve]) from false-deny versus held-catch evidence. Use when running dos enforce-tune to keep only measured nettaskdelta gains and escalate repeated non-keeps.
Skill Claude CodeCodex
Launch multiple goal-scoped workers in waves, each with a witness-gated stop condition and dos arbitrate file-tree safety. Use when an operator asks to run several independent goals in parallel and fold only verified ships.
Skill Claude CodeCodex
Ground a keep-working goal in evidence the worker did not author by wiring dos hook stop to refuse false done claims. Use for one self-stopping agent or loop worker; use dos-witness-claim for fold barriers.
Skill Claude CodeCodex
Snapshot the repo's phased-plan portfolio into a dispatch packet: audit candidates with dos verify, render who-does-what, and emit a dos gate verdict. Use when you need the current next-work view before dispatching agents.
Skill Claude CodeCodex
Price a proposed multi-agent fan-out before launch by computing tree collisions, safe concurrency, and a cheaper disjoint partition. Use before dos-goal-fleet, a dos-next-up dispatch packet, or any N-agent tree split.
Skill Claude CodeCodex
Surface units held out of the pickable set with their typed HoldReason and derived unblock action, auto-applying only safe reclassifies. Use when work is stuck unpickable and a human needs the exact unblock move.
Skill Claude CodeCodex
Run bounded, recurring dos-replan sweeps, optionally guarded by the workspace's release policy. Use when the planning queue needs unattended refresh for a fixed cadence rather than one manual sweep.
Skill Claude CodeCodex
Refresh a plan portfolio from evidence: close shipped queue items, update cooldown state, and surface the few decisions an operator must make. Use after dispatch bursts, drained backlogs, or recurring findings.
Skill Claude CodeCodex
Run the DOS self-improvement loop: propose a candidate, verify it in an isolated worktree, measure suite/truth/metric gates, and keep only confirmed gains. Use for recursive improvement; use dos-enforce-tune for policy knobs.
Skill Claude CodeCodex
Confirm the DOS plugin is wired: check the dos-kernel[mcp] package import, run dos doctor, show the bundled hooks/MCP/skills, and point to the next skill. Use after install or when plugin MCP/hooks fail.
Skill Claude CodeCodex
Convert an agent skill into a DOS-grounded variant by replacing self-certified claims with dos witness checks and emitting an additive copy plus report. Use when asked to make a skill DOS-aware or audit its self-checks.
Skill Claude CodeCodex
Fold the plugin hook observation log into counts, reason classes, stop-blocks, wait-marker budget, and latency. Use to confirm the bundled native hook path is active or to inspect DOS hook activity; read-only.
Skill Claude CodeCodex
Keep a target count of dispatch loops alive across the workspace lane roster: spawn missing loops, scavenge stalled leases, and surface spinning workers. Use when supervising a DOS dispatch-loop fleet.
Skill Claude CodeCodex
Analyze BLOCKED/DRAIN run history, cluster recurring causes, and propose one structural fix per wedge via dos decisions. Use when a fleet keeps stalling and you want a systemic unblock rather than another manual nudge.
Skill Claude CodeCodex
Route subagent claims through independent read-back before another agent relies on them. Use at parallel, pipeline, or synthesis barriers where shipped phases, files, rows, messages, or other effects must be witnessed.
Skill Claude CodeCodex
Before accepting an agent's 'done / shipped / fixed' claim, verify it against ground truth (git ancestry + the commit's own diff) using the DOS kernel's dos verify and dos commit-audit — never the agent's own narration.