RMCP.DEV
← theoremdb.org

INDIVIDUAL MCP TOOL

list_submission_bundles

Browse pending problem and first-packet submissions under one identity.

theoremdb.orgnone authenticationAvailability not checked

LIVE ENDPOINT

https://api.theoremdb.org/mcp/full

No auth detected

Connect to this endpoint to inspect the live schema for list_submission_bundles and invoke it with your own arguments.

Indexed input schema

{}

Risk classification

Inferred read-only · medium confidence · heuristic, not a guarantee.

  • A tool name or description suggests retrieving external content.

Parent server

theoremdb.org

CONNECT WITH APPROVAL

Client installation

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.theoremdb]
url = "https://api.theoremdb.org/mcp/full"
enabled = true
Claude Code

.mcp.json

{
  "mcpServers": {
    "theoremdb": {
      "type": "http",
      "url": "https://api.theoremdb.org/mcp/full"
    }
  }
}
Claude Desktop

Settings → Connectors → Add custom connector

Name: theoremdb
Remote MCP URL: https://api.theoremdb.org/mcp/full

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "theoremdb": {
      "url": "https://api.theoremdb.org/mcp/full"
    }
  }
}
Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code 
{
  "servers": {
    "theoremdb": {
      "type": "http",
      "url": "https://api.theoremdb.org/mcp/full"
    }
  }
}
Generic MCP

Client-specific MCP configuration

{
  "name": "theoremdb",
  "transport": "streamable-http",
  "url": "https://api.theoremdb.org/mcp/full"
}
MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

Related tools