Models and clients

This page is the status of what connects to what, written down so you do not have to find out after paying. ProofGit is the product this site sells. ProofMEM is a separate product, with its own sign-up at proofmem.com ↗ and its own subscription. Caveau Harness is the workflow that brings the two into one task; it is set up with our team in a guided session.

Each status is written as a word, not shown by colour alone: Available now means you can use it today, Pilot means a private pilot that is not yet open to everyone, Coming soon means planned and not yet usable, and Not offered means not offered or not tested yet.

The status of each

What works with ProofGit, ProofMEM and Caveau Harness today
Client or sourceProofGitProofMEMCaveau Harness
Coding agents, over MCP
Claude Code (terminal or VS Code)Available nowAvailable nowAvailable now
CodexAvailable nowAvailable nowAvailable now
CursorAvailable nowNot offeredNot offered
Google AntigravityNot offeredPilotPilot
Model providers (ProofGit runs on your own key)
OpenRouter (Gemini models included)Available nowNot offered routing saved for Caveau HarnessAvailable now OpenRouter route
FireworksAvailable nowNot offeredNot offered
AnthropicAvailable nowNot offeredNot offered
Azure OpenAIAvailable nowNot offeredNot offered
Any OpenAI-compatible endpointAvailable nowNot offeredNot offered
LiteLLMAvailable nowNot offeredNot offered
A Google key used directlyNot offeredNot offeredNot offered
Your Claude or ChatGPT subscriptionNot offeredNot offeredAvailable now Claude and Codex routes
How you connect
Token or API key over MCPAvailable now ProofGit tokenAvailable now ProofMEM API keyNot offered
OAuth sign-in for MCP clientsNot offeredComing soonNot offered
Guided setup session with our teamNot offeredNot offeredAvailable now

What the badges mean

  • ProofGit runs on your own model key. It writes summaries (and bake-off and cleanup analyses) with the provider you choose under Settings → Connections & BYOK, and serves the evidence to the agents your team already runs. Your provider bills that model use directly; ProofGit does not bill tokens. See BYOK connections and security.
  • Gemini models are available through your OpenRouter key. There is no Google connection type; Gemini models are reached through OpenRouter.
  • ProofGit works with Claude Code, Codex and Cursor over MCP with a ProofGit token. Set up your agent has the snippets for each.
  • ProofGit does not support Google Antigravity yet. It has not been tested with ProofGit.
  • Google Antigravity support for ProofMEM is in private pilot. It is not yet open to everyone, and OAuth sign-in for MCP clients is planned to arrive with it.
  • ProofMEM does not use Fireworks or Google as model sources. It stores per-phase routing for Caveau Harness; it does not run or pay for model calls itself.
  • Caveau Harness routes plan, write and test to Claude, Codex or OpenRouter, on your own Claude or ChatGPT subscription or your OpenRouter key, using the routing ProofMEM saves. It works with Claude Code and Codex, and it is set up with our team in a guided session.

The same map as a diagram

Models and clients for ProofGit, ProofMEM and Caveau HarnessClaude Code, Codex and Cursor connect to ProofGit over MCP with a bearer token. Claude Code and Codex connect to ProofMEM over MCP with an API key. Google Antigravity is a private pilot for ProofMEM, and OAuth sign-in for MCP clients is coming soon. ProofGit calls the model provider you choose with your own key, which can be OpenRouter (Gemini models included), Fireworks, Anthropic, Azure OpenAI, LiteLLM or any OpenAI-compatible endpoint. ProofMEM stores the per-phase routing that Caveau Harness reads, and the harness routes plan, write and test to Claude, Codex or OpenRouter.Coding agents, over MCPpilotBYOKsaved routingClaude CodeCodexCursorGoogle AntigravitypilotProofGitProofMEMOAuth sign-incoming soonYour model keyOpenRouter (incl. Gemini)Fireworks, AnthropicAzure OpenAI, LiteLLMOpenAI-compatibleCaveau Harnessplan, write, testRoutesClaude, Codex,OpenRouter

Scroll sideways to see the whole diagram, or open it full size.

Download SVG Open full size
Text description

Claude Code, Codex and Cursor connect to ProofGit over MCP with a ProofGit token. Claude Code and Codex connect to ProofMEM over MCP with an API key. Google Antigravity is a private pilot for ProofMEM, and OAuth sign-in for MCP clients is coming soon. ProofGit calls the model provider you choose with your own key: OpenRouter (Gemini models included), Fireworks, Anthropic, Azure OpenAI, LiteLLM or any OpenAI-compatible endpoint. ProofMEM stores the per-phase routing that Caveau Harness reads, and the harness routes plan, write and test to Claude, Codex or OpenRouter. Cursor has not been tested with ProofMEM, and Antigravity has not been tested with ProofGit.

What connects to what today. Dashed outlines mark pilot and coming-soon items.

When a status changes, this page changes with it, in the same release. If something here is out of date, mail hello@proofgit.com.

Something here wrong or missing? Mail hello@proofgit.com — these pages are the single public source of truth for ProofGit and we would rather fix them than leave you guessing.