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

Provides comprehensive startup consulting services including commercial area analysis, competitor research, policy funding recommendations, startup checklists, and business trends using Kakao Map API and public data.

Enables access to Australian real estate data through the Realty In Au API, supporting property listings, agent/agency information, property details, school lookups, and property search with various filters.

MCP server to access India Open Government Data (data.gov.in) resources via natural language queries.

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.

Read-only MCP server for the July 2026 survey of AI in open-source design systems, enabling agents to query 19 systems' affordances, coercion techniques, and platform data via 9 tools, 2 resources, and 2 prompts.

Provides read-only access to Guangdong gaokao data, enabling searches for schools, scores, and data files via MCP.

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

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.

This project implements a Model Context Protocol (MCP) server providing Formula One racing data using the Python FastF1 library. Inspired by an existing TypeScript server, it offers similar F1 data functionalities natively in Python via FastF1.

Exposes Denmark's Statistical Bureau API as programmable resources, making it easy to integrate with language models and modern AI applications to enable natural language queries for statistical data.

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

Enables natural language access to Denmark's Statistics API (Danmarks Statistik), allowing users to query and analyze Danish statistical data without coding knowledge through AI-powered interactions.

Provides a tool to fetch npm package information via MCP. Enables AI agents to retrieve structured package details using the getNpmPackageInfo tool.

Provides a tool to fetch npm package information via the Model Context Protocol.

Provides access to the USGS Quakes API within Claude Desktop, enabling users to retrieve earthquake data and details through natural language queries.

Exposes 26 structured analytical tools over Climate Finance Update datasets, enabling fund-level financial analysis, portfolio aggregations, and data quality diagnostics without requiring the client to write data access code.

An MCP server to query Colombian public procurement data from SECOP I and II in real time, enabling contract research, transparency oversight, and data journalism.

Enables users to search and retrieve package repository information from Repology through natural language. Supports searching projects, getting detailed package information, and checking repository problems across multiple Linux distributions and package managers.

MCP server for structured Australian macroeconomic and financial data from the Australian Bureau of Statistics (ABS), the Reserve Bank of Australia (RBA), and the Australian Prudential Regulation Authority (APRA).

Provides tools to search and retrieve papers, metadata, full text, figures, and PDFs from the ChinaRxiv preprint repository.