Tools for Converting LaTeX Mathematics to Lean Formalizations MCP servers

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

• LaTeX to MathML MCP Server

  HappyAny

  -

  security

  A

  license

  -

  quality

  A Model Context Protocol (MCP) server that converts LaTeX mathematical expressions to MathML format.

  Last updated 9 months ago

  4

  MIT License

• LaTeX MCP Server

  TheTailorRetailored

  -

  security

  F

  license

  -

  quality

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

  Last updated 5 months ago

  2

• mcp-mathematics

  -

  security

  -

  license

  -

  quality

  A powerful Model Context Protocol (MCP) server that brings production-ready mathematical calculations to AI assistants like Claude, featuring secure AST-based evaluation and comprehensive mathematical functions.

• arXiv LaTeX MCP Server

  IoanaCristescu15

  -

  security

  A

  license

  -

  quality

  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.

  Last updated 3 months ago

  MIT License

• MCP Tools for Obsidian

  jacksteamdev

  -

  security

  A

  license

  -

  quality

  A local MCP server that enables AI applications like Claude Desktop to securely access and work with Obsidian vaults, providing capabilities for reading notes, executing templates, and performing semantic searches.

  Last updated 6 months ago

  508

  MIT License

• Database Tools for Claude AI

  elber-code

  A

  security

  F

  license

  A

  quality

  MCP server that allows Claude AI to interact directly with MySQL databases, enabling query execution and table information retrieval through natural language.

  Last updated 9 months ago

  1

  3

  4