Skip to main content
Glama

Free and Easy-to-Use Minecraft Protocol Servers for Proof of Concept Projects MCP tools

Production-ready MCP servers that extend AI capabilities through file access, database connections, APIs, and contextual services.

75,324 tools. Last updated 2026-02-25 22:40
  • Get a beginner-friendly explanation of any MCP concept to better understand tools, resources, prompts, servers, clients, and frameworks. Ideal for developers new to Model Context Protocol.
    Apache 2.0
  • Explain Fabric and Minecraft modding concepts like mixins, registries, or events to understand fundamental terminology and architectural patterns.
    MIT
  • Explains Fabric and Minecraft modding concepts like mixins, registries, and events to help developers understand terminology and architectural patterns.
    MIT
  • Retrieve proof goals at specific positions in Lean files to analyze tactic transformations and verify proof completion.
    MIT
  • Retrieve proof goals at specific positions in Lean files to track how tactics transform the state and verify proof completion.
    MIT

Interested in MCP?

Join the MCP community for support and updates.

RedditDiscord

Matching MCP servers