DOS Kernel - trust substrate for agent fleets (stdio via PyPI)
@anthony-chaudhary
关于 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.
基本信息
配置
工具
未检测到工具
工具是从 README 中自动提取的。维护者可以在 ## Tools 标题下列出工具,即可填充这部分内容。
概览
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
AI 与智能体 分类下的更多 MCP 服务器
1Panel
1Panel-dev🔥 1Panel is a modern, open-source VPS control panel — and the only one with native AI agent support. Run Ollama models, deploy OpenClaw agents, and manage your entire server stack from one clean web interface.
🛡️ 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.
mcp-hfspace MCP Server 🤗
evalstateMCP Server to Use HuggingFace spaces, easy configuration and Claude Desktop mode.
MCP Manager for Claude Desktop
zueaisimple web ui to manage mcp (model context protocol) servers in the claude app
欢迎来到 智言平台
Shy2593666979AgentChat 是一个基于 LLM 的智能体交流平台,内置默认 Agent 并支持用户自定义 Agent。通过多轮对话和任务协作,Agent 可以理解并协助完成复杂任务。项目集成 LangChain、Function Call、MCP 协议、RAG、Memory、HITL、Skill、Milvus 和 ElasticSearch 等技术,实现高效的知识检索与工具调用,使用 FastAPI 构建高性能后端服务。
评论