io.github.ToremLabs/proof MCP Server

Name: io.github.ToremLabs/proof MCP Server
Author: io.github.ToremLabs

io.github.ToremLabs/proof

Repository Registry

What is the io.github.ToremLabs/proof MCP server?

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

How to install io.github.ToremLabs/proof

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

Claude Desktop

~/Library/Application Support/Claude/claude_desktop_config.json

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

Cursor

~/.cursor/mcp.json

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

Windsurf

~/.codeium/windsurf/mcp_config.json

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

VS Code

.vscode/mcp.json

{
  "servers": {
    "proof": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@toremlabs/proof-mcp"
      ]
    }
  }
}

Claude Code

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

Related MCP servers

io.github.ToremLabs/heuresis

Active

Read & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant.

TypeScript

AGPL-3.0

View repository →