DOS Kernel
Verify what agents actually shipped, arbitrate file collisions, refuse with structured reasons.
DOS Kernel exposes DOS's verification syscalls as MCP tools. Agents call the referee to verify their own work through three tools: dos_verify checks whether a claimed change is present in the actual codebase, dos_arbitrate resolves disputes between agent assertions and ground truth, and dos_commit_audit reads git history to confirm delivery. Returns deterministic verdicts based on file trees and commit records, not agent narration.
Source
Repository: https://github.com/anthony-chaudhary/dos-kernel
Maintain DOS Kernel?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[](https://getagentictools.com/mcp/anthony-chaudhary-dos-kernel?ref=badge) Related mcp
Apideck Unified API MCP — 229 tools across 200+ SaaS connectors for accounting, HRIS, CRM, and file storage.
Gong.io Integrates with Gong conversation intelligence platform to query call recordings, retrieve transcripts with speaker attribution, a
Google Sheets Integrates with Google Sheets API to provide spreadsheet automation through 25 specialized tools for sheet management, table opera
Gmail Integrates Gmail functionality, enabling email search, message retrieval, and attachment downloads via Google Apps Script.
SmartLead Integrates with SmartLead's cold email outreach platform to manage campaigns, leads, email accounts, and analytics with smart tool
Centauri Elegoo Centauri Carbon 3D printer control via reverse-engineered SDCP v3 WebSocket protocol.