Prove It

Connect Runs on your machine

claude mcp add prove-it -e PROVEIT_MCP_HOME=<PROVEIT_MCP_HOME> -- uvx proveit-mcp==0.1.0

{
  "mcpServers": {
    "prove-it": {
      "command": "uvx",
      "args": [
        "proveit-mcp==0.1.0"
      ],
      "env": {
        "PROVEIT_MCP_HOME": "<PROVEIT_MCP_HOME>"
      }
    }
  }
}

{
  "mcpServers": {
    "prove-it": {
      "command": "uvx",
      "args": [
        "proveit-mcp==0.1.0"
      ],
      "env": {
        "PROVEIT_MCP_HOME": "<PROVEIT_MCP_HOME>"
      }
    }
  }
}

{
  "servers": {
    "prove-it": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "proveit-mcp==0.1.0"
      ],
      "env": {
        "PROVEIT_MCP_HOME": "<PROVEIT_MCP_HOME>"
      }
    }
  }
}

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 productivity servers See all

• China With Me — Hardware Prototyping & Exhibition MCP

  China hardware prototyping, verified trade show calendar, remote exhibition viewer & sourcing.

• Flamigo

  Turn notes into slides, edit presentations, compare designs, and export HTML or PowerPoint.

• humans fix ai

  Ask a real, manually approved developer for help. Nothing is sent until you say yes.

• Leaklens

  Check coding-benchmark tasks for leaked fixes: per-task tier, quote and fix-commit date.

• iinventedlight Library

  Public notes and openly licensed reference library from iinventedlight.

• Kuotia

  Spanish tax calendar, RETA and IRPF estimates and guides for autónomos in Spain, by Kuotia.