"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

Enables AI assistants to create, edit, and validate LaTeX documents through a standardized protocol with support for multiple document classes and package management. It provides tools for document structure analysis and file organization to streamline the generation of professional academic papers.

A server that enables compilation of LaTeX documents to PDF and management of reusable templates and snippets through the Model Context Protocol.

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to fetch and process arXiv papers directly from their original LaTeX source, so equations and notation are interpreted precisely instead of being guessed from PDFs. Exposes tools to retrieve a paper's full flattened LaTeX, abstract, section headings, or a specific section by path.

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to fetch and process the original LaTeX source of arXiv papers, so that equations and mathematical notation are interpreted accurately instead of being garbled from PDFs. Exposes tools for retrieving a paper's full flattened LaTeX, its abstract, its section headings, and individual sections by path.

Enables MCP clients to fetch and process arXiv papers from their LaTeX sources so mathematical expressions and notation are interpreted precisely. It provides tools to retrieve a paper's full flattened LaTeX, abstract, section headings, or a specific section.

Enables MCP clients to fetch and process arXiv papers' LaTeX sources, allowing accurate interpretation of equations and mathematical notation in equation-heavy papers.

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to directly access and process scientific papers by retrieving and flattening their LaTeX sources. It provides tools for full paper prompts, abstracts, section headings, and specific sections, improving handling of equations and mathematical notation.

Enables MCP clients to fetch and process arXiv LaTeX sources, giving LLMs accurate access to equations, notations, abstracts, and individual paper sections for precise mathematical interpretation.

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to fetch and process arXiv papers directly from their original LaTeX source, so equations and mathematical notation are read accurately instead of being mangled from PDFs. Exposes tools for retrieving a paper's flattened LaTeX, abstract, section headings, or a specific section by path.

Enables MCP clients to access and process arXiv papers by fetching their LaTeX sources, allowing precise interpretation of mathematical expressions and notations through tools for full papers, abstracts, section listings, and specific sections.

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to fetch and process arXiv papers' original LaTeX sources, so equations and mathematical notation are interpreted accurately rather than garbled from PDFs. It exposes tools to retrieve a paper's full flattened LaTeX, its abstract, its section headings, or a single section by path.

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to fetch and process the original LaTeX source of arXiv papers, so large language models can interpret equations and mathematical notation precisely instead of relying on PDFs. It exposes tools for retrieving a paper's full flattened LaTeX, its abstract, its section headings, and individual sections by path.

Enables MCP clients like Claude Desktop, Claude Code, and Cursor to fetch and process arXiv papers' LaTeX sources, so equations and notation are interpreted accurately; it exposes tools for retrieving a paper's full flattened LaTeX, abstract, section headings, and individual sections.

Enables Claude Desktop, Claude Code, Cursor, and other MCP clients to directly access and process arXiv papers by fetching and flattening their LaTeX source, so equations and notation are interpreted precisely. Exposes tools for retrieving a paper's full LaTeX, abstract, section headings, and individual sections by path.

Enables Claude and other MCP clients to access and process arXiv papers by fetching their LaTeX source code, providing accurate interpretation of mathematical equations and notations that PDF processing often struggles with.

Enables compatible AI clients to retrieve and process arXiv papers by fetching their source files, with tools for full flattened content, abstracts, section listings, and specific sections so mathematical expressions and notation are interpreted accurately.

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to fetch and process arXiv papers from their LaTeX source, with tools for retrieving full papers, abstracts, section lists, and specific sections for accurate handling of mathematical expressions.

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to fetch and process the original LaTeX source of arXiv papers, so equations and mathematical notation are interpreted precisely. Exposes tools to retrieve a paper's full flattened LaTeX, abstract, section listings, and individual sections by path.

Enables converting Markdown text into clean HTML for headings, lists, code blocks, tables, links, and images, with optional full-document wrapping via x402 micropayments.

MCP server that exposes tools to route natural language queries to typed IDs, describe catalog entries, and list repository verification commands for the m-dev-tools organization.