Dock

Local inbox and claim evidence for coding agents. Developers still merge. Dock checks whether the agent told the truth.

It is not a model. It does not review architecture. It does not run your tests. It scores PR prose against git/GitHub facts (changed paths + patch) with fail-closed checkers. Unknown is the point: a human still looks.

Works on any git repo. Cursor, Claude Code, Copilot, Codex, and the rest are all just git + GitHub.

The product and CLI are Dock. The install name is dock-inbox (dock on PyPI is a chemistry toolkit).

pip install dock-inbox
dock inbox --path /path/to/any/repo
dock merge --pr 12          # preview + GitHub merge button — does not merge

Until the first PyPI release, this also works:

pip install "git+https://github.com/mobigaurav/dock.git"

Copy examples/github-inbox.yml to .github/workflows/dock.yml so every PR gets a pass/fail/unknown comment.

• Product: docs/PRODUCT.md
• Mechanism: docs/SYSTEM_DESIGN.md
• Release / PyPI: docs/RELEASE.md
• License: MIT

Python 3.11+, git, and GitHub CLI (gh) for pull requests.

make test
dock inbox --path .

What a “pass” means

Pass is not an approve. Dock will not merge until a person clicks Merge on GitHub.

Install in Cursor

pip install dock-inbox
ln -s /path/to/dock/.cursor/skills/dock ~/.cursor/skills/dock

Say what needs me or dock inbox.

Claude Desktop / Claude Code

{
  "mcpServers": {
    "dock": {
      "command": "dock",
      "args": ["mcp"]
    }
  }
}

MCP tools: dock_inbox, dock_merge_preview. There is no merge tool.

Merge

dock merge --pr N never merges. It prints claim cards and the GitHub Merge URL.

dock merge --pr N --execute only works in an interactive terminal after you type MERGE #N.

Optional shortcuts

Copy dogfood.example.json to dogfood.local.json (gitignored) if you want --target aliases. Otherwise use --path.