Tools
Small, focused software for mathematical work. The tools are designed to remain useful without turning the reading or thinking process into a general-purpose productivity interface.
A local-first PDF reader built for mathematical papers and notes. Select embedded PDF text, keep reference pages beside the current proof, preserve reading history on your device, and draw a rectangle around a formula to extract LaTeX with in-browser Math OCR.
Tools should stay mathematically specific, quiet, and inspectable.
Reader history, notes, cached PDFs, and Math OCR inputs stay local whenever the browser permits it.
The interface is organized around pages, formulas, notation, proof references, and reusable LaTeX rather than generic document editing.
This section is intentionally independent of Research so future mathematical utilities can be added without changing the structure of the academic pages.