Skip to main content
Glama

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

Production-ready MCP servers that extend AI capabilities through file access, database connections, APIs, and contextual services.

X
17,112 servers. Last updated 2026-02-08 19:53

Matching MCP tools:

Matching MCP Connectors:

"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
    • Linux
    • Apple

  • 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

  • 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

Interested in MCP?

Join the MCP community for support and updates.

RedditDiscord