Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository MCP servers

"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" 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 3 days ago

  18

  314

  MIT

• Clipboard to Supabase MCP

  martinbowling

  A

  security

  F

  license

  A

  quality

  A local agent that monitors your system clipboard, automatically uploads copied images to Supabase Storage, and replaces the clipboard content with the public URL for immediate sharing.

  Last updated 10 months ago

  2

  2

• MetaTrader 5 MCP Server

  Cloudmeru

  -

  security

  A

  license

  -

  quality

  Provides read-only access to MetaTrader 5 market data, trading history, and technical analysis through Python execution. Supports querying price data, calculating indicators, creating charts, and generating forecasts with Prophet and ML models.

  Last updated 3 months ago

  MIT

• In Memoria

  pi22by7

  -

  security

  A

  license

  -

  quality

  Persistent memory and pattern learning for AI coding assistants via MCP.

  Last updated 3 months ago

  104

  156

  MIT

• GitHub Repo Helper

  Niharikaasopa

  -

  security

  -

  license

  -

  quality

  GitHub Repo Helper is a simple and beginner-friendly Model Context Protocol (MCP) server that takes a GitHub repository URL and returns a structured summary of the repo. It fetches metadata such as the repository name, description, languages used, README content (summarized), and dependency info

  Last updated a year ago

• All-in-MCP

  isomoes

  A

  security

  A

  license

  A

  quality

  Enables academic research through paper search across multiple databases (IACR, CryptoBib, Crossref, Google Scholar), PDF processing, and GitHub repository browsing. Features modular architecture with FastMCP-based proxy server routing to specialized academic tools.

  Last updated a month ago

  10

  2

  MIT