TheoryBench

TheoryBench

Mathematica Lean Claude Codex

FILESMAP

Drop files here

AI suggestions

Privacy & data

Enable AI Whole-project context INSPIRE lookups

Integrations

Project Map solid literal resolved links · dashed inferred links ProjectReferences

Linear story

Source segment

Select a node to inspect its exact source text.

LaTeXNotebook

main.tex

120% PDF HTML

THEORIA

I’m here. Ask me to check a sign, trace a computation, or turn a rough note into the next clean paragraph.

Set up your bench

TheoryBench found these on your machine. Green is ready — nothing here is required except TeX.

Collaborators

Overleaf is the shared paper editor. TheoryBench syncs your local copy, while collaborators can keep writing in Overleaf.

Checking Overleaf Git status...