Searching protocol for "mathpix"
Turn math PDFs into LaTeX-ready data.
BDD-driven math verification with executable specs.
Turn multi-source research into Obsidian notes.