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

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

Stdio MCP server for managing recommended.by lists from agents like OpenClaw, Codex, Claude Desktop, etc. It exposes tools to create, read, update, delete lists and items via the recommended.by REST API.

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.

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

A production-grade MCP server for managing git projects, offering dynamic tool selection and enterprise-grade security.

MCP server for agentic-first PDF review of LaTeX papers, enabling commenting, compiling, and visual inspection via Claude Code.

A self-hosted MCP server for Linear that reduces response sizes by field-selecting minimal data, saving tokens and costs in LLM agent sessions.

Provides intelligent codebase analysis, dependency scanning, architecture detection, security vulnerability scanning, and automatic documentation generation for modern development teams.

Docker Helper MCP server that provides tools for automating Docker tasks such as generating Dockerfiles, parsing docker-compose files, and optimizing images.

An MCP server that provides structured, AI-powered guidance for LeetCode problems, including approach analysis, hints, complexity breakdowns, and optimization directions without spoiling solutions.

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

Enables natural language interaction with Jira Cloud tickets, including listing, searching, creating, and updating issues through a set of MCP tools.

Provides documentation search, reading, and AI-powered Q\&A for ArkTS/ArkUI development, enabling AI coding assistants to answer questions and retrieve official docs.

MCP server for generating consistent UTM-tagged links based on an authoritative, version-controlled UTM specification.

MCP server for AI agents to send notifications, copy to clipboard, request confirmations, and collect text input from users across their devices.

An MCP server for React Native Upgrade Helper diffs. It fetches the same generated template diffs used by React Native Upgrade Helper, backed by react-native-community/rn-diff-purge, and exposes them as MCP tools that agents can call directly.

Fork of @cyanheads toolkit MCP server. Added encoding functions, removed system network functions.

Enables Codex to manage a local Claude Code companion through MCP, implementing a dual-agent workflow where Codex handles reasoning and review while Claude Code performs engineering tasks.

Automates the React Native Upgrade Helper website to extract upgrade information and file diffs between React Native versions.

Enables LLMs to access MCP protocol specifications and TypeScript SDK documentation with context-aware search and code templates for building custom MCP servers.