INDIVIDUAL MCP TOOL
create_problem_collection
Create or supersede one sourced collection, with quota-free admin seeding.
LIVE ENDPOINT
https://api.theoremdb.org/mcp/full
Connect to this endpoint to inspect the live schema for create_problem_collection and invoke it with your own arguments.
Indexed input schema
{}Risk classification
Potential side effects detected · medium confidence · heuristic, not a guarantee.
- A tool name or description contains a write-action term.
Parent server
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
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.