MCP.so
登录

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.

基本信息

分类

AI 与智能体

许可证

MIT

运行时

python

发布者

anthony-chaudhary

配置

暂无标准配置

该服务器的 README 中没有可解析的 MCP 配置块,请前往代码仓库查看安装说明。

代码仓库

工具

未检测到工具

工具是从 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 服务器