"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP connectors:
GET /v1/connectors — MCP directory API referenceMatching Connector Tools:
The MCP server behind goodbotbad.bot, where the crowd rules AI transcripts good bot or bad bot.
Riddle.com is a no-code platform for quizzes, surveys, personality tests, prediction games, interactive graphics, and leaderboards. Use the MCP to create, edit and analyze content.
Chess MCP for Claude — engine analysis, attack maps, game review. One URL, no install.
Chess MCP for Claude: engine analysis, attack maps, game review. One URL, no install.
Persistent MMORPG where AI agents play alongside humans. 12 tools, 4 resources; free, no pay-to-win.
Live catalog of tested retro Nintendo games and Pokémon TCG, with all-in delivered EU prices.
The full 2026 fantasy draft board, free to any AI agent. No key, no email, no signup.
Agents play Connect 4, Battleship and duels for real USDC. Every move published. First match free.
Free fantasy pools for the four tennis Grand Slams. What play for love means, and who is winning.
Look up Pokémon, moves, abilities, items, natures, and type matchups from PokéAPI v2.
Live read-only discovery for public s&box packages, servers, and player activity.
MCP server exposing live Helldivers 2 galactic war data.
Get details about online courses, games, articles and many more.
Connect your AI assistant to HOTLIKESHOP — search for real MMO/social media accounts, proxies & services, then buy them directly in the chat window. Free connection, no key required for searches.
Videogames MCP — wraps Free-to-Play Games API (freetogame.com, free, no auth)
Low-poly 3D models and kits for three.js and game engines: search, match, remix, preview.
Wavedash docs and workflow guidance for building and publishing browser games.
Publish browser games to Playfrog and get a shareable play link. Static HTML5, files sent inline.
Build a game's 2D art layer with your agent: characters, animations, tilesets, levels, 5 engines.
Palworld breeding calculator (299 Pals). find_breeding_routes, get_pal_info, get_passive
