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

• tex-browse-use

  HanzMaulwurf

  A

  license

  -

  quality

  C

  maintenance

  TEX is an MCP server that enables Claude Code to perform browser tasks using plain language, driving a real browser to interact with web applications that lack APIs.

  Last updated 2026-06-14

  MIT

• lean-mcp

  KrystianYCSilva

  A

  license

  -

  quality

  D

  maintenance

  Enables verification of Lean 4 mathematical proofs via MCP tools, allowing AI clients to compile and check theorems with Mathlib.

  Last updated 2026-02-21

  1

  MIT

• Lean Reader

  AIMento

  A

  license

  A

  quality

  B

  maintenance

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

  Last updated 2026-06-24

  1

  MIT

• Lean LSP MCP

  oOo0oOo

  A

  license

  A

  quality

  A

  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-06-16

  22

  417

  MIT

• MCP server for Revit - Python

  mcp-servers-for-revit

  A

  license

  A

  quality

  C

  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-06-04

  20

  133

  MIT

• lean-lsp-mcp

  project-numina

  A

  license

  -

  quality

  F

  maintenance

  MCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.

  Last updated 2026-03-11

  19

  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

• Rideshare Comparison MCP

  MarceauSolutions

  A

  license

  -

  quality

  D

  maintenance

  Compare Uber and Lyft prices for any route, get supported cities, and retrieve booking links using Claude Desktop.

  Last updated 2026-01-14

  1

  MIT

• LLM Compliance Comparison MCP

  CSOAI-ORG

  A

  license

  -

  quality

  A

  maintenance

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

  Last updated 2026-06-20

  6

  MIT

• Document Comparison AI MCP

  CSOAI-ORG

  A

  license

  -

  quality

  A

  maintenance

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

  Last updated 2026-06-15

  7

  MIT

• tsurugi-python-mcp-tools

  septigram

  A

  license

  -

  quality

  C

  maintenance

  Enables to interact with Tsurugi RDBMS by executing SQL (DDL, DML, SELECT) and retrieving metadata through MCP.

  Last updated 2026-04-30

  Apache 2.0

• Climate Peer Comparison

  mohsen-ahmed-pm

  F

  license

  -

  quality

  B

  maintenance

  Generates peer comparison reports on emissions trends, reduction targets, and gaps for companies in a given SICS sector/sub-sector using live data from the Climate Data Utility (CDU).

  Last updated 2026-06-22

  1

• 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

• 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

  827

  MIT

• SolidworksMCP-python

  andrewbartels1

  A

  license

  -

  quality

  C

  maintenance

  Python MCP server for SolidWorks automation with 109 tools covering the full CAD lifecycle. Enables AI-assisted design workflows through COM automation on Windows.

  Last updated 2026-06-19

  27

  MIT

• MCP Design Comparison Server

  w01fgang

  A

  license

  -

  quality

  -

  maintenance

  Compare design and implementation screenshots using pixel-by-pixel analysis, generating visual diff images and metrics.

  Last updated 2026-04-16

  5

  MIT

• python-runner

  Drahoxx

  F

  license

  -

  quality

  D

  maintenance

  Execute Python code via subprocess with timeout and error handling, returning stdout, stderr, and exit code.

  Last updated 2026-02-03

  1

• enigma-python-mcp

  denismaggior8

  A

  license

  A

  quality

  A

  maintenance

  A Model Context Protocol server that brings the capabilities of enigmapython library to LLMs, allowing them to encrypt and decrypt messages using historically accurate Enigma machine emulators

  Last updated 2026-05-05

  1

  4

  MIT

• mcp-vue3-python

  gsccoelho

  A

  license

  A

  quality

  C

  maintenance

  A Python MCP server that generates complete Vue 3 CRUD structures with Composition API, including components, services, stores, and routes.

  Last updated 2026-06-22

  1

  MIT

• Chain of Draft Thinking

  bsmi021

  A

  license

  A

  quality

  D

  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

  60

  24

  MIT