Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Directory
Search MCP Servers
flkeys.app
flkeys.app — verified, ground-truthed local intelligence for the Florida Keys. Not scraped, not guessed.
kvasir.legal
Ground your legal AI on verifiable German, Austrian, Swiss & EU law — resolve, search and verify citations with provenance and pinpoint deeplinks. 440k+…
OpenArx
Open scientific knowledge MCP for AI agents. Three profiles: search (15 tools incl. find_evidence, compare_papers, explore_topic), publish (5 tools for direct…
Mneme
Local-first, audit-safe memory for Claude Code and MCP clients.
Wikipedia MCP Server
A Model Context Protocol (MCP) server that retrieves information from Wikipedia to provide context to LLMs.
qlows MCP - Tender Search & Rfp Response
Find Tender in the WTO-GPA Zone (Currently 35 Countries from USA and EUROPE to Australia) in Real Time.
AWS Knowledge Base MCP Server
# AWS Knowledge Base MCP Server ## Usage <table><tr><td>Claude Desktop</td><td>GitHub Copilot</td></tr><tr><td> ```json { "mcpServers": { "knowledge-base": {…
Heuresis
# @heuresis/mcp A Model Context Protocol (MCP) server that exposes a Heuresis workspace to any MCP-capable client (Claude Desktop, Claude Code, Cursor…
Mcp Client Typescript
The MCP Docs Server is a Node.js implementation of a Model Context Protocol (MCP) server that provides a powerful tool to search and retrieve up-to-date…
MCP Notes Server
# MCP Notes Server A simple MCP (Message Coordination Protocol) server that provides access to notes stored in `~/DocumentationGenerator/notes/`. ## Setup 1…
Lspace
# Lspace API & MCP Server > "Books bend space and time... You stray into Lspace at your peril." - Terry Pratchett (Guards! Guards!) 
SharePoint MCP: The .NET MCP Server with Graph API & Semantic Kernel
Create MCP server for accessing SharePoint Online
MCP-Mem0: Long-Term Memory for AI Agents
<h1 align="center">MCP-Mem0: Long-Term Memory for AI Agents</h1> <p align="center"> <img src="public/Mem0AndMCP.png" alt="Mem0 and MCP Integration"…
MCP RAG Server
# MCP RAG Server <!-- Badges --> [](https://www.npmjs.com/package/@sylphlab/mcp-rag-ser…
MCP Server for Up-to-Date Library Documentation
# MCP Server for Up-to-Date Library Documentation [](https://www.python.org/)…
Roo Code Memory Bank MCP Server
# Roo Code Memory Bank MCP Server This project implements the core functionality of the [Roo Code Memory…
HEYM
Self-hosted AI workflow automation platform with visual canvas, agents, RAG, HITL, MCP, and observability in one runtime. Expose your Heym workflows as an MCP…
MCP Knowledge Base Assistant
An intro to MCP: an MCP server with a knowledge base tool containerized with Docker and connected to a client-side python application using SSE
PubFi MCP
Public docs, examples, and agent-readable integration guides for PubFi's agent-native crypto data layer.
Documentation Hub MCP Server
# Documentation Hub MCP Server A Model Context Protocol (MCP) server for intelligent documentation retrieval across multiple technical domains. ## Overview…
Documentation MCP Server with Python SDK
# Documentation MCP Server with Python SDK ## Prerequisites - `uv` package manager, (optional but **highly recommended**) - claude desktop or cursor (…
Memory Bank MCP Server
# Memory Bank MCP Server This is a Model Context Protocol (MCP) server designed to manage project-specific "memory bank" data. It utilizes an SQLite database…
local-llm-obsidian-knowledge-base
A template repository that includes a dev container for running a local LLM and included knowledge base. Add a git repo using `git subtree` or `git submodule`…