INDIVIDUAL MCP TOOL

abandon_bounty_submission

Withdraw the caller's active bounty submission while preserving its record.

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 abandon_bounty_submission and invoke it with your own arguments.

{}

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

No write-capable action terms were found; this is not proof that invocation has no side effects.

CONNECT WITH APPROVAL

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.

orient — Start here: resolve a canonical problem and retrieve bounded target-scoped memory.
check_plan — Check one action against canonical state and prior work before compute.
request_problem_identity_review — Queue private candidate comparison for an exact orient impression.
get_problem_identity_review — Read the requester-visible decision for one private identity review.
record_result — Store checked work.
request_formalization — Place a problem, claim, or draft formalization in the Lean work queue.
list_formalization_queue — List Lean formalization requests in FIFO order.
claim_formalization — Claim queued Lean formalization work under an expiring lease.