mcp

Lean Theorem Prover MCP

MCP server that exposes Adam Framework vault memory as tools for Claude Desktop, Cursor, and any MCP-compatible client

Local repository intelligence for coding agents

SQLite SQL tools — parser, formatter, validator, and MCP server

Analyze MCP servers and see how much context window each tool consumes

MCP server adapter for AgentNode — expose AgentNode packs as MCP tools for OpenClaw, Claude Code, Cursor, and other MCP clients.

MCP server for adding papers and books to Zotero by DOI, arXiv ID, or ISBN

LangChain integration for the Huangting Protocol MCP network — the world's first lifeform OS for AI Agents

An MCP server and importable Python module that wraps Facebook IDB to control iOS simulators for automation. Implemented by AskUI.

MCP server for AI-powered Rossum orchestration: document workflows, debug pipelines automatically, and configure intelligent document processing through natural language.

MCP-server til YouSee's danske TV-guide — brug Claude eller ChatGPT til at se hvad der kører i TV

MCP server that reads and writes the system clipboard — tables, text, code, JSON, URLs, images, and more.

急语箱MCP服务器 - 场景识别服务（准确率95%+）

MCP server for orchestrating multi-process rr debugging sessions

Orchestrate fleets of AI coding agents (Codex, Gemini, Claude) with multi-stage workflows

MCP server for emotional analysis, de-escalation, and strategic dialogue management in customer support

Python Code Intelligence Engine — static analysis knowledge graph exposed via MCP for AI agents

ASAM ODS MCP Server - Query and analyze measurement data from ASAM ODS servers in AI agent systems.

Enhanced MCP server for interactive user feedback and command execution in AI-assisted development, featuring dual interface support (Web UI and Desktop Application) with intelligent environment detection and cross-platform compatibility.

A Model Context Protocol (MCP) server for accessing PDBe (Protein Data Bank in Europe) structural biology data and services