Metamath MCP
Local installio.github.mrfentmen/metamath-mcp
Metamath MCP: 20 real tools to read, check, lint, scaffold, build and run Metamath code.
Every server in the official MCP Registry. Ranked by whether they actually work: we connect to each one and publish what happens.
18,813 servers
Metamath MCP: 20 real tools to read, check, lint, scaffold, build and run Metamath code.
Customers, products, prices, invoices, and payments through the Stripe API.
Metal MCP: 20 real tools to read, check, lint, scaffold, build and run Metal code.
Supabase projects, tables, SQL, migrations, and storage from your MCP client.
MetaCPAN: search Perl module releases, authors and abstracts - keyless.
Neon Postgres projects, branches, SQL, and migrations from your MCP client.
MET Norway (yr.no) forecast: current conditions, hourly and daily outlook, rain-only view — keyless.
Bases, tables, and records in Airtable: list, search, create, update, delete.
Meson MCP: 20 real tools to read, check, lint, scaffold, build and run Meson code.
Geocoding, places, directions, distance, and elevation through Google Maps.
Predict local Git merge-conflict pressure fro MCP: real tools for real work.
Search, read, and get recommendations for AWS documentation pages.
Bitcoin network status: recommended fees, mempool backlog, blocks, addresses, difficulty retargets.
Read DeepWiki repository wikis and ask questions about public GitHub repos.
Meme template reference and image generation from the official Imgflip and memegen APIs.
Firecrawl web data: scrape, map, search, crawl, extract, research, and llms.txt.
Generate, solve and render mazes deterministically from a seed - fully local.
Perplexity answers: ask, search, reason, and deep research through the Sonar API.
Maven Central: artifact search, versions, group listings, class lookup, dependency snippets.
Web search, page extraction, crawling, and site mapping powered by the Tavily API.
Multiply, invert and find the determinant of matrices with exact rational arithmetic - fully local.
Neural web search, code context, and page crawling through the Exa API.
MATLAB MCP: 20 real tools to read, check, lint, scaffold, build and run MATLAB code.
Resolve library names and fetch current, version-specific documentation via Context7.
mathjs: evaluate any maths expression remotely with the math.js service - keyless.
Web, local, news, image, and video search through the Brave Search API.
Marlowe MCP: 20 real tools to read, check, lint, scaffold, build and run Marlowe code.
Elasticsearch tools: indices, mappings, query DSL search, ES|QL, and shards.
Convert markdown to HTML and extract headings locally. No network and no key.
Query ClickHouse over HTTP: list databases and tables, run SELECT.