"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:

A customizable Model Context Protocol server implementation that enables AI models to interact with external tools including weather queries, Google search, and camera control functionality.

Enables users to manage parking sessions, track expiration times, and retrieve real-time weather and location context via MCP tools and resources.

An MCP server that provides weather alerts and forecasts, system shutdown/restart, smart browser search, and screenshot capture.

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

Enables querying current weather conditions and 1–7 day forecasts by place name through natural language, using Open-Meteo without requiring an API key.

A simple MCP server that provides weather tools, deployable with Docker, and designed to be used with Claude Desktop via a WSL bridge.

Provides weather information through OpenWeather API, enabling users to get current weather conditions, 5-day forecasts, and perform temperature conversions for any city. Offers a secure interface for AI assistants to access comprehensive weather data including temperature, humidity, wind, and pressure information.

Integrates weather tools with Intercom, providing real-time weather alerts, forecasts, and personalized customer greetings using National Weather Service API data.

An MCP server that provides weather and time tools, enabling users to get current time, weather alerts, and forecasts through natural language with Claude Desktop.

An extensible MCP server with weather and time tools for Claude Desktop. It provides current time with automatic timezone detection, weather alerts for US states, and 5-period forecasts for coordinates.

Enables AI assistants to retrieve real-time weather data and 5-day forecasts for any city using the OpenWeather API, supporting both metric and imperial units.

Integrates the OpenWeather API with Claude to provide real-time weather updates, 5-day forecasts, and air quality data. It enables users to query current conditions, pollution levels, and coordinate-based weather information directly within their conversations.

A lightweight Node.js server that connects Claude Desktop to Taiwan's Central Weather Administration (CWA) API, allowing users to retrieve weather forecast data for all cities and counties in Taiwan.

Provides real-time weather data from the US National Weather Service API, enabling users to fetch active alerts for any US state and 5-period forecasts for any latitude/longitude location through natural language.

Provides weather forecast data for locations in China through HeFeng Weather API, supporting real-time, hourly, and daily forecasts with full Chinese weather descriptions.

Provides current weather conditions and 5-day forecasts for any city worldwide using the OpenWeatherMap API.

A Model Context Protocol server that enables AI assistants to fetch current weather, forecasts, and search for locations using WeatherAPI service through stdio communication.

A Model Context Protocol server that provides tools to fetch weather alerts for US states and forecasts based on latitude/longitude coordinates using the US National Weather Service API.

A Model Context Protocol server that provides AI agents with tools to retrieve weather alerts and detailed forecasts for US locations using the National Weather Service API.

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