Aristotle MCP Server是一个最小化的模型上下文协议服务器，用于通过Aristotle API使大型语言模型能够在Lean中证明定理并形式化数学问题。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 1
命令预览
uv run main.py
通过自然语言控制AutoCAD的服务器工具，支持多种CAD软件和基本绘图功能。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 11
- GitHub Stars
- 1
命令预览
pip install -e .
A Model Context Protocol (MCP) server that enables natural language interactions with AWS storage services through Amazon Q CLI.
运维云端未说明
- 工具数量
- 0
- GitHub Stars
- 1
一个JavaScript实现的Axiom MCP服务器，用于通过Axiom Processing Language (APL)查询数据，适用于Node.js环境的数据处理场景。
运维云端未说明
- 工具数量
- 2
- GitHub Stars
- 1
CData的MCP服务器为Azure Active Directory提供本地只读访问，使LLM能够通过自然语言查询实时数据，无需SQL。
运维云端未说明
- 工具数量
- 3
- GitHub Stars
- 1
Azure DevOps MCP C# server and client code
运维云端未说明
- 工具数量
- 0
- GitHub Stars
- 1
CData的Azure DevOps MCP服务器通过JDBC驱动将Azure DevOps数据暴露为关系型SQL模型，使LLMs能够通过自然语言查询实时数据。
运维云端未说明
- 工具数量
- 3
- GitHub Stars
- 1
一个允许通过Cursor IDE的自然语言聊天功能控制Azure DevOps的工具，支持工作项管理、代码审查、构建和发布等操作。
运维云端未说明
- 工具数量
- 0
- GitHub Stars
- 1
一个基于Node.js和Express开发的Azure服务监控服务器，用于监控虚拟机和虚拟机规模集的状态和详细信息。
运维云端未说明
- 工具数量
- 12
- GitHub Stars
- 1
bitflux MCP
@modelcontextprotocol/inspector
BitFlux MCP Server是一款帮助用户从支持BitFlux的EC2实例获取数据以确定最适合其工作负载的实例类型的工具，适用于本地工作站与AI工具配合使用。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 1
命令预览
npx @modelcontextprotocol/inspector \
Bizfly Cloud MCP Server是一个全面的模型上下文协议（MCP）服务器实现，用于管理Bizfly Cloud上的云资源，包括服务器、卷、负载均衡器、Kubernetes集群等。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 1
命令预览
docker run -it --rm \
一个本地运行的Blawx API调用服务器，用于与Blawx服务交互。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 38
- GitHub Stars
- 1
命令预览
python -m pip install -e .
BEA MCP服务器提供美国经济数据访问服务，包括GDP、个人收入、区域经济和行业统计数据。
运维云端未说明
- 工具数量
- 6
- GitHub Stars
- 1
一个基于TypeScript实现的综合性计算器MCP服务器，提供广泛的数学计算功能，适用于语言模型通过MCP客户端进行数学运算。
运维云端HTTP
- 工具数量
- 12
- GitHub Stars
- 1
为CATS（Complete Applicant Tracking System）API v3提供动态工具集加载的MCP服务器，包含228个工具和17个工具集，适用于招聘、数据管理和配置场景。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 1
命令预览
pip install fastmcp httpx python-dotenv
提供美国人口普查局数据的API服务，包括人口统计、收入、住房等信息。
运维云端未说明
- 工具数量
- 5
- GitHub Stars
- 1
创思大模型安全 MCP 是面向大语言模型的内容安全防护系统，通过实时风险识别与拦截，保障大模型应用的安全、合规与可信。
运维云端未说明
- 工具数量
- 0
- GitHub Stars
- 1
基于FastMCP框架的多进程并行执行服务器，为Claude Code CLI提供异步任务处理能力。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 5
- GitHub Stars
- 1
命令预览
Python 3.6+ + FastMCP ≥0.12.0 + 标准库 (signal/subprocess/json)
一个用于通过模型上下文协议（MCP）接口与Cisco Modeling Labs（CML）交互的综合模块化工具包，支持自动化实验室创建、拓扑管理、设备配置和网络测试，适用于教育和开发场景。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 1
命令预览
pip install -r requirements.txt
Coach AI是一款基于MCP协议构建的生产力教练助手，专注于ADHD支持，提供智能任务管理、目标跟踪和个性化推荐功能，可无缝集成到任何兼容MCP的AI客户端中。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 1
命令预览
pip install -e .