DOS Kernel - trust substrate for agent fleets (stdio via PyPI)
@anthony-chaudhary
About DOS Kernel - trust substrate for agent fleets (stdio via PyPI)
Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.
Config
No standard config provided
This server doesn't expose a parseable MCP config block in its README. See the repository for install instructions.
RepositoryTools
No tools detected
We auto-extract tools from the README. The maintainer can list them under a ## Tools heading to populate this section.
Overview
What is DOS Kernel - trust substrate for agent fleets (stdio via PyPI)?
DOS Kernel is a trust substrate for agent fleets that verifies agents' claims of shipped work against real-world artifacts—starting with git history. It runs as a referee via the dos CLI, installed as a single Python package (dos-kernel). It is built for teams running AI agents on code repos who need an objective verdict on whether work actually landed.
How to use DOS Kernel - trust substrate for agent fleets (stdio via PyPI)?
Install with pip install dos-kernel, then run dos init --hooks auto to wire into your existing agent runtime (e.g., Claude Code, Cursor) or dos quickstart for a throwaway demo. Use dos verify <plan> <phase> to check a claim against git commits: SHIPPED (exit 0) or NOT_SHIPPED (exit 1). The verdict can gate further actions in CI, MCP hosts, or fleet frameworks.
Key features of DOS Kernel - trust substrate for agent fleets (stdio via PyPI)?
- Verifies agent claims against git history, never the agent's narration.
- Detects silent collisions between agents racing on the same files.
- Flags spinning runs and saves compute by quitting doomed tasks.
- Works on any plain git repo with zero configuration.
- One runtime dependency: PyYAML (MIT license).
- Integrates via MCP, runtime hooks, CI, and fleet frameworks.
Use cases of DOS Kernel - trust substrate for agent fleets (stdio via PyPI)?
- Catching agents that falsely report shipping features (e.g., "login endpoint shipped" when no commit exists).
- Preventing silent file overwrites and collisions in multi-agent fleets.
- Saving fleet compute by automatically stopping runs that produce no landable work.
- Improving acceptance precision by rejecting unbacked claims before they pollute code.
FAQ from DOS
Basic information
More AI & Agents MCP servers
Agentic Atlas
Avery JonesConsult field-tested agent-system design patterns through 8 hosted, read-only tools for orientation, deep reading, relationships, provenance, glossary terms, and publication decisions.

Competitor Tracker & Co.
Competitor Tracker & Co.Competitor Tracker & Co. watches your competitors' websites and tells you what changed. Every week it crawls their pricing, product, messaging and corporate pages, detects the changes that matter, and files a tagged, ran
PDI Bridge for Claude
jxrlabsConnect Claude Desktop to your ServiceNow PDI. Query records, inspect Business Rules, review ACLs, and troubleshoot against your live instance.
🛡️ A.I.G(AI-Infra-Guard)
TencentA full-stack AI Red Teaming platform securing AI ecosystems via OpenClaw Security Scan, Agent Scan, Skills Scan, MCP scan, AI Infra scan and LLM jailbreak evaluation.

Agentery
ntlgncFree MCP for live and historical pricing for 13,000+ agents and MCPs. Never knowingly pay too much... or charge too little. Know the going rate. https://agentery.com.
Comments