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.
We read the source, 3 d ago · rules 995398eba69f
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.
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.
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.
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 mcp add proof -- npx -y @toremlabs/proof-mcp
{
"mcpServers": {
"proof": {
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp"
]
}
}
}
[mcp_servers.proof]
command = "npx"
args = ["-y", "@toremlabs/proof-mcp"]
{
"mcpServers": {
"proof": {
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp"
]
}
}
}
{
"servers": {
"proof": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp"
]
}
}
}
Cross-tool decision memory for AI coding agents: search your decision graph, check changes over MCP.
The body an agent asks before it acts: decide, approve, and keep a signed record on your machine.
Verifiable decision records for AI agents: signed receipts for calls to its own governed tools.
Recover project context, review recorded decisions, and steer queued work across AI coding agents.
UX review for apps built with AI, run by your own agent. The fixes keep your design.
Reasonbook: decisions that survive the session, in a local record AI agents keep.
The CRM your AI agent works in: companies, people, deals, tasks and buying signals, signed.
Review Worqen contracts and chats, find decisions and send updates from your AI assistant.
Answers built from our own checks of this server.