Skip to content

Add DOS Kernel to Observation#455

Open
anthony-chaudhary wants to merge 1 commit into
InftyAI:mainfrom
anthony-chaudhary:add-dos-kernel
Open

Add DOS Kernel to Observation#455
anthony-chaudhary wants to merge 1 commit into
InftyAI:mainfrom
anthony-chaudhary:add-dos-kernel

Conversation

@anthony-chaudhary

Copy link
Copy Markdown

Adds DOS Kernel — https://github.com/anthony-chaudhary/dos-kernel — to Runtime › Observation (alphabetical slot, three-badge format).

DOS is a deterministic trust kernel for AI coding agents and agent fleets. It computes verdicts from evidence the agent didn't author: dos verify checks that a claimed unit of work actually landed (git ancestry, not self-report), dos arbitrate decides whether two concurrent agents may touch the same files, and dos commit-audit flags a commit whose message claims work its own diff doesn't contain. MIT-licensed, Python (PyPI: dos-kernel), ships an MCP server (dos-mcp) and hooks for Claude Code, Cursor, Codex, Gemini CLI, Antigravity, and Claude Cowork.

Placement follows the list's contribution guidelines; link verified.

@InftyAI-Agent InftyAI-Agent added needs-triage Indicates an issue or PR lacks a label and requires one. needs-priority Indicates a PR lacks a label and requires one. do-not-merge/needs-kind Indicates a PR lacks a label and requires one. labels Jun 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

do-not-merge/needs-kind Indicates a PR lacks a label and requires one. needs-priority Indicates a PR lacks a label and requires one. needs-triage Indicates an issue or PR lacks a label and requires one.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants