MCP servers for latex

Turn arXiv and LaTeX mathematical papers into theorem dependency graphs for AI agents through MCP.

Pre-submission integrity gate for LaTeX papers: every reference verified against real scholarly records. No LLM guessing.

Voice to structured notes and diagrams. Talk, and a local model builds the headings, lists, tables and diagrams while you think, then typesets a PDF. Hands-free or one-handed with an MCP toolbox for A

Local-first LaTeX editor with an Overleaf-style interface. Native Rust + Tauri, uses your installed TeX, built-in MCP server for AI agents.

MagicTeX — a LaTeX editor for AI agents (Claude Code): live PDF preview, PDF comments that drive edits, Visual (WYSIWYG) mode, and git-tracked history. No local TeX install.