"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

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

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.

A source-preserving MCP server for coding agents working on Hearts of Iron IV mods, combining focus tree, GUI, and map tools with transaction safety.

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.

Use Codex as a subagent inside Claude Code: async dispatch into a long-lived codex app-server, results pushed back into the Claude session automatically, steer/interrupt mid-task, and Codex's built-in code review.

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.

Enables AI tools to interact with browsers for enhanced frontend development, providing context to LLMs through tools like API call analysis, screenshots, element selection, and documentation ingestion.

Diablo II Resurrected modding toolkit — character builder, mod build/deploy pipeline, save inspector, CASC reader, and MCP server for Claude/Codex/AI integration. Linux/Steam Deck.

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

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

Transforms any prompt into a fully functional, production-ready product with zero human intervention by providing 150+ autonomous tools covering all aspects of software development.

Enables coding agents to review GitHub pull requests with a panel of AI models through local or remote MCP endpoints.

Connects ChatGPT to Roblox Studio's built-in MCP, enabling natural-language reading and writing of game data, including executing Luau code and modifying scripts and instances.

Provides token-efficient code retrieval for coding agents by indexing repositories and enabling ranked snippet search, symbol outlines, and surgical line reads.

A Rust + Tauri 2 desktop application that turns local project folders into persistent MCP workspaces, enabling AI agents to read files, modify code, run commands and tests, check Git status, and maintain cross-conversation development context through historical checkpoints, with built-in WSS/FRP/Cloudflare tunnels and OAuth for connecting to ChatGPT.

Empower any MCP-compatible AI Agent(MCP Client) with engineering-grade capabilities to understand, modify, run, and deliver real-world code repositories.

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.

A comprehensive MCP server providing tools for AI agents to interact with code, including reading symbols, importing modules, replacing text, and sending OS notifications.