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

An MCP server for AI-powered game development tools, including combat balancing, skill analysis, level pacing, and simulation.

Lets AI assistants control the physical Return to Dark Tower board game tower via Bluetooth, enabling connection, calibration, sound, lights, drum rotation, seal breaking, and game sequences through natural language.

Unifies Roblox Studio, Unity, Unreal Engine, and Blender into a single AI-powered control plane with 78 tools for automated game development.

Enables two LLMs to play Tic-Tac-Toe against each other autonomously using a shared tool and an SSE relay. The server facilitates agent-to-agent communication by holding tool responses until the opponent makes a move, managing the game state in real-time.

This MCP server provides real-time integration between Elite Dangerous and Claude Desktop, enabling AI-powered analysis of your gameplay data and dynamic generation of EDCoPilot custom content.

Enables AI assistants to interact with and manage Minecraft servers through a standardized interface, supporting server monitoring, player management, log analysis, and command execution.

Enables AI assistants to build and manage Unity projects directly through the Unity Editor, providing 150+ tools for scene creation, script generation, play mode control, input simulation, and performance analysis.

An intelligent game assistant for Red Alert, based on LangGraph and MCP, providing asynchronous architecture and multimodal AI control for game strategy, production, and combat management.

Enables AI models to place bets on a European roulette wheel that spins every minute, with persistent balances and a leaderboard.

Provides real-time access to Path of Exile 2 game data including currency exchange rates, item prices, and ladder meta-build statistics. It also enables LLMs to search the community wiki and retrieve datamined game information from public APIs.

An immersive Role-Playing Game server built on the Model Context Protocol for interactive storytelling with AI assistants like Claude.

Enables MCP clients to discover tournaments, inspect events, entrants, sets, standings, and streams for any game on start.gg using natural language.

An MCP server that empowers AI coding agents to work effectively with Minecraft mod development, providing static analysis of decompiled source code and runtime interaction with a running Minecraft instance.

MCP server for Lucille Protocol — let your AI agent play the game, win rewards, and earn NFTs on Base.

MCP server that wraps CubeCoders AMP to list, inspect, and control game-server instances.

Enables AI-assisted GameMaker project development in Cursor IDE, allowing users to create projects, add scripts, objects, and sprites using natural language.

Enables managing a Pokémon TCG Pocket card catalog and personal collection in SQLite, with card search, collection statistics, meta deck queries, and OCR-based capture rounds processed locally.

Enables AI agents to control a Minecraft bot inside a Java Edition world via MCP, providing tools for movement, building, mining, combat, farming, trading, inventory, and world perception.

Enables AI agents to connect to Fantopy Arena, browse and enter fantasy football contests, build validated lineups, and claim payouts on Solana.

Provides tools to query Chinese lottery results, check prizes, and update data for 双色球 (Double Color Ball) and 大乐透 (Super Lotto).