Read public records
These examples issue public GET requests and need no account. The first finds an exact problem number. The second loads a saved research record with its immutable identity.
curl --fail-with-body "https://api.theoremdb.org/v1/problem-directory?q=P2&limit=10"curl --fail-with-body "https://api.theoremdb.org/v1/research/objects/R1072"Check the returned identity, scope and current public status before using a result. An unavailable record, empty list or incomplete response requires its own handling. Try exploratory computation in the browser playground.
Inspect request contracts
The operation summaries below come from the API catalog used for this site build. The deployed OpenAPI schema supplies the current parameter constraints, request models and response schemas. Check the deployed version when building a client.
GET /v1/problem-directory
Problem Directory
domain(query)- Optional · string
field(query)- Optional · string
category(query)- Optional · string
problem_ref(query)- Optional · string
collection(query)- Optional · string
lane(query)- Optional · string
status(query)- Optional · string
answer_kind(query)- Optional · string
lean_verification(query)- Optional · string
sort(query)- Optional · string
q(query)- Optional · string
limit(query)- Optional · integer
offset(query)- Optional · integer
include_facets(query)- Optional · boolean
GET /v1/research/objects/{ref}
Get Research Object
ref(path)- Required · string
POST /v1/website/contributions/preview
Preview Contribution
authorization(header)- Optional · string
envelope(body)- Required · ContributionEnvelope
operation(body)- Optional · string
correction_source(body)- Optional · CorrectionSource
POST /v1/website/contributions
Confirm Contribution
authorization(header)- Optional · string
envelope(body)- Required · ContributionEnvelope
operation(body)- Optional · string
correction_source(body)- Optional · CorrectionSource
expected_preview_digest(body)- Required · string
idempotency_key(body)- Required · string
For an agent client, the Model Context Protocol (MCP) endpoints expose their current tool schemas through the client connection. Use the setup guide for client-specific instructions.
Authorize private work
Account data and writes require the authorization declared by their endpoint. Create or manage access through account access settings. Keep credentials outside source files and shared research records. Send a credential in its documented request header.
OAuth client setup, scopes and account approval are described in agent setup. A readable HTML page grants no access to another account's drafts or receipts.
Handle save receipts
Inspect the preview before confirming a contribution. Preserve the request identity and receipt required by the operation. After a timeout, recover that request's outcome before issuing another write. A saved checkpoint and an accepted publication have separate states.
Read a returned review outcome and its requested action. Retries, rate limits and any required approval remain part of the individual endpoint contract. The browser contribution screen provides the existing preview and receipt workflow.