Skip to main content

Claude Desktop setup (stdio transport)

Five minutes to get the Proofarc MCP server wired into Claude Desktop on your laptop.

1. Install the server​

From this repo:

pip install -e ./mcp-agent

Or once it ships to PyPI:

pip install proofarc-mcp

The install adds a proofarc-mcp console script.

2. Configure platform credentials​

The stdio transport authenticates as one platform user. Set:

export PROOFARC_URL=https://app.proofarc.ai
export PROOFARC_USERNAME=admin
export PROOFARC_PASSWORD='your-password'

Or persist them in ~/.proofarc/config.toml:

url = "https://app.proofarc.ai"
username = "admin"
password = "your-password"

Env vars win over the file.

3. Wire into Claude Desktop​

Edit (or create) ~/Library/Application Support/Claude/claude_desktop_config.json on macOS — equivalents on Windows / Linux:

{
  "mcpServers": {
    "proofarc": {
      "command": "proofarc-mcp",
      "env": {
        "PROOFARC_URL": "https://app.proofarc.ai",
        "PROOFARC_USERNAME": "admin",
        "PROOFARC_PASSWORD": "your-password"
      }
    }
  }
}

Restart Claude Desktop. You should see "proofarc" listed in the MCP picker with the full tool set and 1 resource template — call get_tool_catalog(tier="names") for the live count. See Tools reference for the full catalog.

4. Pair with the GitHub MCP server (optional)​

The hero demo reads source code from GitHub repos linked to platform applications. Add the official GitHub MCP server alongside:

{
  "mcpServers": {
    "proofarc": { "command": "proofarc-mcp", "env": { ... } },
    "github": {
      "command": "npx",
      "args": ["-y", "@modelcontextprotocol/server-github"],
      "env": { "GITHUB_PERSONAL_ACCESS_TOKEN": "ghp_..." }
    }
  }
}

5. Try the demo prompt​

See Hero demo prompt.