Skip to main content
Glama
73,156 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

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

  • haksnbot-tools

    haksndot
    A
    license
    -
    quality
    F
    maintenance
    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.
    3
    MIT

  • MCP-to-MCP Tic-Tac-Toe

    PsychoSmiley
    A
    license
    B
    quality
    D
    maintenance
    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.
    1
    Apache 2.0

  • Crossword MCP Server

    watamoo
    A
    license
    A
    quality
    D
    maintenance
    Enables solving crossword puzzles by loading grid and clue files, registering candidate words, checking consistency, and rendering final solutions. Supports Japanese crosswords with automated solving capabilities through natural language interaction.
    5
    4
    MIT

  • Minecraft Server MCP

    Ver-zhzh
    A
    license
    B
    quality
    D
    maintenance
    Enables AI assistants to interact with and manage Minecraft servers through a standardized interface, supporting server monitoring, player management, log analysis, and command execution.
    11
    MIT

  • D&D MCP Server

    study-flamingo
    A
    license
    B
    quality
    D
    maintenance
    A comprehensive Model Context Protocol server for managing Dungeons & Dragons campaigns with tools for characters, NPCs, locations, quests, combat encounters, and session tracking.
    30
    12
    MIT
  • SagaSmith Narrative MCP by SagaSmithAI

    SagaSmith Narrative MCPofficial

    SagaSmithAI
    A
    license
    -
    quality
    C
    maintenance
    Enables long-form tabletop narrative play with durable campaigns, profiles, conflict phases, and branching storylines. Provides session-scoped MCP tools for lobby and play phases, including administrator controls for access, snapshots, and branches.
    Apache 2.0
  • archivist by archivist-gg

    archivistofficial

    archivist-gg
    A
    license
    -
    quality
    B
    maintenance
    Provides read-only SRD lookup and deterministic enrichment tools for D&D 5e content generation, including search, entity retrieval, and generation of monsters, spells, items, NPCs, and encounters.
    MIT

  • manifold-market-api

    tbui17
    A
    license
    -
    quality
    B
    maintenance
    Wraps the Manifold Markets public REST API into an MCP server, providing 40 tools for querying markets, users, groups, bets, comments, and more.
    10
    MIT

  • RS3-MCP

    Ross-Ward
    A
    license
    -
    quality
    D
    maintenance
    Enables AI agents to interact with RuneScape 3 and OSRS ecosystems through tools for Grand Exchange prices, player stats, and server data.
    18
    Apache 2.0

  • space-invaders-tui

    Avee4k
    A
    license
    -
    quality
    B
    maintenance
    MCP server that lets LLMs play a terminal Space Invaders game with the SUPERHOT rule: time only moves when the agent moves. Exposes tools to start a game, inspect the board state, and act by holding left/right/fire for N frames.
    305
    1
    MIT