Verify what agents actually shipped, arbitrate file collisions, refuse with structured reasons.
Most developer tooling work still happens through a UI a human drives. DOS — The Trust Substrate For Agent Fleets MCP server moves it into the conversation instead. Verify what agents actually shipped, arbitrate file collisions, refuse with structured reasons.
The whole pitch in one recording: the agent claims two features shipped; git backs one. dos verify answers from the commits, the lie exits 1, and a gate on that exit code refuses the false "done". Every line is the real CLI's verbatim output — scripts/build_caught_lie_cast.py re-records it whenever the output changes.
The server publishes 1 tool. What each one is for:
Surface — Adopt it when…Installation goes through your MCP client rather than a global install: point it at dos-kernel on PyPI and it is fetched when the client starts. The copy-paste blocks for Claude Desktop, Claude Code and Cursor are further down this page.
Among the developer tooling options, the useful question is rarely "what can it do" but "what does it cost you to run" — permissions, credentials, and how much of your context its toolset consumes. DOS — The Trust Substrate For Agent Fleets's toolset — Surface — is a fair guide to whether it matches your workflow. It is maintained by anthony-chaudhary; worth a glance at recent repository activity before you build anything load-bearing on it.
This entry was verified against DOS — The Trust Substrate For Agent Fleets's own documentation before publication; SyncDev keeps the directory reviewed rather than auto-generated.
| Tool | What it does |
|---|---|
| Surface | Adopt it when… |
{
"mcpServers": {
"dos-kernel": {
"command": "uvx",
"args": ["dos-kernel"]
}
}
}Add to claude_desktop_config.json, then restart Claude Desktop.
Kill hallucinated APIs — version-accurate, up-to-date library documentation injected straight into context.
Microsoft's official browser automation server — drive a real browser through the accessibility tree, no screenshots needed.
GitHub's official server — repos, issues, pull requests, Actions and code security, straight from your assistant.
Issue tracking at the speed of conversation — Linear's official hosted server with OAuth and zero install.
Local repository surgery — status, diffs, commits, branches and history for any repo on disk.
Timezone sanity for AI — current time anywhere and correct conversions, without the model doing date math.