Proof MCP Server
by toremlabsio.github.ToremLabs/proofv1.0.0
Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.
context tax
queued
security
queued
cold start
queued
freshness
Maintained36d ago
Install Proof MCP server
Install in Claude Code
claude mcp add proof-toremlabs -- npx -y @toremlabs/proof-mcpInstall in Cursor
{
"mcpServers": {
"proof-toremlabs": {
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"proof-toremlabs": {
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp"
]
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"proof-toremlabs": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp"
]
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"proof-toremlabs": {
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Freshness
Maintained — last maintenance signal 36d ago. The newest of the signals below sets the band.
Last commit (default branch)
2026-09-04 · 36d ago · GitHub
Latest release
no data · GitHub
Package published
no data · npm/PyPI
Registry entry updated
2026-07-28 · 2mo ago · official registry · v1.0.0
FAQ
›How do I install the Proof MCP server in Claude Code?
Run: claude mcp add proof-toremlabs -- npx -y @toremlabs/proof-mcp. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does Proof require an API key?
No required environment variables are declared in its published metadata.
›Can I use Proof as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is Proof in the official MCP registry?
Yes, as io.github.ToremLabs/proof.