Comparison of Python-based tools for converting TeX to Lean MCP servers

"Comparison of Python-based tools for converting TeX to Lean" matching MCP servers:

• Lean LSP MCP

  oOo0oOo

  A

  security

  A

  license

  A

  quality

  Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.

  Last updated 13 days ago

  18

  256

  MIT

• 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 7 months ago

  563

  MIT

• MCP of MCPs

  eliavamar

  -

  security

  A

  license

  -

  quality

  A meta-server that aggregates multiple MCP servers into a single interface, reducing token usage by 98%+ through progressive tool discovery and direct code execution that processes data between tools without consuming context window space.

  Last updated 4 days ago

  16

  9

  Apache 2.0

• 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 10 months ago

  1

  0

  4

• Anything-to-NotebookLM

  joeseesun

  -

  security

  A

  license

  -

  quality

  An MCP server that automates converting diverse content sources like WeChat articles, YouTube videos, and various document formats into AI-generated outputs such as podcasts and slide decks via Google NotebookLM. It integrates specialized tools for web scraping, OCR, and file transformation to facilitate seamless content generation through natural language.

  Last updated 14 days ago

  31

  MIT

• mcp-chain-of-thought

  liorfranko

  A

  security

  A

  license

  A

  quality

  mcp-chain-of-thought

  Last updated 9 months ago

  15

  21

  20

  MIT