Add server: dos-kernel

[anthony-chaudhary]

Adds mcp-registry/servers/dos-kernel.json.

DOS Kernel is a deterministic trust kernel for AI-agent fleets, exposed over MCP (stdio): dos_verify checks an agent's "done" claim against git evidence instead of self-report, dos_arbitrate decides whether two concurrent agents may touch the same files, dos_commit_audit flags a commit whose message contradicts its own diff. MIT, Python (PyPI: dos-kernel, the [mcp] extra carries the server framework), listed on the Official MCP Registry as io.github.anthony-chaudhary/dos-kernel.

Manifest follows the existing Python-server shape (uvx installation, examples included); JSON validity checked locally.

Summary by CodeRabbit

• New Features
  • Introduced dos-kernel MCP server offering code verification, concurrency arbitration, and commit audit capabilities with example prompts for quick setup.

[qodo-code-review]

Code Review by Qodo

🐞 Bugs (0) 📘 Rule violations (0) 📎 Requirement gaps (0)

Great, no issues found!

Qodo reviewed your code and found no material issues that require review

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: 2881c052-ba6e-4714-af6a-ed1c1f35e320

📥 Commits

Reviewing files that changed from the base of the PR and between 6a92e54 and 6e4e362.

📒 Files selected for processing (1)

• mcp-registry/servers/dos-kernel.json

---

📝 Walkthrough

Walkthrough

This PR adds a new MCP server registry entry for dos-kernel, a Python-based Model Context Protocol server. The entry includes complete metadata, categorization tags, installation instructions via uvx, and example prompts demonstrating verification, concurrency arbitration, and commit audit workflows.

Changes

DOS Kernel Server Registration

Layer / File(s)	Summary
dos-kernel server registry definition mcp-registry/servers/dos-kernel.json	New JSON registry entry defining the dos-kernel MCP server with metadata (name, display name, description, links), categorization tags, Python installation configuration using uvx with the dos-kernel[mcp] extra, and three example prompts for verification, concurrency arbitration, and commit audit use cases.

Estimated code review effort

🎯 2 (Simple) | ⏱️ ~8 minutes

Suggested labels

Review effort 2/5

Suggested reviewers

• calmini

Poem

🐰 A kernel awaits in the registry's halls,
Dos-wise and ready to answer all calls,
With examples that show verification's might,
And concurrency tamed, everything's right.
Welcome, brave server, to protocol's embrace! ✨

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title 'Add server: dos-kernel' directly and clearly describes the main change—adding a new MCP server registry entry for dos-kernel to the mcp-registry/servers directory.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[Copilot]

Pull request overview

Note

Copilot was unable to run its full agentic suite in this review.

Adds a new MCP registry entry for the dos-kernel server so it can be discovered and installed via the registry.

Changes:

• Registers dos-kernel with metadata (repo, homepage, license, categories/tags).
• Adds a Python/uvx installation recipe for running the dos-mcp stdio server.
• Provides example prompts demonstrating common workflows (verify done claims, arbitrate edits, audit commits).

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[qodo-code-review]

PR Summary by Qodo

Add MCP Registry manifest for DOS Kernel (dos-kernel)
✨ Enhancement ⚙️ Configuration changes 🕐 Less than 10 minutes

Walkthroughs

Description

• Add a new MCP Registry server entry for DOS Kernel.
• Document uvx-based installation for the PyPI dos-kernel[mcp] stdio server.
• Provide example prompts for verification, arbitration, and commit auditing tools.

Diagram

graph TD
  A["MCP Client / User"] --> B["mcp-registry"] --> C["servers/dos-kernel.json"] --> D["uvx install/run"] --> E["PyPI: dos-kernel[mcp]"] --> F["dos-mcp stdio server"]

Loading

High-Level Assessment

The manifest matches the established Python-server registry pattern (uvx + PyPI extra + examples). Alternatives like adding secondary installation methods (pipx/Docker) are optional and can be introduced later without changing this entry’s core structure.

File Changes

Enhancement (1)

dos-kernel.json Add DOS Kernel server manifest to the MCP Registry +57/-0

Add DOS Kernel server manifest to the MCP Registry

• Introduces a new registry entry for DOS Kernel including metadata (repo/homepage/license), categorization/tags, a recommended uvx-based Python installation targeting 'dos-kernel[mcp]', and three example prompts for the provided tools.

mcp-registry/servers/dos-kernel.json

---