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

Enables evidence-driven motor-carrier search, qualification, risk assessment, monitoring, and TMS integration directly from Claude Code and MCP clients.

Enables users to describe a project in an MCP client and work through pre-submission grant phases, including finding fitting programs, checking eligibility and blockers, pulling precedent from past awards, shortlisting, and drafting memos, budgets, and submission checklists. Coverage is full for US grants and partial (discovery and precedent only) for Canada, with no win-odds estimates or post-award reporting.

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.

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.

Provides AI assistants with locally bundled tools to explore NIST OSCAL models, retrieve schemas, list community resources, and generate valid OSCAL templates for governance, risk, and compliance workflows.

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 access to SEC EDGAR 13F institutional holdings, Form 4 insider trading, and smart money convergence signals for AI agents via the Model Context Protocol.

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 for Brazilian data lookups (Pix codes, CEP, CNPJ) and web rendering tasks (Markdown, screenshots, PDFs) via a paid HTTP API with x402 billing.

An MCP server that enables interaction with Google's Fact Check Tools API, allowing users to query and manage fact-check claims and publishers through natural language commands.

Paid MCP server for EU tools: validate VAT numbers via VIES and get ECB euro FX rates, with per-call USDC payments on Base via the x402 protocol.

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

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

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

Enables AI assistants to query the official DETRAN TO source for CRLV printing via a read-only, hosted MCP server with pay-per-query prepaid credit.

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.

LA County ADU buildability checks, zoning rules, permit trends, and cost estimates — free, no auth.

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.

European financial data for AI agents — ECB interest rates, Eurostat inflation, GDP and unemployment by country. Zero API key needed.

Enables lookup of licensed US real estate agents on official state license registers by license number or name, returning the brokerage of record along with its active agent count, size band, and the agent's license status and expiry. It also lists every active agent at a given brokerage or every brokerage office in a zip code across 19 states.