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.

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.

Return incoming or outgoing citation evidence for a stored paper.

Load a local LaTeX paper and build its theorem graph.

Download an arXiv source project and build its theorem graph.

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.

Return theorem-like nodes that reference the given theorem.