Deusproof MCP Server

Install in Claude Code

claude mcp add deusproof -- uvx deusproof-mcp

Install in Cursor

{
  "mcpServers": {
    "deusproof": {
      "command": "uvx",
      "args": [
        "deusproof-mcp"
      ]
    }
  }
}

Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).

Install in Claude Desktop

{
  "mcpServers": {
    "deusproof": {
      "command": "uvx",
      "args": [
        "deusproof-mcp"
      ]
    }
  }
}

Settings → Developer → Edit Config (claude_desktop_config.json), then restart.

Install in VS Code

{
  "servers": {
    "deusproof": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "deusproof-mcp"
      ]
    }
  }
}

Add to .vscode/mcp.json in your workspace.

Install in Windsurf

{
  "mcpServers": {
    "deusproof": {
      "command": "uvx",
      "args": [
        "deusproof-mcp"
      ]
    }
  }
}

Add to ~/.codeium/windsurf/mcp_config.json.