"Information about the number 555" matching MCP servers:

Enables coding agents to compile supplied files, run optional focused tests, and get static findings across ten programming languages, providing a deterministic feedback loop on the code they are about to return.

MCP server for Python build123d to help AIs develop and reason about 3D models and CAD

Teaching LLMs that Math.random() is so last century

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.

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.

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.

A local Ethereum contract analysis tool that retrieves on-chain information, integrates Etherscan and RPC data, and automatically executes view functions to provide comprehensive contract insights.

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.

A simple MCP server that provides a tool to fetch current weather information for cities using the Open-Meteo API, communicating through stdin/stdout.

A Model Context Protocol server that retrieves current weather information for any city using the OpenWeatherMap API, designed for integration with Claude Code.

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.

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.

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.

A local MCP server that enables AI clients to read ArcGIS Pro project information and execute ArcPy geoprocessing in the native ArcGIS Pro Python environment.

A TypeScript template for creating Model Context Protocol servers that enable AI models to utilize external tools, including example operations and simple number addition functionality.

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.

Provides AI-driven development tools including file system operations, multi-language code analysis with tree-sitter, Git operations, code execution, and system information retrieval.

An MCP server that exposes Language Server Protocol features to external clients, allowing access to hover information, definitions, completions, references, and rename functionalities.

Enables AI coding tools like Cursor to access Figma design files and metadata, allowing accurate one-shot implementation of designs in any framework by providing simplified layout and styling information from the Figma API.

Enables large language models to access user geolocation information through EdgeOne Pages Functions using the Model Context Protocol.