MCP Servers 2,556
Filtersactive
NeuroDock Chronometric
Externalises time-of-day, session boundaries, and break prompts for time-blind users.
Autocarver
Qualify dataset columns and process them against a target with AutoCarver, fully on your machine.
Terminal
MCP server for interactive terminal sessions — SSH, REPLs, database CLIs, TUI apps
Mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification.
Sauce Api
An open-source MCP server that provides LLM access to the Sauce Labs API
NeuroDock Cognitive Graph
A local typed-edge graph of people, projects, and decisions that externalises memory.
Apple Contacts
Inspect and search Apple Contacts on macOS, and resolve a contact into a message-ready recipient.
Perforce Agentic Gateway
Local MCP gateway that proxies AI clients to many MCP servers with a token-efficient code mode
Apple Shortcuts
List, inspect, and run Apple Shortcuts on macOS.
Vaara
Accountable autonomy proxy: gating, tamper-evident audit, time anchor for every action
thread-keeper
Multi-agent shared brain across Claude, Codex, Antigravity, Gemini, Copilot, and VS Code.
Apple System
Read and manage macOS system settings and perform scoped desktop actions.
SeekLink
Local read-only semantic search for Markdown vaults through MCP.
BLEA
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
Kicad Server
MCP server for AI-assisted PCB design with KiCad 9.x
Kagan
AI-powered Kanban TUI for autonomous development workflows with agent orchestration
OpenWorkProof
Verifiable execution for AI agents: Ed25519-signed work contracts and audit trails.
Token Compressor
Compress prompts 40-60% using local LLM + embedding validation.
Mnemo
Persistent AI memory with hybrid search (FTS5 + semantic) and cross-machine sync.
RDL MCP Server
Edit SSRS reports using AI - simple tools to read and modify RDL files
Decompose
Decompose text into classified semantic units.
SignNow Api Helper MCP
MCP server for SignNow API helper tools (stdio only).
