Aristotle-MCP是一个自动化定理证明服务器,允许用户提交Lean项目、检查任务状态、下载结果和管理证明任务。
安装状态
已补齐
工具数量
9
GitHub Stars
0
命令预览
pip install git+https://github.com/Vilin97/aristotle-mcp.git
Aristotle-MCP是一个自动化定理证明服务器,允许用户提交Lean项目、检查任务状态、下载结果和管理证明任务。
安装状态
已补齐
工具数量
9
GitHub Stars
0
命令预览
pip install git+https://github.com/Vilin97/aristotle-mcp.git
Arka MCP Gateway是一个集中式网关,用于管理和连接多个MCP(模型上下文协议)服务器,提供安全、可扩展的访问,支持SSO认证、会话隔离和集中管理。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
python3 -c "from cryptography.fernet import Fernet; print(Fernet.generate_key().decode())"
ARMADA MCP工具是一个用于部署和扩展WebSocket服务的工具,支持多种部署方式,包括GitHub、Railway CLI和Docker。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
docker run -d -p 3001:3001 --name armada-mcp armada-mcp
ARMAlyzer是一款全面的安全分析工具,用于分析Azure ARM模板和Entra ID配置,提供自动化安全检查和智能报告。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
pip install -r requirements.txt
一个帮助AI代理从研究论文中提取信息并组织成结构化分析模板的模型上下文协议(MCP)服务器。
安装状态
已补齐
工具数量
10
GitHub Stars
0
命令预览
uv run python server.py
ARTPARK公共健康数据集MCP服务器,通过AI助手提供对8个公共卫生数据集的访问,包括登革热流行病学、牲畜普查和FMD疫苗接种数据。
安装状态
已补齐
工具数量
4
GitHub Stars
0
命令预览
python artpark_server.py

marp
基于Marp CLI和Kroki图表引擎的幻灯片生成工具,支持本地资产和图表渲染。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
npx marp -s -c marp.config.js --allow-local-files
用于使用AS400/IBM i数据开发Web应用程序的模板,包含FastAPI后端和React前端。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
python -m venv .venv
一个用于管理和提交iOS应用到App Store Connect的工具,支持Bundle ID注册、元数据上传、TestFlight管理和一键提交等功能。
安装状态
已补齐
工具数量
28
GitHub Stars
0
命令预览
pip install fastmcp PyJWT cryptography

aso-mcp
一个无需API密钥的应用商店优化工具包,提供关键词研究、竞争对手分析、评论情感分析和元数据优化等功能,支持155+个国家的App Store数据。
安装状态
已补齐
工具数量
19
GitHub Stars
0
命令预览
npx aso-mcp
Assemblyline MCP是一个模块化服务器实现,用于模型上下文协议(MCP),提供与Assemblyline恶意软件分析自动化的无缝编程集成。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
python -m venv venv

@cloudinary/asset-management-mcp
一个用于管理和操作Cloudinary媒体资产的MCP服务器,支持上传、搜索、转换和组织云资源。
安装状态
已补齐
工具数量
2
GitHub Stars
0
命令预览
npx @cloudinary/asset-management-mcp start --api-key --api-secret --cloud-name
Project Atlas是一个基于AI的旅行规划工具,集成了航班查询、天气预测、住宿推荐、活动发现和愿望清单管理等功能,通过自然语言处理简化旅行计划流程。
安装状态
已补齐
工具数量
5
GitHub Stars
0
命令预览
python -m venv venv
基于Python和uv构建的Atlassian产品专用MCP服务器,支持Jira、JSM、Confluence和Bitbucket等产品的模块化服务部署。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
uv run atlassian-mcp-jira
基于ATtiny85的USB CDC ACM设备,通过串口断信号控制感应继电器,支持USB设备名称动态修改和Python API控制。
安装状态
已补齐
工具数量
4
GitHub Stars
0
命令预览
pip install . # API library only
AuiTO是一款专为iOS 13.2.3设计的自动化工具,通过daemon和MCP桥接实现触摸路径模拟和严格非AX方法调用。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
python3 -m pip install -r requirements.txt
一个基于FastAPI的最小化JWT认证服务,用于本地测试和探索基于JWT的认证。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
python -m venv .venv

autoglm-mcp-server
AutoGLM MCP Server是一个用于AutoGLM-Phone API的模型上下文协议服务器,支持通过人工智能模型控制移动设备的图形用户界面交互。
安装状态
已补齐
工具数量
2
GitHub Stars
0
命令预览
npx -y autoglm-mcp-server
一个自动化安全研究工具,用于解析Chromium问题跟踪器,下载特定易受攻击的二进制快照,并在受控的无头Docker环境中重现高严重性漏洞(CVE)。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
docker run --rm --security-opt seccomp=unconfined -v $(pwd)/results:/app/results chromium-ag...
一个用于职位发现、简历分析和实时匹配评分的自主代理工作流,具有高可用性和多LLM提供商回退链。
安装状态
已补齐
工具数量
3
GitHub Stars
0
命令预览
pip install -r requirements.txt