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

An MCP server for ingesting Lean Six Sigma PDFs into a searchable multimodal knowledge base.

MCP server that converts URLs into token-minimized clean text for LLMs, providing a receipt of token and cost savings.

Embedded, local-first agent memory: facts extracted into a per-namespace SQLite file (vec0 + FTS5) with hybrid retrieval and point-in-time (time-travel) queries. ADD-only history over stdio — no server process, no cloud dependency.

Enables MCP clients to access and process arXiv papers by fetching their LaTeX source, exposing full flattened LaTeX, abstracts, section lists, and individual sections for accurate handling of equations and notation.

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to access and process arXiv papers by fetching their LaTeX sources for accurate interpretation of mathematical expressions. It provides tools to retrieve a paper's full flattened LaTeX, abstract, section headings, and individual sections.

Enables MCP clients to fetch and process arXiv papers' LaTeX sources, providing tools to retrieve full flattened LaTeX, abstracts, section headings, and specific sections for precise interpretation of mathematical expressions.

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 source for accurate interpretation of equations and mathematical notation, including tools for retrieving full LaTeX, abstracts, section lists, and specific sections.

Enables MCP clients such as Claude Desktop and Cursor to fetch and process arXiv papers' LaTeX sources, providing tools to retrieve a paper's full flattened LaTeX, abstract, section headings, and individual sections so equations and notation are interpreted precisely.

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 MCP clients to fetch and process arXiv papers through their LaTeX sources, allowing users to accurately interpret equations and mathematical notation. It supports retrieving full papers, abstracts, section lists, and specific sections for precise analysis.

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to fetch and process arXiv papers’ LaTeX sources, including abstracts, section listings, specific sections, and full flattened LaTeX, for accurate interpretation of mathematical expressions.

Enables MCP clients to fetch and process arXiv papers by accessing their LaTeX sources, including full flattened LaTeX, abstracts, section lists, and specific sections. This allows accurate interpretation of equations, notation, and mathematical expressions in scientific papers.

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 arXiv papers from their LaTeX source for accurate interpretation of equations and mathematical notation. It provides tools to retrieve a paper's full flattened LaTeX, abstract, section headings, and individual sections.

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

Enables MCP clients to fetch and process arXiv papers from their LaTeX sources, supporting full-paper, abstract, section-list, and specific-section retrieval so equations and mathematical notation can be interpreted accurately.

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 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.