mcpbeat Sign in

Proof MCP Server

local only

Proof runs on your own machine — the client starts it, so there is no endpoint to ping. 57 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 13 · avg 5 · +128% w/w
a month agotoday
57
Installs / week
npm · @toremlabs/proof-mcp
0
Stars
0 open issues
4 Sep 2026
Last commit
no releases in 90 days
AGPL-3.0
License
TypeScript

What the code does

We read the source, 3 d ago · rules 995398eba69f

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.

Three servers free · no card

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.

run in your terminal
claude mcp add proof -- npx -y @toremlabs/proof-mcp
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "proof": {
      "command": "npx",
      "args": [
        "-y",
        "@toremlabs/proof-mcp"
      ]
    }
  }
}
~/.codex/config.toml
[mcp_servers.proof]
command = "npx"
args = ["-y", "@toremlabs/proof-mcp"]
.cursor/mcp.json
{
  "mcpServers": {
    "proof": {
      "command": "npx",
      "args": [
        "-y",
        "@toremlabs/proof-mcp"
      ]
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "proof": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@toremlabs/proof-mcp"
      ]
    }
  }
}

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.

2 225 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.

653 installs/wk local only
Aga MCP Server
by attestedintelligence

Verifiable decision records for AI agents: signed receipts for calls to its own governed tools.

149 installs/wk local only
Brain Scanner
by kevin-lozada-santos

Recover project context, review recorded decisions, and steer queued work across AI coding agents.

answering
Phyll
by carlosphyll

UX review for apps built with AI, run by your own agent. The fixes keep your design.

66 installs/wk local only
Reasonbook
by aquex

Reasonbook: decisions that survive the session, in a local record AI agents keep.

1 204 installs/wk local only
Tandem CRM
by tandemcrm

The CRM your AI agent works in: companies, people, deals, tasks and buying signals, signed.

answering
Worqen Workspace
by worqen

Review Worqen contracts and chats, find decisions and send updates from your AI assistant.

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 57 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 in the form 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 57 times in the last week. Week over week that is +128%. 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.