Developer · Local MCP server

Proof

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

What the MCP Registry states

The entry as published to the official MCP Registry (read 2026-10-04), latest version.

Registry name
io.github.ToremLabs/proof
Version
1.0.0
Status
Active
Category
developer
Transport
stdio (local process)
Package
npm
Published
2026-07-28
Updated
2026-07-28
Publisher
ToremLabs (GitHub) · 2 servers with pages here
Repository
github.com/ToremLabs/proof-mcp
Source
Registry API entry

Packages

RegistryPackageVersionTransportEnvironment variables
npm@toremlabs/proof-mcp1.0.0stdioNone declared

How to connect Proof

Proof runs locally from a Node.js package published to the npm registry: @toremlabs/proof-mcp version 1.0.0. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Node.js; clients usually start it with npx — the usual command is npx -y @toremlabs/proof-mcp@1.0.0.

In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):

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

Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect

More from ToremLabs (GitHub)

ServerRunsEndpoint or package
HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant.Local · stdionpm: @heuresis/mcp

More developer servers

All 6,250 →
ServerRunsEndpoint or package
PromptUIBuild a working web app from a prompt, then deploy it to a live URL.Remote · HTTPpromptui.co
PrompyaiScores your prompts against your real codebase — context-aware prompt intelligence.Local · stdionpm: prompyai-mcp
PronounceHow engineers pronounce developer jargon — 1,903 confidence-tagged entries with citations.Local · stdioPyPI: pronounce-mcp
Pronto StreamReal-time planetary signal engine and Model Context Protocol (MCP) server for autonomous AI agents.Remote · HTTPpronto.stream
Proof CLI (unofficial)Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof.Local · stdioOCI image (Docker): ghcr.io/tsarlewey/proof-cli:0.3.1
Proof HoldingsOne API, all things verified — control, delegation, human approval, anti-impersonation.Remote & Local · HTTP, stdioapi.proof.holdings
ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates.Local · stdioPyPI: proofflow-mcp
ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots.Remote · HTTPproofhand.dev