"A server for full math MCP" matching MCP servers:

Enables semantic search and retrieval over a locally supplied copy of Lemma's documentation, providing ranked excerpts and full-text chunk access via read-only MCP tools without calling live banking APIs.

Enables agents to perform full-text search and read Hermes Agent documentation offline from a local cache, without scraping the site.

A server that provides AI agents with full OpenClaw documentation via BM25 search, enabling them to look up configurations, providers, and other topics without web lookups.

MCP server for see-u-ui component library, allowing AI assistants to query component props/events/slots/examples on demand.

Apple developer documentation for coding agents: doc search with developer.apple.com's own results, a complete index of 336,629 pages read in full with signatures and OS availability, and Sample Code with 1,700 WWDC sessions (2014–2026) included. Helps agents write native Swift against current Apple APIs.

A public MCP server for OHADA legal research, enabling search of relevant provisions, retrieval of full articles with hierarchical context, and citation verification.

Enables AI models to search, browse, and retrieve full content of OpenCode documentation pages.

Enables a persistent local library for mathematical PDFs with cached LaTeX extraction, full-text search in English and Greek, and page/image retrieval over MCP.

MCP server that exposes tools to route natural language queries to typed IDs, describe catalog entries, and list repository verification commands for the m-dev-tools organization.

Provides AI coding tools with queryable documentation for the AK (Active Kernel) event-driven MCU framework, including API signatures, guides, and guardrails.

A read-only MCP server that exposes Tiramisu AI's product information, pricing, and official links to MCP-compatible AI clients.

Provides full class documentation for the Binding of Isaac modding API, enabling AI assistants to access complete class pages with methods, enums, and tutorials to avoid hallucination.

A read-only MCP server for navigating OpenAPI / Swagger specifications, enabling agents to search endpoints, retrieve parameters and schemas, and inspect authentication without loading the full spec into context.

Connects a Zotero library to MCP-compatible clients, enabling library search, full-text PDF reading, highlight retrieval, and formatted citation export.

Readme Generator AI - MCP server providing AI-powered tools and automation by MEOK AI Labs

Enables AI agents to programmatically engage Agrus.ai by listing services and verticals, querying compliance positions, retrieving NDA-protected case studies, and drafting Discovery Sprint scopes for regulated industries.

Provides read-only access to Gemini 3 Online's knowledge surface (models, pricing, links, FAQ) for MCP-compatible AI clients, requiring no API keys.

Enables searching J-Quants API endpoints, retrieving detailed documentation, generating executable sample code, and answering FAQs via MCP clients like Claude Desktop.

Enables AI agents to discover and read Typeship API documentation and execute API operations through schema-validated MCP tools, with optional read-only mode and configurable result limits.

An MCP server that provides indexed, searchable access to Anthropic Claude and Google Gemini documentation, with full-text search, page fetching, and section listing capabilities.