LocalFree

Proof MCP server

ToremLabs/proof-mcp

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

0 GitHub stars
Source code

Install Proof in Claude Code

Claude Code
claude mcp add proof -- npx -y @toremlabs/proof-mcp
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "proof": {
      "command": "npx",
      "args": [
        "-y",
        "@toremlabs/proof-mcp"
      ]
    }
  }
}

Frequently asked questions

What does the Proof MCP server do?

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

Is the Proof MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does Proof run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add Proof to Claude Code?

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

More ai agents & coding agents MCP servers

View all

Psyche AI

301

Shangri-la-0428/psyche-ai

Emotional intelligence for AI agents: neurotransmitter mood, personality, empathy, trait drift.

LocalFree

PromptOT

appdevexpert/prompt-ot

Manage, version, and publish LLM prompts with blocks, variables, and evaluations.

Local + RemoteAccount needed

pxtree

0177

alabsi91/pxtree

Measures how a webpage actually renders and prints it as compact text for AI coding agents.

LocalFree

PromptGuard

acebot712/promptguard

Scan prompts for injection attacks, redact PII, and audit LLM SDK usage from any MCP client

LocalFree

Pyjab

0

gaozhao1989/pyjab-mcp

Drive Java desktop apps from an AI agent, through the JVM's own accessibility tree

LocalFree

Prompt Time

0

RyanJamesStewart/prompt-time

Claude Desktop reminders for Windows. Survives MSIX boundary; persists across restarts. Zero deps.

LocalFree