"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 retrieval and filtering of Indiana Bureau of Motor Vehicles (BMV) locations, including branches, self-service kiosks, and motorcycle training sites.

Provides AI assistants with specialized tools to interact with NIST's Open Security Controls Assessment Language (OSCAL) framework. It enables agents to retrieve schemas, explore models, and generate valid OSCAL documentation for security compliance automation.

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.

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 users to search and query information about military service alternative companies in South Korea through the Military Manpower Administration (MMA) API. Supports filtering by service type, industry, company size, location, and recruitment status.

Official MCP server for 1acre.in, enabling lookup of survey numbers, browsing cadastral data, and generating land-intelligence reports for India's verified land marketplace through MCP-compatible clients.

Enables querying SINTEGRA TO (state tax information) through a read-only MCP server, using natural language.

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.

Enables users to query IPVA (vehicle property tax) data from the official SEFAZ TO source via a read-only MCP tool.

Read-only MCP server for querying SEFAZ Tocantins (SEFAZ TO) NFC-e (electronic consumer invoice) data from official government sources via natural language, working with any MCP-compatible client such as Claude, Cursor, VS Code, and more.

Guides correct disposal methods for confusing household waste items. Provides tools for classifying waste, getting disposal steps, checking confusing items, making cleanup plans, and regional disposal info.

MCP server for GLEIF LEI (Legal Entity Identifier) database access. Look up, validate, and search legal entities and their relationships in the global LEI system.

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.

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).

Facilitates retrieval of National Park Services data using the NPS API, allowing users to list national parks by state and access detailed information about specific parks.

An AI-optimized Model Context Protocol server for querying Malaysian consumer goods prices from official KPDN Pricecatcher data, enabling natural language price searches and comparisons across regions.