Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Directory
Search MCP Servers
Open Source MCP CLient Library
<picture> <img alt="" src="./static/image.jpg" width="full"> </picture> <h1 align="center">Open Source MCP CLient Library </h1>…
kvasir.legal
Ground your legal AI on verifiable German, Austrian, Swiss & EU law — resolve, search and verify citations with provenance and pinpoint deeplinks. 440k+…
Rostro
Turn any language model into a multimodal powerhouse that can generate images, music, videos and more on the fly. Rostro's tools are designed to be used by…
UIZZE
STOP UI SLOP: ground Codex, Claude Code, Cursor, and Copilot in 800,000+ real web and iOS screens before a hard finish-gate review.
Claude MCP Server
# 🧠 Meta-Optimized Hybrid Reasoning Framework **by Ryan Oates** **License: Dual — AGPLv3 + Peer Production License (PPL)** **Contact…
Context Pipe
# ⛓️ Context-Pipe **The Universal Standard for Context Engineering.** [](htt…
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.
Scavio
MCP server connecting AI agents to Google, YouTube, Amazon, Walmart, TikTok, and Reddit. 21 tools for web search, product lookup, video discovery, and social…
Hidden Empire
Play a legendary text adventure by talking to your AI — no commands to memorize. The Hidden Empire puts a full underground world of puzzles, treasures, and…
Integrating AI with Flutter: Creating AI Services with LlmServer and mcp_server
# Integrating AI with Flutter: Creating AI Services with LlmServer and mcp_server 
OpenAI Integration with MCP
# OpenAI Integration with MCP This section demonstrates how to integrate the Model Context Protocol (MCP) with OpenAI's API to create a system where OpenAI can…
MCP demo (DeepSeek as Client's LLM)
Run a MCP client & server demo with DeepSeek API
Mcp client example
This is a sample CLI chat application for an AI assistant using the Anthropic API in conjunction with an MCP client and MCP server.
Greptile
# 🚀 Greptile MCP Server - TypeScript Edition [](https://badge.fury.io/js/greptile-mcp-server)…
MCP-Ollama Client
Lightweight MCP client that uses a local Ollama LLM to query multiple MCP servers defined in config.json
Github
# SSE-based Server and Client for [MCP](https://modelcontextprotocol.io/introduction) [
n8n AI Agent with Local MCP Integration (Docker + npx)
# n8n AI Agent with Local MCP Integration (Docker + npx) This repository contains an n8n workflow demonstrating how to integrate the Model Context Protocol…
Quick Example
# Standardizing LLM Interaction with MCP Servers Model Context Protocol, or MCP, is [an open protocol that standardizes how applications provide context to…
WhatsApp MCP Assistant (Client-Server)
The WhatsApp MCP Assistant (Client‑Server) is a natural‑language pipeline that sends and schedules WhatsApp messages. It uses a Mistral LLM to interpret user…
Jentic
# Jentic SDK & MCP Plugin [Beta] Jentic MCP empowers AI agent builders to discover and integrate external APIs and workflows rapidly—without writing or…
📦 mcp-client-go
mcp client for Go (Golang). Integrate multiple Model Context Protocol (MCP) servers