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
| Registry | Package | Version | Transport |
|---|---|---|---|
| npm | @toremlabs/proof-mcp | 1.0.0 | stdio |
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)
| Server | Runs |
|---|---|
| HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant. | Local · stdio |
More developer servers
| Server | Runs |
|---|---|
| PromptUIBuild a working web app from a prompt, then deploy it to a live URL. | Remote · HTTP |
| PrompyaiScores your prompts against your real codebase — context-aware prompt intelligence. | Local · stdio |
| PronounceHow engineers pronounce developer jargon — 1,903 confidence-tagged entries with citations. | Local · stdio |
| Pronto StreamReal-time planetary signal engine and Model Context Protocol (MCP) server for autonomous AI agents. | Remote · HTTP |
| Proof CLI (unofficial)Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof. | Local · stdio |
| Proof HoldingsOne API, all things verified — control, delegation, human approval, anti-impersonation. | Remote & Local · HTTP, stdio |
| ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates. | Local · stdio |
| ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots. | Remote · HTTP |