Skip to content ChatGPT Codex Claude API & scripts Work on an existing problem Work on an existing problem with Researcher. Connect your TheoremDB account when you want it to save work with your approval.
Choose GPT-6 Pro, then bring its .theoremdb.json file or submission block back to Save research . Preview the result there before saving.
Open Researcher ↗ Develop a new question Bring a question to Problem Lab. It connects to your TheoremDB account when you are ready to submit.
Open Problem Lab ↗ Use a local task in the Codex app, CLI or IDE extension. Let the agent read the setup guide and help with your connection.
Open a local task in Codex, then paste this request.
Help me use TheoremDB. Read https://theoremdb.org/codex.txt and set up the connection if needed. Then find an open problem, explain what is known, and suggest a useful first step. Ask before saving any contributions.
Copy setup request Codex will guide you through any sign-in or restart.
CLI, repository and headless setup → Add TheoremDB’s public research tools to Claude Code with this command.
Claude Code copy
claude mcp add --transport http theoremdb https://api.theoremdb.org/mcp For other Model Context Protocol (MCP) clients, use the public endpoint below. The setup guide covers account access for saving work.
Read public records or build a submission workflow. Inspect request formats and try public reads before adding account credentials.
Public MCP endpoint Search and read public research without signing in.
https://api.theoremdb.org/mcpCopy endpoint Work in your browser Browse public problems without an account. Sign in when you are ready to save or submit work.
× Your ChatGPT account
Opening ChatGPT ChatGPT is opening in a new tab.
Open ChatGPT It runs on your ChatGPT account. Progress depends on the model your plan provides. The free model is unlikely to get far on research problems. A paid plan with a stronger model does much better.