Aristotle-MCP是一个自动化定理证明服务器，允许用户提交Lean项目、检查任务状态、下载结果和管理证明任务。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 9
- GitHub Stars
- 0
命令预览
pip install git+https://github.com/Vilin97/aristotle-mcp.git
Arize AX MCP服务器是一个用于访问Arize AX数据、查询跟踪、管理数据集和运行实验的工具，支持通过Claude Code进行集成和操作。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 14
- GitHub Stars
- 0
命令预览
python test_credentials.py
Arka MCP Gateway是一个集中式网关，用于管理和连接多个MCP（模型上下文协议）服务器，提供安全、可扩展的访问，支持SSO认证、会话隔离和集中管理。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 0
命令预览
python3 -c "from cryptography.fernet import Fernet; print(Fernet.generate_key().decode())"
ARMADA MCP工具是一个用于部署和扩展WebSocket服务的工具，支持多种部署方式，包括GitHub、Railway CLI和Docker。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 0
命令预览
docker run -d -p 3001:3001 --name armada-mcp armada-mcp
ARMAlyzer是一款全面的安全分析工具，用于分析Azure ARM模板和Entra ID配置，提供自动化安全检查和智能报告。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 0
命令预览
pip install -r requirements.txt
ARM MCP服务器提供CI作业管理和SIEM审计日志功能，支持构建触发、状态轮询、回滚操作及日志查询下载。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 15
- GitHub Stars
- 0
命令预览
docker run -i --rm \
一个帮助AI代理从研究论文中提取信息并组织成结构化分析模板的模型上下文协议（MCP）服务器。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 10
- GitHub Stars
- 0
命令预览
uv run python server.py
ARTPARK公共健康数据集MCP服务器，通过AI助手提供对8个公共卫生数据集的访问，包括登革热流行病学、牲畜普查和FMD疫苗接种数据。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 4
- GitHub Stars
- 0
命令预览
python artpark_server.py
Aruba Central MCP Server
aruba-central-mcp-server
Aruba Central MCP服务器是一个AI驱动的网络管理工具，用于监控、配置和管理Aruba网络设备。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 0
命令预览
npx aruba-central-mcp-server
提供arXiv论文的纯文本摘要和全文内容，支持自托管配置，适用于低资源环境和LLM应用。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 2
- GitHub Stars
- 0
命令预览
pip install -r .
Aryeht MCP
marp
基于Marp CLI和Kroki图表引擎的幻灯片生成工具，支持本地资产和图表渲染。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 0
命令预览
npx marp -s -c marp.config.js --allow-local-files
用于使用AS400/IBM i数据开发Web应用程序的模板，包含FastAPI后端和React前端。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 0
命令预览
python -m venv .venv
提供Asana任务、项目和空间管理的服务器工具。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 10
- GitHub Stars
- 0
命令预览
uv run python -m scripts.asana_get_task --payload '{"task_gid":"123"}'
一个将图片转换为ASCII艺术并上传至云存储的服务，支持Node.js和Python环境。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 1
- GitHub Stars
- 0
命令预览
uv run ascii_art_server.py
一个用于管理和提交iOS应用到App Store Connect的工具，支持Bundle ID注册、元数据上传、TestFlight管理和一键提交等功能。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 28
- GitHub Stars
- 0
命令预览
pip install fastmcp PyJWT cryptography
基于配置的MCP服务器部署Azure功能应用，用于代理操作系统，根据注册表配置动态部署和管理MCP服务器。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 0
命令预览
pip install -r requirements.txt
Aso MCP Cb9488b9
aso-mcp
一个无需API密钥的应用商店优化工具包，提供关键词研究、竞争对手分析、评论情感分析和元数据优化等功能，支持155+个国家的App Store数据。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 19
- GitHub Stars
- 0
命令预览
npx aso-mcp
A'Space OS V2是一个基于Phoenix架构的操作系统管理工具，提供自动化部署、智能编排和自主决策功能，适用于开发和生产环境。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 0
命令预览
python ops/automation/orchestrator.py status
Assemblyline MCP是一个模块化服务器实现，用于模型上下文协议（MCP），提供与Assemblyline恶意软件分析自动化的无缝编程集成。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 0
命令预览
python -m venv venv
一个为韩国国会信息开放系统(Open API)提供的MCP服务器，使AI代理能够实时查询和分析法案、会议记录、议员信息等。
运维云端stdio
- 安装状态
- 已补齐
- 工具数量
- 0
- GitHub Stars
- 0
命令预览
uvx git+https://github.com/StatPan/AssemblyMCP