🔧

Proof MCP

🔧MCP Server

ToremLabs/Proof-MCP

glama

Installation

Claude CodeAuto-generated from README. View full documentation on GitHub →

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

Claude Desktop ConfigurationServer configuration (JSON)

{
  "mcpServers": {
    "proof": { "command": "npx", "args": ["-y", "@toremlabs/...

Last UpdatedAug 1, 2026