Return PaperGraph version and reproducible launch diagnostics.

Normalize arXiv ID and URL inputs and return the safe next action.

Validate a raw user arXiv request and return the safe next action.

Open or initialize a persistent multi-paper workspace.

Add or replace a local LaTeX project in the active workspace.

Add or replace an arXiv LaTeX project in the active workspace.

Add or replace a born-digital PDF paper in the active workspace.

List all papers stored in the active workspace.

Return metadata and counts for one stored paper.

Search theorem titles and bodies across the active workspace.

Return dependencies of a globally identified stored theorem.

Explain how workspace dependencies were extracted for one theorem.

Return incoming or outgoing citation evidence for a stored paper.

List stored evidence results across the active workspace.

Return one stored evidence result with source spans.

Return proof evidence for one stored evidence result.

Return proof dependency evidence for one stored evidence result.

Return external result mentions from a result's proof evidence.

Return metadata and source spans for one evidence node or edge.

Export a paper-level evidence bundle for paper-reading consumers.

Export focused evidence context for reading one result's proof.

Return bounded source text around one span, result, or proof.

Return deterministic local reading paths for one result.

Load a local LaTeX paper and build its theorem graph.

Download an arXiv source project and build its theorem graph.

Validate a raw arXiv request, then load it only if unambiguous.

List theorem-like environments in the currently loaded paper.

Return the full text and metadata for one theorem-like node.

Return theorem-like nodes referenced by the given theorem.

Explain how dependencies were extracted for one theorem-like node.

Return theorem-like nodes that reference the given theorem.