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.
Basic information
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
More AI & Agents MCP servers
欢迎来到 智言平台
Shy2593666979AgentChat 是一个基于 LLM 的智能体交流平台,内置默认 Agent 并支持用户自定义 Agent。通过多轮对话和任务协作,Agent 可以理解并协助完成复杂任务。项目集成 LangChain、Function Call、MCP 协议、RAG、Memory、HITL、Skill、Milvus 和 ElasticSearch 等技术,实现高效的知识检索与工具调用,使用 FastAPI 构建高性能后端服务。
Web Agent Protocol
OTA-Tech-AI🌐Web Agent Protocol (WAP) - Record and replay user interactions in the browser with MCP support
🔎 GPT Researcher
assafelovicAn autonomous agent that conducts deep research on any data using any LLM providers
Mcp Agent
lastmile-aiBuild effective agents using Model Context Protocol and simple workflow patterns
Open Multi-Agent Canvas
CopilotKitThe open-source multi-agent chat interface that lets you manage multiple agents in one dynamic conversation and add MCP servers for deep research
Comments