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:

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

  2

  2

• In Memoria

  pi22by7

  -

  security

  A

  license

  -

  quality

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

  Last updated 15 days ago

  112

  136

  MIT License

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

• All-in-MCP

  jiahaoxiang2000

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

  10

  2

  MIT License

• Git Helper MCP

  LetsCodeTheBrain

  -

  security

  F

  license

  -

  quality

  Enables Claude to interact with git repositories by providing real-time access to repository status, branch information, commit history, and file changes. Allows users to query their git workspace through natural language commands.

  Last updated 3 months ago

• Commit Helper MCP

  jolfr

  A

  security

  F

  license

  A

  quality

  A Model Context Protocol server that provides Commitizen functionality, enabling AI assistants to generate, validate, and work with conventional commit messages.

  Last updated 6 months ago

  21