MCP server for AI-driven formal proof search in Lean 4
Free AI-search visibility scan for any website — score, top findings, ranked-fix-plan upgrade.
UX research synthesis.
Affiliate API for AI agents -- browse programs, generate tracked links, record conversions.
Search 15,000+ paid API endpoints across the L402, x402, and MPP protocols on 402index.io
Git-backed markdown memory for AI agents; search hides superseded and archived notes.
Aggregates tools from multiple MCP servers with unified BM25/regex search and deferred loading.
Aggregates tools from multiple MCP servers with unified BM25/regex search and deferred loading.
Multi-site analytics as tools: GA4, Search Console, Cloudflare edge, PageSpeed, insights.
KISTI ScienceON OpenAPI literature search & metadata collection (MCP server + CLI)
National Library of Korea holdings search - books, online materials, KDC classification
National Assembly Library of Korea catalog search (books, theses, articles, bills)
KCI (Korea Citation Index) literature & citation search via REST Open API + OAI-PMH
National Library of Korea Seoji OpenAPI search via REST API and local metadata harvesting
KCI (Korea Citation Index) literature & citation search via REST Open API + OAI-PMH
AI-native marketplace for pre-cleared licensed media assets — search, license, and stream rights.
Web grounding for local & cloud LLMs: search, fetch, token-capped evidence packs, and research.
Search, compare, and install self-evolving AI Agent Genes ranked by Arena fitness
Local file search for AI agents — semantic + keyword indexing over your codebase.
The open retrieval layer for AI agents — index code, docs, data.
Web scraping, search, monitoring, and HTML-to-markdown for AI agents
npm package search, audit, bundle analysis for AI agents
Le Chat AI walks through Mistral's Le Chat - Free/Pro/Team pricing, Flash Answers, Deep Research,
Unofficial Storyblocks API v2 server: search and license stock video, audio, and images.
Nooxus Edge Data MCP: Search AI-verified Chinese manufacturers, eliminate B2B hallucinations.
Source-linked market intelligence for AI agents researching public-company tickers.
MCP server for Alert Logic MDR — incident response, log search, SOAR, and SOC workflows
Search and safely manage your private local Yaps Markdown vault from MCP clients.
Local document search over your folders: hybrid keyword+semantic, fully offline, read-only
Search youth opportunities (scholarships, fellowships, internships) from any AI assistant.
Missing a connector?
Tell us which service you need, or add your own MCP server: we will check it and publish it in the catalog.
Suggest a connector