Skip to main content
Glama
106,381 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Information about the website ritwikjoshi.com" matching MCP servers:

GET /v1/servers – MCP directory API reference
  • A
    license
    A
    quality
    A
    maintenance
    An MCP server that lets AI models run code in 31 languages, evaluate symbolic math and logic problems, and measure complexity—exposed as 48 tools for execution, session management, translation, optimization, and more.
    51
    259 PyPI
    5
    Apache 2.0
  • A
    license
    A
    quality
    C
    maintenance
    Enables compiling Lean 4 proof snippets on the local machine against a Mathlib project and returns structured compiler feedback — status, one-line hints, and the compiler's real error, warning, and information messages — so a model can iterate on proofs instead of guessing. Compilation is serialized, timeouts kill stuck tactics, and rejected code is reported as a normal result rather than a tool failure.
    1
    GPL 3.0
  • A
    license
    B
    quality
    D
    maintenance
    A comprehensive learning project demonstrating MCP server implementation with tools for calculator operations, file management, and system information retrieval, including Google ADK integration patterns and best practices.
    3
    6 npm
    ISC
  • A
    license
    B
    quality
    A
    maintenance
    Enables any MCP-compatible AI agent to directly operate PixInsight through about 80 tools for opening and editing images, running processes, PixelMath, astrometry, and channel operations.
    78
    1
    MIT
  • -
    license
    B
    quality
    Not graded
    maintenance
    A boilerplate project for quickly developing Model Context Protocol (MCP) servers using TypeScript SDK. Includes example tools for calculations and greetings, plus system information resources.
    2
    3
    -
  • A
    license
    B
    quality
    D
    maintenance
    An experimental server implementing Model Context Protocol to automate website deployments to 1Panel servers, allowing users to create websites and upload static files through natural language commands.
    1
    10 npm
    36
    MIT
  • A
    license
    B
    quality
    D
    maintenance
    A Model Context Protocol server that retrieves current weather information for any city using the OpenWeatherMap API, designed for integration with Claude Code.
    1
    6 npm
    1
    MIT
  • A
    license
    B
    quality
    D
    maintenance
    Provides comprehensive documentation about AWS AgentCore framework to GenAI tools, enabling users to build production-ready AI agents with enterprise-grade security, observability, and scalability. Offers guidance on identity management, API integration, monitoring, code execution, memory storage, and tool integration for AI agents.
    7
    Apache 2.0
  • F
    license
    B
    quality
    D
    maintenance
    A simple demonstration server for the MCP Python SDK that provides weather alerts for locations, allowing users to query weather information through Claude Desktop or Cursor.
    1
    -
  • F
    license
    B
    quality
    D
    maintenance
    A boilerplate project for quickly developing Model Context Protocol (MCP) servers using TypeScript SDK. Includes example tools like calculator and greeting functions, plus system information resources.
    3
    -
  • A
    license
    C
    quality
    B
    maintenance
    Enables AI agents to build, playtest, and publish Scratch projects headlessly over MCP, with 112 tools covering the website/social graph, block-level project editing, headless VM execution, and Python-to-blocks workflows.
    117
    1
    MIT
  • F
    license
    C
    quality
    D
    maintenance
    A microservice control plane server that integrates with Windsurf IDE by fetching API information from Eolink OpenAPI and exposing it as MCP resources, enabling seamless API integration and management in the development environment.
    6
    -