SessionStart
01Hook Claude Code
Runs when a session starts, running an inline shell check. From anthony-chaudhary/dos-kernel.
Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.
Hook Claude Code
Runs when a session starts, running an inline shell check. From anthony-chaudhary/dos-kernel.
Hook Claude Code
Runs when the agent finishes a response, running an inline shell check (3 commands). From anthony-chaudhary/dos-kernel.
Hook Claude Code
Runs on the StopFailure event for overloaded, server_error and rate_limit tool calls, executing rate_limit_rewake.py via python with --workspace. From anthony-chaudhary/dos-kernel.
Settings file Claude Code
Agent settings declaring 3 hook events (SessionStart, Stop, StopFailure) and 2 allowed tools.
Skill Claude CodeCodex
Adjudicate a GitHub issue's "this is resolved" claim from witnesses the claimant didn't author — then close it carrying the evidence, or refuse with the typed gap. Use when an issue looks already-solved, after landing a fix that should have closed one, or to sweep open issues for silently-resolved ones.
Skill Claude CodeCodex
Pick the next most important open GitHub issue this agent can actually complete, make its done-condition true, land it with witnesses (suite + parity + commit-audit), and priority-tag every issue touched along the way. Use when asked to "work the backlog", "complete the next most important issue", or to fix a specific…
Skill Claude CodeCodex
Cut a versioned release of the DOS kernel — bump the version, draft release notes, commit, tag, push to master, and create a GitHub release. The tag push triggers the gated PyPI publish pipeline (publish.yml); the skill surfaces the run and its approval gate.
Skill Claude CodeCodex
Promote an already-shipped rolling release (vX.Y.Z) of the DOS kernel to a named stable channel — gated on a green kernel suite + a green third-party CI run on the candidate + a clean truth syscall + a soak window. Writes an evidence file and adds a stable/ git tag on the same commit. Does NOT bump versions or build…
Instructions file CodexOpenCode
Instructions for anthony-chaudhary/dos-kernel, covering what dos is (the 30-second version), run it yourself first — the 60-second proof, when the user asks you about dos (the consumer moves), build, test, and check your work and the layout in one screen.
Instructions file
Instructions for anthony-chaudhary/dos-kernel, covering dos — the dispatch operating system, the layering — keep these apart, the syscall abi, install & test and dos on dos — dogfood the kernel here.
Instructions file Gemini CLI
Instructions for anthony-chaudhary/dos-kernel, covering dos — the part that doesn't believe the agents, the rule, why this matters and setup.
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.
At most 3 mods per repository are shown here — the rest are on their repository pages: