"Comparison of Python-based tools for converting TeX to Lean" matching MCP servers:

An MCP server adapter that allows LLM agents to autonomously play World of ClaudeCraft by wrapping the game's headless environment as MCP tools for state reading and action execution.

Enables AI-assisted clan analysis for Clash of Clans by reading official API data and applying customizable rubrics for war grading, promotion screening, and carry-forward decisions.

Fetches Wordle solutions from the Wordle API for dates ranging from May 19, 2021 to 23 days in the future.

An MCP server that lets Claude control a Minecraft bot with 40+ actions including movement, combat, crafting, and inventory management. Built on Mineflayer, it supports Microsoft authentication, pathfinding, and auto-reconnect.

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.

MCP server for the Clash of Clans API. Can get player, clan information, analyze ongoing wars, as well as war logs (provided they are public).

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.

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.

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.

MCP server exposing 30 tools for League of Legends player analysis, match review, and training-plan generation.

Provides real-time access to League of Legends esports data including live matches, schedules, leagues, event details, and VODs through a standardized interface.

Enables inspection of local SudokuPad replay files by exposing read-only tools that return replay metadata, filtered and paginated event timelines with undo/redo links, and full reconstructed grid states at a given action or time.

Enables AI agents to control a shared Conway's Game of Life world via MCP tools, with a live browser viewer and WebSocket updates.

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.

A local stdio MCP server that exposes the public Atraxis guild-commerce API to coding agents such as Codex and Claude Code, letting them browse the public contract without a token and, once ATRAXIS_API_TOKEN is supplied, read guild warehouse, currency, balance, and activity data. Write operations stay hidden unless explicitly enabled with --allow-writes, and transfers always require a caller-supplied idempotency key.

Enables AI assistants to control Discord servers with 93 tools for server management, moderation, voice TTS, AI chat via OpenRouter, and World of Warships stats lookup through the Model Context Protocol.

Connect to your TTRPG campaign's repository and database. Instead of retrieving prose, its 48 tools (20 read, 28 write) return typed state: 14 entity schemas (NPCs, factions, locations, sessions, lore), relationship and knowledge-graph queries, wiki blocks, and a narrative-state bundle of open threads and canon facts.

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-powered Path of Exile 2 character optimization through natural language queries, providing intelligent build recommendations, gear upgrades, and passive tree optimization using the official PoE API and comprehensive game database.

Enables users to search, compare, and retrieve detailed information about World of Warships ships using the official Wargaming.net API. Supports filtering by nation, type, and tier with multi-language support and intelligent caching.