Browse MCP servers — page 17

支持通过 Lean 客户端（leanclient）使用语言服务器协议（Language Server Protocol）与 Lean 定理证明器进行代理交互的 MCP 服务器。提供工具，帮助大型语言模型（LLM）代理理解、分析并与 Lean 项目交互。需要配备 lake 构建系统的 Lean 项目；在启动 MCP 服务器前，手动运行 'lake build'。可选配置 LEAN_PROJECT_PATH 环境变量以指定 Lean 项目路径。

A comprehensive MCP server that connects Claude with Microsoft 365 services through the Microsoft Graph API and Power Automate API. Requires configuration of Azure app credentials via environment variables in a .env file.

MCP Git Ingest 是一个 Model Context Protocol (MCP) 服务器，帮助读取 GitHub 仓库结构和重要文件。它需要 Python 3.8 及以上版本，并依赖外部 Python 包 fastmcp、gitpython 和 uvicorn。

AI coding assistant and extensible AI framework for JupyterLab that adds chat, inline edit, auto-complete, and an agent that can drive notebooks. Supports multiple LLM providers including GitHub Copilot, OpenAI-compatible endpoints, Ollama local models, and Anthropic Claude CLI. Requires Python 3.10+ and JupyterLab 4.x.

一个模型上下文协议（MCP）服务器，允许大型语言模型（LLMs）通过自然语言命令与iOS模拟器交互。需要在macOS上安装XCode和iOS模拟器。要求Node.js版本为14.0.0或更高。服务器还会通过Homebrew安装额外的依赖项，如idb-companion，以及通过pip在Python虚拟环境中安装fb-idb。

SSP is a lightweight and efficient Spring framework vulnerability scanning and exploitation tool implemented in Go. It supports 17 vulnerability modules, information leakage detection, custom dictionaries, concurrency and rate limiting, and includes an MCP server exposing all capabilities to AI clients via stdio.

Baidu Map MCP Server is a fully MCP-compliant, open-source Location-Based Service (LBS) solution providing geospatial APIs such as geocoding, POI search, route planning, weather, traffic, and more. Requires an API key configured via environment variables (e.g., BAIDU_MAPS_API_KEY or BAIDU_MAP_API_KEY).

Share code with LLMs via Model Context Protocol or clipboard. Rule-based customization enables easy switching between different tasks (like code review and documentation). Code outlining support is included as a standard feature.

Windows 控制服务器，用于模型上下文协议（Model Context Protocol），提供对鼠标、键盘、窗口管理、屏幕捕获和剪贴板操作的编程控制。需要 Windows 操作系统，且可选配置环境变量以设置自动化提供程序。

Windows 控制服务器，用于模型上下文协议（Model Context Protocol），提供对鼠标、键盘、窗口管理、屏幕捕获和剪贴板操作的程序化控制。支持通过环境变量配置自动化提供程序。

用于将 AI 编码工作卸载到 Aider 的模型上下文协议服务器，提升开发效率和灵活性。需要通过环境变量（例如 GEMINI_API_KEY、OPENAI_API_KEY、ANTHROPIC_API_KEY）配置 API 密钥，具体设置请参照 .env 文件。

一个提供图像处理工具的模型上下文协议（MCP）服务器，专为大型语言模型（LLMs）设计。需要通过后安装脚本下载外部预训练模型到模型目录，包括YOLO和CLIP模型。