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

• Lean LSP MCP

  oOo0oOo

  A

  license

  A

  quality

  B

  maintenance

  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 2026-05-04

  22

  383

  MIT

• MCP server for Revit - Python

  mcp-servers-for-revit

  A

  license

  A

  quality

  B

  maintenance

  Enables Large Language Models to access and manipulate Autodesk Revit models through a pyRevit-based bridge and the Model Context Protocol.

  Last updated 2026-03-05

  20

  121

  MIT

• of-mcp

  ThiTheGoat

  A

  license

  A

  quality

  C

  maintenance

  Provides MCP tools to search, retrieve, and answer questions from the public Open Finance Brasil Confluence documentation using BM25-based local indexing.

  Last updated 2026-05-16

  4

  MIT

• MCP Tools for Obsidian

  jacksteamdev

  A

  license

  -

  quality

  F

  maintenance

  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 2026-05-13

  810

  MIT

• LLM Compliance Comparison MCP

  CSOAI-ORG

  A

  license

  -

  quality

  B

  maintenance

  LLM Compliance Comparison - MCP server providing AI-powered tools and automation by MEOK AI Labs

  Last updated 2026-05-08

  3

  MIT

• Document Comparison AI MCP

  CSOAI-ORG

  A

  license

  -

  quality

  B

  maintenance

  Document Comparison AI - MCP server providing AI-powered tools and automation by MEOK AI Labs

  Last updated 2026-05-08

  8

  MIT

• click-to-mcp

  Coding-Dev-Tools

  A

  license

  -

  quality

  B

  maintenance

  Converts any Python Click or Typer CLI into an MCP server automatically — zero-code transformation that introspects CLI commands and exposes them as MCP tools.

  Last updated 2026-05-19

  4

  Apache 2.0

• Chain of Draft Thinking

  bsmi021

  A

  license

  A

  quality

  C

  maintenance

  Chain of Draft Server is a powerful AI-driven tool that helps developers make better decisions through systematic, iterative refinement of thoughts and designs. It integrates seamlessly with popular AI agents and provides a structured approach to reasoning, API design, architecture decisions, code r

  Last updated 2025-03-26

  1

  9

  24

  MIT

• proof-of-commitment

  piiiico

  F

  license

  A

  quality

  A

  maintenance

  Supply chain risk scoring for npm, PyPI, and GitHub repos

  Last updated 2026-05-27

  8

  5

• MCP Python Interpreter

  PortPro-Technologies-Inc

  -

  license

  A

  quality

  -

  maintenance

  A Model Context Protocol server that allows LLMs to interact with Python environments, enabling code execution, file operations, package management, and development workflows.

  Last updated 2025-06-14

  9

• mcp-esa-server-python

  scnsh

  A

  license

  A

  quality

  C

  maintenance

  A Python-based MCP server that enables users to interact with the esa.io API for documentation management. It provides tools for retrieving user information and performing full CRUD operations on articles.

  Last updated 2025-06-17

  6

  1

  MIT

• MCP Python Interpreter

  yzfly

  F

  license

  A

  quality

  D

  maintenance

  A Model Context Protocol server that allows LLMs to interact with Python environments, execute code, and manage files within a specified working directory.

  Last updated 2025-10-12

  10

  100

• mcp-chain-of-thought

  liorfranko

  A

  license

  B

  quality

  C

  maintenance

  mcp-chain-of-thought

  Last updated 2025-05-07

  15

  63

  21

  MIT

• Python REPL MCP Server

  hdresearch

  A

  license

  B

  quality

  C

  maintenance

  A server that provides a persistent Python REPL environment through the MCP protocol, allowing execution of Python code, variable management, and package installation.

  Last updated 2025-12-15

  3

  40

  MIT

• Database Tools for Claude AI

  elber-code

  A

  license

  B

  quality

  C

  maintenance

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

  Last updated 2025-04-17

  2

  1

  4

  4

  MIT
• 

  MCP Run Pythonofficial

  pydantic

  A

  license

  -

  quality

  F

  maintenance

  Enables secure execution of Python code in a sandboxed WebAssembly environment using Pyodide and Deno. Automatically handles package management and captures complete execution results including stdout, stderr, and return values.

  Last updated 2026-01-30

  192

  MIT

• Youtube To Mp315 MCP Server

  BACH-AI-Tools

  A

  license

  -

  quality

  C

  maintenance

  Enables conversion of YouTube videos to MP3 format through the Youtube To Mp315 API. Supports checking conversion status, retrieving video titles, and asynchronous video-to-audio conversion with customizable quality and time range settings.

  Last updated 2025-12-08

  MIT

• OpenAPI to MCP

  EvilFreelancer

  A

  license

  -

  quality

  D

  maintenance

  A standalone proxy that transforms any OpenAPI or Swagger-described REST API into an MCP server by mapping API operations to executable MCP tools. It enables AI clients to interact with existing web services through automated HTTP requests based on their official documentation.

  Last updated 2026-02-21

  13

  16

  MIT

• Anything-to-NotebookLM

  joeseesun

  A

  license

  -

  quality

  C

  maintenance

  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 2026-04-28

  4,609

  MIT

• Python notebook mcp

  UsamaK98

  A

  license

  -

  quality

  D

  maintenance

  Python notebook mcp

  Last updated 2025-06-24

  45

  MIT