ProofFlow

Connect Runs on your machine

claude mcp add proofflow -e PROOFFLOW_BASE_URL=<PROOFFLOW_BASE_URL> -e PROOFFLOW_API_KEY=<PROOFFLOW_API_KEY> -- uvx proofflow-mcp==0.1.2

{
  "mcpServers": {
    "proofflow": {
      "command": "uvx",
      "args": [
        "proofflow-mcp==0.1.2"
      ],
      "env": {
        "PROOFFLOW_BASE_URL": "<PROOFFLOW_BASE_URL>",
        "PROOFFLOW_API_KEY": "<PROOFFLOW_API_KEY>"
      }
    }
  }
}

{
  "mcpServers": {
    "proofflow": {
      "command": "uvx",
      "args": [
        "proofflow-mcp==0.1.2"
      ],
      "env": {
        "PROOFFLOW_BASE_URL": "<PROOFFLOW_BASE_URL>",
        "PROOFFLOW_API_KEY": "<PROOFFLOW_API_KEY>"
      }
    }
  }
}

{
  "servers": {
    "proofflow": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "proofflow-mcp==0.1.2"
      ],
      "env": {
        "PROOFFLOW_BASE_URL": "<PROOFFLOW_BASE_URL>",
        "PROOFFLOW_API_KEY": "<PROOFFLOW_API_KEY>"
      }
    }
  }
}

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Environment variables

Details

More developer tools servers See all

• AGILEX Docs

  Official AGILEX robotics product docs: manuals, CAN protocol, firmware, FAQ. Read-only.

• Echoo public catalog

  Read-only Echoo product facts, pricing, documentation and published writing skills.

• 99tests

  Order human-run real-device app tests from your coding agent; verified bugs return as fix prompts.

• LimitReceipts by aiw3b

  Find the AI coding/app-builder plan that fits your usage: limits, prices and plan-fit picks.

• Candor UI docs

  Candor UI docs and component suggestions. Read-only, no key, never serves paid source.

• MoneyTools Tools

  Call for a cheap read-only utility: 100+ tools; free daily tier; not charged on failure