Return the API key in use and its owner.

Scope: none -- works with any valid key. Call this first to verify a key is valid and to inspect its granted scopes before calling scope-gated endpoints.

List cheatsheets owned by the calling account (content omitted).

Scope: playground.read.

Get one cheatsheet, including its content body.

Scope: playground.read.

Create a cheatsheet owned by the calling account.

Scope: playground.write. Can be referenced from a Playground run (configurations[].cheatsheet) and submitted to a cheatsheet-kind competition.

Partially update a cheatsheet. Provide at least one field.

Scope: playground.write. Raises CHEATSHEET_LOCKED (403) if the cheatsheet is currently published on the Contributor Network -- withdraw it first.

Delete a cheatsheet owned by the calling account.

Scope: playground.write. Raises CHEATSHEET_LOCKED (403) if published on the Contributor Network -- withdraw it first.

List competitions visible through the public API.

Scope: competition.read. Cursor-paginated (default limit 25, max 100): pass the previous response's nextCursor to fetch the next page; a nextCursor of null means there are no more pages.

Get one competition's detail, including its submissionSpec.

Scope: competition.read. submissionSpec (schema, metaSchema, permission, window, limits, catalog) is the only source of truth for how to build a submission payload for this competition -- read it before calling submit_competition_entry or submit_playground_run.

Get the caller's participation status in one competition.

Scope: competition.read. Returns canSubmit and, when false, submitBlockedReason (EMAIL_NOT_VERIFIED, NOT_ENROLLED, NOT_TEAM_OWNER, BEFORE_WINDOW, AFTER_WINDOW). Treat this as the source of truth for whether a submission should be attempted right now.

List published leaderboard rows for a competition.

Scope: competition.read. Cursor-paginated. Always returns 200; use data.meta.published (not the emptiness of items) to tell whether the leaderboard has been published yet.

Get the caller's own leaderboard entry for a competition.

Scope: competition.read. Returns {"entry": null} when the caller isn't ranked yet (no team, no scoring placements, or leaderboard unpublished).

Create or replace the caller's submission for a competition.

Scope: competition.write. payload's shape is selected by the competition's submissionSpec.kind -- call get_competition first and build payload from submissionSpec.schema. Known kinds today:

• cheatsheet: {"content": ""}

• model-reference: {"modelName": "/", "commitHash": "<40-hex-char sha>"}

• solver-participation: {"track": "", "modelId": "", "solverCode": "<lean 4 source>"}

• igp24-polynomial: {"polynomials": ["<25 comma-separated coefficients a_0..a_24>", ...]}

meta is optional (e.g. {"description": "...", "contributorNetworkItemId": "..."}), validated against submissionSpec.metaSchema. For igp24-polynomial every call creates a brand-new submission; other kinds overwrite the existing entry for that competition (or track) in place and keep the same submissionId.

Get the caller's current submission for a competition.

Scope: competition.read. For cheatsheet / model-reference / solver-participation this returns a single submission record (404 if none exists yet); pass track for track-based competitions. For igp24-polynomial this instead returns a cursor-paginated list of every past submission (newest first) -- cursor/limit apply only to that kind and are ignored for the others.

Get one submission by ID.

Scope: competition.read. The caller can only read submissions they are allowed to access for this competition.

Download the stored text body of a submission as plain text.

Scope: competition.read. Returns payload.content (cheatsheet), payload.solverCode (solver-participation), or newline-joined payload.polynomials (igp24-polynomial). Raises NO_DOWNLOAD_FOR_KIND for model-reference submissions, which have no text body.

Get aggregate IGP24 participant progress by transitive group label.

Scope: competition.read. Bulk aggregate endpoint over the ~25,000-label IGP24 universe; returns data.labels[] rather than data.items[]. Before publication returns labels: [], meta.published: false. limit defaults to 100 and maxes at 5000 (higher than the default list-endpoint max) so a full sweep takes about 5 requests. label is a repeatable filter list (e.g. ["24T1", "24T3"]); labels is the same filter as one comma-separated string -- use one or the other. Changing filters invalidates a previous cursor.

List visible Contributor Network items (content/solverCode/model fields omitted).

Scope: contributor-network.read. kind is one of cheatsheet / solver-template / model-reference. track applies when kind=solver-template. public_code does an exact lookup by shareable code (e.g. "MAC01-000042") and ignores cursor when given. sort is "newest" (default) or "earliest".

Get one Contributor Network item with its full payload.

Scope: contributor-network.read. Includes content (cheatsheet), solverCode (solver-template), or modelName/commitHash (model-reference), plus parent lineage.

Publish a saved resource, a submitted text body, inline text, or a model reference.

Scope: contributor-network.write. kind must match source["from"]: "cheatsheet" (needs source.cheatsheetId), "solver-template" (needs source.solverTemplateId), "submission" (needs source.submissionId -- only for cheatsheet/solver-participation submissions), "inline" (needs source.title plus source.content or source.solverCode), or "model-reference" (needs source.modelName and source.commitHash). track/model_id are required when kind=solver-template and must be omitted when kind=model-reference.

Withdraw (unpublish) an item authored by the calling account.

Scope: contributor-network.write. Withdrawn items disappear from listings, direct lookups, graphs, and benchmark results.

Set the caller's favorite flag for an item (idempotent).

Scope: contributor-network.write.

Clear the caller's favorite flag for an item (idempotent).

Scope: contributor-network.write. Refetch the item to read the updated favoriteCount.

List comments on an item, oldest first.

Scope: contributor-network.read. Soft-deleted comments remain for thread continuity with body/author.displayName set to null.

Create a comment on an item.

Scope: contributor-network.write. body must be non-empty after trim and at most 5000 characters.

Soft-delete a comment.

Scope: contributor-network.write. Callers may delete their own comments; item authors may delete any comment on their own items.

Get the lineage subgraph rooted at one item (ancestors + descendants).

Scope: contributor-network.read. depth in the response is relative to the anchor item: negative for ancestors, 0 for the anchor itself.

Get the lineage graph across all visible items.

Scope: contributor-network.read. Capped at 2000 nodes -- add competition_id/kind filters if you hit GRAPH_TOO_LARGE (413).

List platform-run benchmark summaries for published items.

Scope: contributor-network.read. Benchmarks are platform-scheduled, not user-triggered. sort_by is "avgAccuracy" (default), "publishedAt", or "scoredTotal"; sort_direction is "desc" (default) or "asc".

Get the per-model benchmark breakdown for one item.

Scope: contributor-network.read.

List private Lean statement pairs (custom problems) owned by the calling account.

Scope: playground.read.

Get one custom Lean problem owned by the calling account.

Scope: playground.read.

Create an immutable private Lean statement pair.

Scope: playground.write. lhs_name/rhs_name are derived automatically if omitted. Use the returned id in problemIds for a solver-participation Playground run.

Delete a custom Lean problem owned by the calling account.

Scope: playground.write. Existing runs that referenced the problem keep their own stored copy and history.

List Playground model IDs accepted in a run for this competition.

Scope: playground.read. Only call this when the competition's capabilities.playground is true. Model IDs are opaque tokens (some are OpenRouter-style provider/name, others are hyphenated) -- don't parse them, just pass the id field back in run requests.

List Playground problem sets available for practice runs.

Scope: playground.read.

Get every problem in one Playground problem set (not paginated).

Scope: playground.read. Row shape depends on competition kind: equation problems (index, equation1, equation2, goldAnswer) for cheatsheet competitions, Lean problems (id, lhsName, lhsText, rhsName, rhsText, isCustom) for solver-participation competitions.

Create a Playground practice run.

Scope: playground.write. run_request's shape depends on the competition's submissionSpec.kind -- read get_competition first. Known shapes today:

• cheatsheet: {"models": ["", ...], "problems": [{"problemSet": "", "index": 0} | {"custom": {"equation1": "...", "equation2": "...", "goldAnswer": true}}, ...], "configurations": [{"cheatsheet": ""}, ...] (optional, omit for an unconditioned baseline), "repeat": 1 (optional, max 5)}

• solver-participation: {"solverCode": "<lean 4 source>", "solverName": "" (optional), "problemIds": ["", ...], "allowedModels": ["", ...] (optional)}

• model-reference: {"modelName": "/", "commitHash": "<40-hex-char sha>", "problemSetId": "", "hfToken": "" (optional, for private/gated repos), "note": "<=500 chars" (optional)}

Returns {"runId": ..., "status": "pending"}. Poll get_playground_run / list_playground_run_results for progress.

List Playground runs created by the caller for this competition.

Scope: playground.read. status is one of pending/running/done/failed/ cancelled. problem_set applies to equation-style competitions only.

Get one Playground run: params, summary, and timing.

Scope: playground.read. Lean competitions also include verdicts[].

Cancel a pending or running Playground run.

Scope: playground.write. Already-terminal runs raise RUN_NOT_CANCELLABLE (409).

List per-cell/per-problem result rows for a Playground run.

Scope: playground.read. Row shape depends on competition kind (equation / Lean / model-reference result fields).

Collect Server-Sent Events for a solver-participation Playground run.

Scope: playground.read. Only available for solver-participation competitions. This blocks for up to timeout_seconds (capped at 300) collecting one LeanVerdict per event as the run progresses, and returns once the run reaches a terminal status (stream closes) or the timeout elapses -- an MCP tool call is a single request/response, so this collects-then-returns rather than truly streaming incrementally. Returns {"verdicts": [...], "ended_reason": "completed" | "timeout"}.

Get the caller's accumulated Playground practice spend for this competition.

Scope: playground.read. Returns credit balance, run counters, and either cellsExecuted (equation-style) or problemsAttempted (Lean / model-reference).

List solver templates owned by the calling account (solverCode omitted).

Scope: playground.read. track filters by track ID, e.g. "solo" or "marathon".

Get one solver template, including its Lean 4 solverCode.

Scope: playground.read.

Create a solver template owned by the calling account.

Scope: playground.write. track defaults to "solo" server-side if omitted. Can be copied into a Playground run and submitted to a solver-participation competition.

Partially update a solver template. Provide at least one field.

Scope: playground.write. track and its source item are fixed after creation. Raises SOLVER_TEMPLATE_LOCKED (403) if published on the Contributor Network -- withdraw it first.

Delete a solver template owned by the calling account.

Scope: playground.write. Raises SOLVER_TEMPLATE_LOCKED (403) if published on the Contributor Network -- withdraw it first.