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:

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

  478

  MIT License

• 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 23 days ago

  10

  8

  Apache 2.0

• Atom-of-thoughts

  kbsooo

  A

  security

  A

  license

  A

  quality

  AoT MCP server enables AI models to solve complex reasoning problems by decomposing them into independent, reusable atomic units of thought, featuring a powerful decomposition-contraction mechanism that allows for deep exploration of problem spaces while maintaining high confidence in conclusions.

  Last updated 7 months ago

  3

  50

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

  1

  2

  4

• Python REPL MCP Server

  hdresearch

  A

  security

  A

  license

  A

  quality

  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 2 days ago

  3

  32

  MIT License

• MCP-Python

  rhabraken

  -

  security

  F

  license

  -

  quality

  A server that enables interaction with PostgreSQL, MySQL, MariaDB, or SQLite databases through Claude Desktop using natural language queries.

  Last updated 10 months ago