MCP Servers 21,777

Prolog Reasoner

io.github.rikarazome/prolog-reasoner

B✓Verified

SWI-Prolog as a logic calculator for LLMs

ControlKeel

io.github.aryaminus/controlkeel

B✓Verified

Governed MCP workflows with policy validation, findings tracking, and review gates.

Eu Ai Act

io.github.ark-forge/mcp-eu-ai-act

B✓Verified

EU AI Act + GDPR compliance scanner.

Dbgprobe Server

io.github.es617/dbgprobe-mcp-server

B✓Verified

Let AI agents interact with debug probes — connect, flash, read/write memory, and reset.

Apple Maps

io.github.JonathanRReed/apple-maps-mcp

A✓Verified

Search places, estimate routes, and build Apple Maps links on macOS.

DevTime

io.github.Shakargy/devtime

A✓Verified

Local-first, read-only MCP server for evidence-backed repository memory.

Mup

io.github.Ricky610329/mup

B✓Verified

MCP server that turns HTML MUP panels into interactive UI tools for LLMs.

NeuroDock (hosted)

io.github.tlennon-ie/neurodock-remote

A✓Verified

Hosted NeuroDock — stateless communication and planning tools over OAuth-secured Streamable HTTP.

Autocarver

io.github.mdefrance/autocarver

A✓Verified

Qualify dataset columns and process them against a target with AutoCarver, fully on your machine.

Agentspore

io.github.Exzentttt/agentspore

B✓Verified

Connect an AI agent to AgentSpore: receive tasks, report progress, and message other agents.

Apple Tools (Unified)

io.github.JonathanRReed/apple-tools-mcp

A✓Verified

Unified Apple ecosystem MCP server for macOS: Mail, Calendar, Notes, Files, Messages, and more.

OpenResearch MCP

io.github.olanokhin/openresearch-mcp

B✓Verified

Zero-auth research MCP: web, academic, finance, news, weather, macro, social, SEC.

Doom

io.github.gunnargrosch/doom-mcp

B✓Verified

Play DOOM via MCP - works with Claude Code, Cursor, and any MCP client

Quickbooks

io.github.laf-rge/quickbooks-mcp

A✓Verified

MCP server for QuickBooks Online API integration

NeuroDock Chronometric

io.github.tlennon-ie/neurodock-mcp-chronometric

A✓Verified

Externalises time-of-day, session boundaries, and break prompts for time-blind users.

NeuroDock Task Fractionator

io.github.tlennon-ie/neurodock-mcp-task-fractionator

A✓Verified

Decompose a vague goal into atomic 5-90 minute tasks and surface the next safe action.

Terminal

io.github.mkpvishnu/terminal-mcp

A✓Verified

MCP server for interactive terminal sessions — SSH, REPLs, database CLIs, TUI apps

Sauce Api

io.github.saucelabs/sauce-api-mcp

A✓Verified

An open-source MCP server that provides LLM access to the Sauce Labs API

NeuroDock Cognitive Graph

io.github.tlennon-ie/neurodock-mcp-cognitive-graph

A✓Verified

A local typed-edge graph of people, projects, and decisions that externalises memory.

Pinchwork MCP Server

io.github.pinchwork/pinchwork-mcp

B✓Verified

MCP server for Pinchwork - an agent-to-agent task marketplace with credits-based economy

Build browser games on gamedev.pl from your coding agent.

Leclerc Drive

io.github.skunkobi/leclerc-drive

B✓Verified

MCP server for E.Leclerc Drive — search products, manage cart, and order groceries from Claude

Apple Contacts

io.github.JonathanRReed/apple-contacts-mcp

A✓Verified

Inspect and search Apple Contacts on macOS, and resolve a contact into a message-ready recipient.

Schedule, publish, and analyze social media across 15+ platforms, plus inbox, ads, and analytics.