Search mathlib for formal Lean theorem names and types via Loogle pattern queries or LeanSearch natural language. Use to find declarations for verification.
Apache 2.0
280,793 tools. Last updated 2026-07-10 04:55
"A server for performing natural language queries in Jira" matching MCP tools:
- Search over 494 software products by name, keyword, category, or natural language query to find tools with ratings, pricing, and free plan availability.MIT
- Search for creators across YouTube, Instagram, and TikTok using natural language queries. AI selects the platform and applies relevant filters.MIT
- Search Zvec vector stores by converting natural language queries into embeddings and retrieving similar items from a specified collection.Apache 2.0
- Ask natural-language questions about your ledger to get free-form answers, mapping plain English to internal filters for read-only exploration.MIT
- Search code repositories semantically using vector embeddings to find relevant code symbols by natural language queries, with optional language filtering.MIT
Matching MCP Servers
- Flicense-qualityBmaintenanceEnables any MCP-compatible AI assistant to search, filter, and retrieve information from a local document collection using a hybrid search pipeline with vector, BM25, reranking, and LLM enrichment.Last updated4
- Alicense-quality-maintenanceProvides tools and resources to detect AI-generated writing patterns and refine text for more authentic, human-like communication. It enables users to analyze phrasing via a scoring system and apply conversational guides tailored for platforms like Twitter and LinkedIn.Last updated1
Matching MCP Connectors
Jira MCP Pack
FEMA disasters, NOAA weather alerts, USGS earthquakes. 4 tools.
- Search documents using semantic understanding to find relevant content based on meaning rather than keywords. Understands natural language queries and returns ranked passages with source information.MIT
- Search memories using natural language queries to retrieve relevant preferences, decisions, and patterns from past sessions.MIT
- Search WormBase for genes, proteins, phenotypes, strains, and other biological entities using natural language queries or specific IDs.MIT
- Retrieve precise API documentation, signatures, parameters, return types, and code examples for any npm package using natural language queries.MIT
- Query a knowledge graph for relationships and facts using natural language, entity, or relation type. Supports temporal queries and configurable graph depth.MIT
- Search stored memories using natural language queries. Filter by tags and set a minimum similarity score.MIT
- Continue product listing conversations by providing product details in natural language. Use to iteratively describe a product before final submission.MIT
- Converts natural language questions into SELECT SQL queries for specified databases, enabling intuitive data retrieval without manual query writing.Apache 2.0
- Run natural language queries on structured records extracted by a sift to answer specific questions.MIT
- Process natural language queries to obtain structured data on leads, contacts, and opportunities. Supports table, natural, or combined response formats.MIT
- Search saved PRDs using natural language queries to find documents by topic, feature, or service name.MIT
- Build a list of entities matching a natural-language query, such as 'Series A fintech companies in Europe'.MIT
- Search the web and return results in natural language format using the Exa AI Search API. Provide a clear objective and optional keyword queries to find specific information.MIT
- Converts natural language queries into multi-step SQL analysis plans and executes them against databases to answer complex analytical questions.MIT