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

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

Call OpenAI Codex from Claude Code for independent second opinions, structured code review, and delegated coding tasks through a FastMCP plugin that drives the codex CLI safely.

Enables Codex to delegate code reviews, coding tasks, image/video generation, and background investigations to Grok via MCP tools.

An autonomous MCP server that uses the Claude Code CLI to solve coding problems without permission prompts.

A lightweight MCP bridge that lets Claude Code delegate heavy tasks to the Antigravity CLI - saving context window and tokens for what matters.

MCP server that lets you drive Claude Code sessions hands-free by voice from any MCP client, enabling remote models to send prompts, monitor progress, and get results read back.

An MCP server that turns a one-sentence idea into working, tested code using a pipeline of six AI agents, with optional deployment.

A local MCP server that lets Hermes supervise Claude Code, delegating focused coding, research, or review tasks to the Claude Code CLI and managing worker sessions, background jobs, cancellations, and read-only reviews.

Enable Claude (or any other LLM) to interactively debug your code (set breakpoints and evaluate expressions in stack frame). It's language-agnostic, assuming debugger console support and valid launch.json for debugging in VSCode.

Enables automated migration of Vue projects to React with intelligent analysis, task management, and learning from user modifications.

MCP server that parses .sketch design files into CSS-aligned, LLM-friendly JSON, enabling AI coding agents to generate high-fidelity HTML, Vue, or React code.

Bridges Claude Code CLI with Cursor IDE to use your existing Claude subscription without separate API costs.

Enables AI assistants to write and execute C# code directly inside Autodesk Civil 3D, providing full API access through code generation and execution.

Enables Codex to delegate coding tasks to an OpenCode CLI locally, returning structured results such as exit codes, session summaries, tool calls, and git diffs.

An MCP server that enhances Claude Code with evidence-first engineering, protocol gates, project-aware verification, auditable traces, and durable autonomous execution.

Enables AI coding agents to read and write a user's Figma file through the Figma Plugin API, offline and privately, without API tokens or rate limits.

The most advanced MCP server for Godot Editor that lets AI assistants operate directly inside your running Godot project for scene creation, script generation, UI authoring, and more.

Provides Cursor-like code intelligence using tools like ripgrep, ctags, and tree-sitter to help LLMs explore and understand entire codebases. It implements a structured, phase-gated workflow to ensure high-confidence code modifications and eliminate hallucinations.

Production-ready MCP server starter templates in TypeScript and Python. Includes tool, resource, and prompt patterns with Claude Desktop integration configs.

Enables Windows users to connect Antigravity CLI as an MCP subagent for coding tasks such as file reading, code execution, edits, and terminal commands, with model selection, conversation continuity, and streaming progress.