anthony-chaudhary/dos-kernel

Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.

19Stars on the repository
37Mods indexed here, across every type
9d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

SessionStart

01

anthony-chaudhary/dos-kernel

Hook Claude Code

Runs when a session starts, running an inline shell check. From anthony-chaudhary/dos-kernel.

19 9d ago A tokens not measured original MIT

Stop

02

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.

19 9d ago A tokens not measured original MIT

StopFailure

03

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.

19 9d ago A tokens not measured original MIT

dos-kernel

04

anthony-chaudhary/dos-kernel

Settings file Claude Code

Agent settings declaring 3 hook events (SessionStart, Stop, StopFailure) and 2 allowed tools.

19 9d ago A tokens not measured original MIT

issue-verify

05

anthony-chaudhary/dos-kernel

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.

19 9d ago A 69 tokens original MIT

issue-work

06

anthony-chaudhary/dos-kernel

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…

19 9d ago A 75 tokens original MIT

release

07

anthony-chaudhary/dos-kernel

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.

19 9d ago A 59 tokens original MIT

stable-release

08

anthony-chaudhary/dos-kernel

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…

19 9d ago A 81 tokens original MIT

anthony-chaudhary/dos-kernel

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.

19 9d ago A 4,444 tokens original MIT

anthony-chaudhary/dos-kernel

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.

19 9d ago A 3,756 tokens original MIT

anthony-chaudhary/dos-kernel

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.

19 9d ago A 606 tokens original MIT

dos-kernel

12

anthony-chaudhary/dos-kernel

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.

19 9d ago A tokens not measured original MIT

dos

13

anthony-chaudhary/dos-kernel

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.

19 9d ago A tokens not measured original MIT

PreToolUse

14

anthony-chaudhary/dos-kernel

Hook

Runs before the agent uses a tool, running an inline shell check. From anthony-chaudhary/dos-kernel.

19 9d ago A tokens not measured original MIT

SubagentStop

15

anthony-chaudhary/dos-kernel

Hook

Runs when a subagent finishes, running an inline shell check. From anthony-chaudhary/dos-kernel.

19 9d ago A tokens not measured original MIT

UserPromptSubmit

16

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.

19 9d ago A tokens not measured original MIT

dos-class-cycle

17

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.

19 9d ago A 52 tokens original MIT

dos-dispatch-loop

18

anthony-chaudhary/dos-kernel

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.

19 9d ago A 49 tokens original MIT

dos-dispatch

19

anthony-chaudhary/dos-kernel

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.

19 9d ago A 56 tokens original MIT

dos-enforce-tune

20

anthony-chaudhary/dos-kernel

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.

19 9d ago A 62 tokens original MIT

dos-goal-fleet

21

anthony-chaudhary/dos-kernel

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.

19 9d ago A 51 tokens original MIT

dos-goal-gate

22

anthony-chaudhary/dos-kernel

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.

19 9d ago A 54 tokens original MIT

dos-next-up

23

anthony-chaudhary/dos-kernel

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.

19 9d ago A 53 tokens original MIT

dos-plan-price

24

anthony-chaudhary/dos-kernel

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.

19 9d ago A 53 tokens original MIT

At most 3 mods per repository are shown here — the rest are on their repository pages: