Odel
Proof MCP

Proof MCP

Local
@toremlabsTypeScriptAGPL-3.0Updated 3 days ago

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

View on GitHub

Runs locally over stdio

This server isn't hosted — your MCP client launches it from a package registry. Use one of the commands below, or drop the config into your client (e.g. Claude Desktop).

npm@toremlabs/proof-mcpv1.0.0

Run

npx -y @toremlabs/proof-mcp

MCP client config

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