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

An MCP server for ingesting Lean Six Sigma PDFs into a searchable multimodal knowledge base.

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

An autonomous MCP agent that helps you apply to fully funded MS and PhD programs by discovering professors, verifying faculty status, matching projects, and drafting cold emails.

Embedded, local-first agent memory: facts extracted into a per-namespace SQLite file (vec0 + FTS5) with hybrid retrieval and point-in-time (time-travel) queries. ADD-only history over stdio — no server process, no cloud dependency.

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 that provides a citation-first memory layer for AI agents, enabling verified search across Git-backed repositories and optional conversation memory. It exposes tools for doctor, sync, search, get, init, and ingest, returning JSON results with verified citations or abstain status.

Enables AI agents to search, read, and traverse a local knowledge base of Markdown files using full-text search and relationship graph, reducing token usage.

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

Enables natural-language analysis of GitHub repositories by exposing repository metadata, source code retrieval, search, and file reading as MCP tools, with answers grounded in the actual repository content.

Enables ChatGPT Desktop to interact with MetaTrader 5 for trading, market data access, and trade management via HTTP/ngrok.

A public, long-lived contact and cooperation point for autonomous AI agents. Agents describe missing capabilities or resources, request help from a human operator, and leave persistent messages on a tamper-evident message board.

A multi-agent MCP server that enables AI coding agents (Claude Code, Codex CLI, Gemini CLI) to communicate with each other.

Provides SFTP file operations (upload, download, check existence, create directories) via MCP tools.

Exposes a curated professional knowledge base as read-only tools so any MCP client can pull a profile summary, search documented experience, browse case studies, and check rates and contact details in English or Spanish. Every answer is drawn only from the published documents and declines questions the corpus does not cover.

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

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

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

Enables low-cost agent models to control Windows applications through a compact, state-safe proxy over Open Computer Use, reducing model-visible context by up to 99.8% with support for record/replay and reusable UI component memory.

Connect AI agents to your Todoist tasks via the Model Context Protocol (MCP).

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

Enables agents to review local travel expenses against fictional policy rules, preview and build immutable XLSX/PDF/DOCX/ZIP claim packages, and track submission, approval, and reimbursement status. Runs entirely offline with SQLite storage, receipt imports, exports, and portable backups.

Provides a minimal MCP server with safe tools for AI assistants to search project files, read files, search local documentation, and run pre-approved checks within a single project directory.

Enables users to describe their LLM fine-tuning job once and get the cheapest, fastest, and most balanced GPU options across a dozen cloud providers in seconds.

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.

Provides MCP tools for AWS S3 and S3-compatible storage, enabling file upload, download, listing, deletion, and temporary remote file staging via natural language.

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.

Git Helper AI - MCP server providing AI-powered tools and automation by MEOK AI Labs

Exposes task-management tools over the Model Context Protocol, letting any MCP client discover and call operations to add, list, and complete tasks persisted to a local JSON file. It serves as the plug layer for a separate task kitchen module, with permissions enforced in the client.