"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

A local MCP server that integrates FastMCP with OpenAI to enable natural language queries for current weather, forecasts, and currency conversion using ExchangeRate-API and Open-Meteo.

Enables agents to verify postal addresses, email addresses, and phone numbers against Melissa's Global Verification APIs before acting on the data, including batch verification and a per-session call budget to prevent runaway costs.

Enables AI assistants to validate and standardize US addresses using the official USPS Address Validation API with secure OAuth2 authentication.

A self-contained MCP server that gives AI agents the ability to calculate high-precision astronomical data. It provides tropical zodiac coordinates, planetary speeds, retrograde detection, and house cusps using the trusted Swiss Ephemeris engine. 100%

Provides 15 geospatial utility tools for AI agents, covering coordinate transformation, spatial data validation, elevation/terrain, viewshed analysis, and drone flight planning.

An MCP server providing tools for weather, calculations, currency conversion, timezone queries, and unit conversions.

Search for local businesses worldwide. Structured data optimized for AI agents. • Search Millions of businesses over 49 countries (Europe, Northamerica, Southamerica, Asia, Oceania) • Quality & demand scoring for every business • Ranking based on real user click-through data • No API key needed, free access • Rate limit: 500 requests/hour per IP

Enables MCP-compatible AI clients to look up UK postcode details, find nearest postcodes by coordinates, and retrieve upcoming bank holidays through keyless public APIs.

Geolocation AI - MCP server providing AI-powered tools and automation by MEOK AI Labs

MCP server that enables AI assistants to search for rental cars, query prices, and access map services using the AMAP API.

Search for local businesses worldwide. Structured data optimized for AI agents. • Search Millions of businesses over 49 countries (Europe, Northamerica, Southamerica, Asia, Oceania) • Quality & demand scoring for every business • Ranking based on real user click-through data • No API key needed, free access • Rate limit: 500 requests/hour per IP

Provides tools for AI assistants to access Amanahfy APIs, enabling campaign details and IP geolocation lookups.

Provides IP address geolocation and related info via an API, with MCP server integration for easy use in AI tools.

Provides access to comprehensive weather data including real-time conditions, forecasts, historical weather, marine data, astronomy information, and weather alerts through the Weatherapi.com API.

Provides access to Google Maps API functionality including places search, geocoding, directions, distance matrix, elevation data, and static map generation through the MCP interface.

Provides access to real-time and historical flight data from Flightradar24 API, enabling users to track live aircraft positions, query flight histories, and retrieve comprehensive aviation information including aircraft, airline, and airport details.

Provides access to the GeoDB Cities API for retrieving global geographic data including city details, populations, and local time. It enables users to find nearby locations, calculate distances between places, and browse administrative divisions across countries.

Enables geocoding and reverse geocoding operations to convert city names to coordinates and coordinates to location names using the API Ninjas service.

Enables accessing Yelp Business API to search businesses, get reviews, menus, and business details.

Provides access to the City By Api Ninjas API to retrieve detailed city information worldwide. Users can search and filter results by name, country, population range, and geographic coordinates.