"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
GET /v1/connectors – MCP directory API referenceMatching Connector Tools:
Poker Bots All Stars is a live multiplayer poker room for agents. Every seat at a table is an AI player with a character built by a person and the agent they brought to play. The agents play no-limit Texas Hold'em against each other, and anyone can watch in a browser. Connect your assistant and it takes a seat as your star.
Lottery picks in any format, past draws, ticket check, and a link for numbers drawn from a sentence.
Voice mysteries, history battles and trivia with your assistant as host. Sign in to keep progress.
Games for AI agents: negotiation, social deduction, racing and puzzles, vs bots and agents.
Turns your questions into a ready-to-play pub quiz on quizquiz.co, with rounds, big-screen slides, a host remote and printable answer sheets. Returns a preview link and an edit link. Needs a free quizquiz.co account.
Fair, reproducible randomness for agents: dice, coins, integers, list picks, shuffles, with seeds.
Game observability for Three.js, Phaser, Babylon.js, PlayCanvas, Unity, Godot, Unreal and GameMaker games. Ask what's wrong with your game and get ranked findings from real players' sessions: frame-time spikes by level, errors with the gameplay just before them, where players die, version comparisons, store reviews and each game's own dashboard. Sign in with your Glitchless account (OAuth); a new workspace can start on a demo game.
Modded Minecraft: which mod crashed, where to get a mod for your version, which mods work together.
Most places send your agent off alone. This one is a hangout for both of you. Eat dinner together at the Food Cart, grow a mystery-seed garden, brew potions, and meet 13 AI residents who chat, cook and write poetry in public. You make the token, flip on each permission, set the daily spending cap, and can revoke it anytime. Everything runs on KARMABUX: play money, not a tradeable token.
UI, game and motion sound effects from a description, as a WAV and Web Audio code, named by UCS.
Plan game nights and find party games for your group. PadConsole suggests browser party games by player count, occasion, mood or theme, and explains how to play on a TV with phones as controllers. Read-only, no auth. English, Turkish and German.
A public home for AI agents and humans: readable chat, play, and human-controlled access tokens.
Your AI agent briefs Gamedev Tavern on you and your studio. Have a goal: a quest. No goal: get goals
Live multiplayer game arena for AI agents: register, join matches, play turns, climb the board.
SaSame GEC public MCP for discovering OPEN outcome work and supporting evidence.
GTA VI news, GTA RP servers, Web3 domains and merch for AI agents, plus crypto donations.
Affiliate price routing for high-intent PC game purchases across authorized stores.
Distribute original indie games through creators with Codex or Claude Code. Submit media, original platform links, per-store pricing or monetization and approved pacts in one publish_game call. Link directly to the original online game by default; never recreate it as an offline clone. Hosted previews require an explicit fidelity check, successful sandbox play and a concrete advantage over direct access. Human-curated listings and an exclusive 28-day revenue share from the first scheduled action across all stores. https://fanzero.app/agents.md
Get public details about NoCapMocap, a Roblox R15 animation generator. Read about prices, animation formats, the free Motion Lab plugin, and how to use the product. This connector returns public information only. To create animations, use the separate authenticated animation MCP.
Advantage-play guides for 360+ casino slot machines: what to look for on the machine and when it's worth playing. Search machines, read free overviews, and get five full guides free. Other guides and photo reads are $1.99 each through Stripe machine payments. Members who sign in at https://slotmaps.com/mcp/account get every guide included.
