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 とエージェント」の他のコンテンツ
21st.dev Magic AI Agent
21st-devIt's like v0 but in your Cursor/WindSurf/Cline. 21st dev Magic MCP server for working with your frontend like Magic
Solon Ai
opensolonJava AI application development framework (supports LLM-tool,skill; RAG; MCP; Agent-ReAct,Team-Agent). Compatible with java8 ~ java25. It can also be embedded in SpringBoot, jFinal, Vert.x, Quarkus, and other frameworks.
Gemini MCP Server
aliargunMCP server implementation for Google's Gemini API
Sequential Thinking Multi-Agent System (MAS)
FradSerAn advanced sequential thinking process using a Multi-Agent System (MAS) built with the Agno framework and served via MCP.
mcp-hfspace MCP Server 🤗
evalstateMCP Server to Use HuggingFace spaces, easy configuration and Claude Desktop mode.
コメント