Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Knowledge Base MCP Servers
Browse 1,023 servers tagged Knowledge Base in the MCP Server List directory. Popular picks include Logic (Prover9/Mace4), MariaDB, and LottieFiles.
MariaDB
Bridges Claude with MariaDB databases for read-only SQL query execution, enabling data exploration through formatted table results while enforcing safety…
LottieFiles
Integrates with the LottieFiles API to enable search and retrieval of animations by keywords, popular collections, and detailed information without leaving the…
Solana
Integrates with Solana blockchain to enable natural language querying of account data, transactions, and network status.
FOCUS DATA MCP Server
Converts natural language queries into SQL by registering database schema information and handling text-to-SQL transformations through a Spring Boot…
Jira
Integrates with Jira's API to enable issue searching, data cleaning, and project management automation using natural language commands.
APISIX-MCP
APISIX Model Context Protocol (MCP) server is used to bridge large language models (LLMs) with the APISIX Admin API, supporting querying and managing all…
Minecraft Wiki MCP
A server for browsing and searching the official Minecraft Wiki.
Headless IDA Pro
Enables reverse engineering of binary files through IDA Pro's headless mode, providing tools for function analysis, disassembly, decompilation, and code…
OpenPyXL Excel
Enables Excel file interaction with capabilities for retrieving cell values, searching ranges, examining formatting and formulas, and listing worksheet…
Apollo.io
Integrates with Apollo.io's API to enable access to sales intelligence data, including contact enrichment, company information, and job listings for sales…
Context Mem
Your AI forgets everything between sessions. This fixes that — 98%+ retrieval accuracy, 100% on LongMemEval, 99% token savings. 44 MCP tools. Fully local, zero…
EventCatalog
Provides a dynamic event catalog server for querying and retrieving architectural metadata, enabling developers to explore complex event-driven system…
Linkup Search
Integrates with Linkup Technologies' API to enable web searches for information gathering, fact-checking, and research tasks.
Logseq Knowledge Graph
Integrates with Logseq knowledge graphs to enable retrieval, analysis, and manipulation of personal knowledge bases through tools for page content access…
LogSeq
Integrates with LogSeq API to enable automated note-taking, knowledge graph analysis, and workflow automation for developers and knowledge workers.
IP Geolocation
Integrates with ipinfo.io API to provide IP geolocation services, enabling location-based insights and network analysis.
MCPVerified
The definitive resource for Model Control Protocol (MCP) - Opinionated. Curated. Verified.
Confluence Cloud
Integrates with Atlassian Confluence Cloud, enabling space management, page operations, content searching, and label handling for enhanced documentation and…
Apple macOS Native Applications
Enables AI interaction with macOS native applications through AppleScript for tasks like managing contacts, notes, emails, reminders, calendar events, and maps…
Google Custom Search
Integrates the Google Custom Search API to enable web searches for retrieving and analyzing online content.
Obsidian Tasks MCP Server
A Model Context Protocol (MCP) server that extracts and queries tasks from Obsidian markdown files using the Obsidian Tasks plugin format. Designed to enable…
Zaxy — event-sourced agent memory with cited checkout and reversible forgetting (stdio/SSE via PyPI)
Zaxy turns agent work into durable, auditable memory: a hash-chained Eventloom log as the source of truth, an embedded temporal knowledge graph for reasoning…
Placid Image Generator
Integrates with Placid's API to generate dynamic images from templates for tasks like social media posts and marketing materials.