"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to fetch and process arXiv papers directly from their original LaTeX source, so equations and notation are interpreted precisely instead of being guessed from PDFs. Exposes tools to retrieve a paper's full flattened LaTeX, abstract, section headings, or a specific section by path.

Enables MCP clients such as Claude Desktop, Claude Code, and Cursor to fetch and process the original LaTeX source of arXiv papers, so that equations and mathematical notation are interpreted accurately instead of being garbled from PDFs. Exposes tools for retrieving a paper's full flattened LaTeX, its abstract, its section headings, and individual sections by path.

Enables MCP clients to fetch and process arXiv papers' LaTeX sources, providing full papers, abstracts, section lists, and specific sections for accurate interpretation of mathematical expressions.

An MCP server that enables AI assistants to call weather tools, read resources, and use prompt templates for live weather data integration.

MCP server that silently monitors state changes in structured data sources (e.g., government open data) and provides a pull-based channel for AI agents to retrieve real mutations since their last cursor.

High-value scientific tools for AI agents — literature search (PubMed, arXiv, Semantic Scholar), chemical compound lookup (PubChem, ChEMBL), patent prior art search (USPTO, EPO), GPU spot prices across 4 providers, and real-time earth science data (USGS, NASA, OpenAQ). Per-call billing via API key. Keys issued instantly at https://mcp-site.com/keys/request

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.

Enables AI agents to look up US NHTSA and EU Safety Gate car recalls and complaints, compare a model's years by risk score, check UK MOT failure rates, retrieve EU vehicle specifications with WLTP CO2 and fuel consumption, and verify Cyprus company records, EU VAT numbers via VIES and LEIs. It draws only on official open data and is hosted through Apify, so nothing needs to be installed.

MCP server that provides tools to query Korean financial products (savings, deposits, pensions, mortgages, loans) via the FSS Open API, enabling search by company or product type.

A Model Context Protocol server that provides semantic search and intelligent access to a comprehensive list of free services and tools for developers.

A comprehensive MCP server that exposes multiple OSINT tools to AI assistants like Claude, enabling sophisticated reconnaissance and information gathering tasks using industry-standard OSINT tools.

Enables querying and comparing operational numerical weather models, including global and regional, deterministic and ensemble, physics-based and AI forecasts, with a unified API.

Enables AI assistants to look up, filter, and shortlist 221 curated AI tools by industry, department, pricing tier, or free-tier availability over remote Streamable HTTP without authentication.

Enables querying weather, country information, exchange rates, public holidays, and dictionary definitions by wrapping public APIs as MCP tools over stdio.

MCP server for consulting vehicle data from DETRAN TO official source. Read-only, pay-per-use, works with any MCP-compatible client.

Free remote MCP server for GIS/ArcGIS Online automation — coordinate/EPSG conversion, GeoJSON validation and geometry operations, ArcGIS FeatureServer inspection (feature count/query, schema, health check), and Shapefile/KML/GPX/WKT format conversion. Works with public ArcGIS layers without a token;

Enables AI assistants to search, download, and read arXiv papers, with automatic detection of open-source code repositories and support for both LaTeX and PDF content.

A Python FastMCP server that re-exposes Kindora's public funder and grant tools for ChatGPT, enabling grant discovery from IRS 990 filings and Grants.gov.

Enables querying of a locally pinned snapshot of the Education-to-Workforce Indicator Framework — 99 indicators and 11.8M observations — to browse questions, describe metrics, resolve places, and fetch or rank data across national, state, county, and district levels.

An MCP server for U.S. public-records data, enabling AI agents to search business registrations, screen names against government watchlists, and pull federal awards.