Search MCP Servers — Page 22

Airtight math for AI agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean 4 kernel checks. No LLM inside, no API key.

A discovery and recommendation service for exploring MCP servers using natural language queries.

A lightweight, local MCP server in Python that enables RAG search through AWS Lambda.

MCP server para el BOE 🇪🇸 — Acceso a legislación consolidada, sumarios diarios y tablas oficiales del Boletín Oficial del Estado mediante Model Context Protocol y API REST.

About MCP server para el CENDOJ 🇪🇸 — Acceso automatizado a resoluciones judiciales de España, filtros avanzados de jurisprudencia y lectura de sentencias mediante Model Context Protocol y API REST

The MCP for MCPs: lets your agent search and get recommendations across MCP servers, skills, plugins, agents, prompts and rules. Remote endpoint https://mcpcharts.com/mcp, no auth.

Explore and discover Model Context Protocol servers using natural language queries.

Performs deep web searches for information using the Tavily API.

A server for performing deep web searches using the @just-every/search library, requiring API keys via an environment file.

Access website documentation for AI search engines (llms.txt files) over MCP.

A server for document management and semantic search using AI embeddings, with local JSON storage.

Check the availability of domain names across over 50 popular TLDs using DNS and WHOIS verification.

MCP server that checks domain availability in real-time during brand naming — never recommend a name without a domain again

Search the curated directory of MCP servers for AI filmmaking and plan a full production stack.

Find an MCP server for any task: federated search over the official MCP Registry, Smithery and npm, remote-first, with install snippets per client. Remote, keyless: https://findanmcp.com/mcp

Performs Google searches using Gemini's built-in Grounding with Google Search feature.

A Go-based MCP server providing grounded search functionality using Google's Gemini API.

Remote MCP server for searching and discovering MCP servers. Endpoint: https://mcpharbor.app/mcp

Checks whether an MCP server still does what it declares - contract drift, source liveness, and trust verdicts, queryable over MCP.

Searchable web directory of 15,300+ MCP servers with health checks, categories, and one-line install commands. Free, no signup.

A zero-configuration job aggregation service that fetches job listings from major recruitment websites.

A knowledge base server that processes local documents (PDF, DOCX, TXT, HTML) and answers questions based on their content using similarity search.

MCP Lucene Server is a Model Context Protocol (MCP) server that exposes Apache Lucene's full-text search capabilities through a conversational interface. It allows AI assistants (like Claude) to help users search, index, and manage document collections without requiring technical knowledge of Lucene or search engines.

Search and discover 25,000+ MCP servers via AI-powered search. Supports MCP (SSE) and A2A dual protocols.

Generate express market research reports from 9 verified sources (Wikipedia, Google News, GitHub, HN, SO, arXiv, npm, Reddit, PyPI). TAM/SAM/SOM, SWOT, HTML reports.

Search 1000+ Russian construction companies and real estate agencies for AI agents

A meta-server for discovering and provisioning other MCP servers from a large database.

Search for news articles using the Naver News API. Requires Naver News API credentials.

Query and analyze Portuguese companies using the NIF.PT public API. Supports search by NIF, company name, and city.

A server for searching NixOS, Home Manager, and nix-darwin resources.