Proof MCP Server

by toremlabs Your server? Claim it

local only

Proof runs on your own machine — the client starts it, so there is no endpoint to ping. 45 installs a week from npm. Last commit 4 Sep 2026.

Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.

Installs per day peak 23 · avg 8 · +41% w/w

a month agotoday

Installs / week

npm · @toremlabs/proof-mcp

Stars

0 open issues

4 Sep 2026

Last commit

0 releases in 90 days

AGPL-3.0

License

TypeScript

What the code does

We read the source, 22 h ago · rules 3dff92dd89df

Capabilities

What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.

Runs an external command src/autoOpen.ts:60

    const child = spawn(spec.cmd, spec.args, {

Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.

This code can reach further than it looks

We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

claude mcp add proof -- npx -y @toremlabs/proof-mcp

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "proof": {
      "args": [
        "-y",
        "@toremlabs/proof-mcp"
      ],
      "command": "npx"
    }
  }
}

~/.codex/config.toml

[mcp_servers.proof]
command = "npx"
args = ["-y", "@toremlabs/proof-mcp"]

.cursor/mcp.json

{
  "mcpServers": {
    "proof": {
      "args": [
        "-y",
        "@toremlabs/proof-mcp"
      ],
      "command": "npx"
    }
  }
}

.vscode/mcp.json

{
  "mcpServers": {
    "proof": {
      "args": [
        "-y",
        "@toremlabs/proof-mcp"
      ],
      "command": "npx"
    }
  }
}

Alternatives to Proof

same job, measured the same way

CLI

by aligndottech

Cross-tool decision memory for AI coding agents: search your decision graph, check changes over MCP.

647 installs/wk local only

VERAX

by verax-ai

The body an agent asks before it acts: decide, approve, and keep a signed record on your machine.

208 installs/wk local only

PinAppAI

by pinappai

Visual website feedback your coding agent applies: pin change requests on the live site over MCP.

186 installs/wk 38 tools answering

SendFrame

by getsendframe

Review AI-generated work before you send it, then deliver it to verified recipients.

answering

tell.dev

by tell

Your coding agent tells a coworker's agent what you found or changed. Invite-only.

answering

Tidyports

by dan-fetch-studio

See and kill the dev servers your coding agents leave running, and get collision-free ports.

45 installs/wk local only

Talkthru

by edonzo

Talk while using your app — your coding agent gets each sentence aligned to the frame. Fully local.

164 installs/wk local only

Melt Peer Review

by meltstudio

Send AI-made document changes for human review, then read the decisions back.

answering

Proof — questions

Answers built from our own checks of this server.

Why is there no uptime for Proof?

Proof runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the npm package @toremlabs/proof-mcp was installed 45 times last week.

How do I connect Proof?

Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It runs locally, so the command pulls @toremlabs/proof-mcp straight from npm; nothing to host, nothing to sign up for.

How many people use Proof?

The npm package @toremlabs/proof-mcp was installed 45 times in the last week. Week over week that is +41%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.

Is Proof open source?

Yes — it is published under the AGPL-3.0 licence, written in TypeScript and 0 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.