Your LaTeX as a dependency graph.
Drop in a paper, a thesis or your working notes. Every theorem, lemma and definition becomes a node, and every \ref inside a statement or proof becomes a link to what it cites.
It runs entirely in your browser. Your file is never uploaded.
Drop .tex files, a folder, or an Overleaf .zip here
or or
What it can and can't see
It reads the theorem-like environments your preamble declares (with \newtheorem or\declaretheorem), their \labels, and every \ref, \cref,\autoref or \eqref inside a statement or its proof. A proof written as\begin{proof}[Proof of Theorem~\ref{x}] is credited to x.
It cannot see a dependency written only in words ("by the previous lemma", "by Cauchy–Schwarz"), a citation typed as text, or anything in a PDF. On the PFR blueprint, whose authors drew the dependency graph by hand, it recovers 78% of the links; every one it misses is a link the text never \refs.
Manifield's import goes further: an AI model reads each proof, so it can pick up the links you wrote in words. It makes mistakes too, and you review every item before it is saved.