"Comparison of Python-based tools for converting TeX to Lean" matching MCP servers:

Compare Uber and Lyft prices for any route, get supported cities, and retrieve booking links using Claude Desktop.

An MCP-based project that integrates Zhipu AI and Tencent Map APIs to provide weather queries, geocoding, and web search functionality through both command-line and web interfaces.

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

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.

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

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

MCP server that provides Korean weather information using grid coordinates and the Korea Meteorological Administration API, allowing users to query current weather conditions and forecasts for specific locations in Korea.

Provides weather forecast and alert information for US locations using the National Weather Service API. Enables users to get detailed weather forecasts by coordinates and retrieve active weather alerts by state.

MCP server for converting PLSS legal descriptions to GPS coordinates and vice versa, enabling AI agents to work with U.S. Public Land Survey System data.

Enables AI assistants to interact with the Open Charge Map API, allowing exploration of endpoints, test requests, and using documentation to integrate the SDK.

Enables querying weather data through natural language, providing current conditions, daily and hourly forecasts, and city comparisons using the wttr.in API.

An MCP server that provides a tool to query Brazilian postal codes (CEPs) via the ViaCEP API, returning address details such as street, neighborhood, city, and state.

Provides five utility tools: weather information, calculator, currency converter, timezone information, and unit converter.

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 AI agents access to OpenStreetMap's comprehensive tagging knowledge base, enabling tag queries, preset discovery, and validation of OSM tags for mapping applications.

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

Read-only MCP server for vessel identity lookup, AIS-style positions, tracks, port calls, carrier schedules, vessel schedules, and delay heuristics with source attribution and BYOK provider support.

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.