Aristotle MCP Server是一个最小化的模型上下文协议服务器,用于通过Aristotle API使大型语言模型能够在Lean中证明定理并形式化数学问题。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
uv run main.py
Aristotle MCP Server是一个最小化的模型上下文协议服务器,用于通过Aristotle API使大型语言模型能够在Lean中证明定理并形式化数学问题。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
uv run main.py
BEA MCP服务器提供美国经济数据访问服务,包括GDP、个人收入、区域经济和行业统计数据。
工具数量
6
GitHub Stars
1
提供美国人口普查局数据的API服务,包括人口统计、收入、住房等信息。
工具数量
5
GitHub Stars
1
创思大模型安全 MCP 是面向大语言模型的内容安全防护系统,通过实时风险识别与拦截,保障大模型应用的安全、合规与可信。
工具数量
0
GitHub Stars
1
Coolify MCP服务器是一个模型上下文协议服务器,提供安全的AI应用部署和管理工具,支持一键部署应用模板并管理应用生命周期。
安装状态
已补齐
工具数量
14
GitHub Stars
1
命令预览
docker run \
一个与CrowdCent Challenge API无缝集成的MCP服务器,使AI助手能够直接与CrowdCent的预测挑战交互。
工具数量
0
GitHub Stars
1
用于Chrome Web Store扩展管理的MCP服务器,支持上传、发布和管理Chrome扩展。
工具数量
8
GitHub Stars
1

@modelcontextprotocol/inspector
该服务为捷克铁路提供火车线路、站点和票价的搜索功能,适用于旅行规划和票价查询。
安装状态
已补齐
工具数量
5
GitHub Stars
1
命令预览
npx @modelcontextprotocol/inspector node dist/index.js
提供D2图表语言的编译、验证和主题管理服务,支持从AI助手到多种渲染格式的转换。
工具数量
5
GitHub Stars
1
一个用于与Darwinbox HRMS API交互的模型上下文协议(MCP)服务器,提供员工数据管理、考勤和休假管理的标准化接口。
工具数量
20
GitHub Stars
1
Datadog MCP服务器提供API聚合、SLO管理、舰队自动化和状态页面管理功能,适用于Datadog平台的深度集成和自动化运维场景。
安装状态
已补齐
工具数量
106
GitHub Stars
1
命令预览
docker run -e DD_API_KEY=... -e DD_APP_KEY=... -e DD_SITE=datadoghq.com \
一个Python MCP服务器,为DeepGHS动漫AI生态系统提供数据集浏览、标签查询、角色数据集查找和训练脚本生成功能。
安装状态
已补齐
工具数量
8
GitHub Stars
1
命令预览
pip install -r requirements.txt
一个为大型语言模型提供数学公式可视化和分析能力的标准模型上下文协议(MCP)服务器,支持本地渲染和计算,并可选择集成Desmos API。
安装状态
已补齐
工具数量
4
GitHub Stars
1
命令预览
uv run src/main.py
基于Python diagrams库的架构图生成服务,支持基础设施、架构图和流程图的代码化生成与验证。
安装状态
已补齐
工具数量
5
GitHub Stars
1
命令预览
uv run poe test
DIY助手平台的模型上下文协议服务器,提供建筑规范查询、材料规格和制造商指南访问,用于实时咨询支持。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
python src/material_specs_server/server.py
一个用于管理AI辅助龙与地下城(D&D)战役的全面协议服务器,支持角色创建、战役管理、战斗系统等功能。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
uv run pytest tests/
一个MCP服务器,允许AI代理访问Droid Bar,与AI酒保SERVO交流并休息。
工具数量
5
GitHub Stars
1
一个用于与Eventor定向运动API集成的Python客户端,提供对赛事、报名和结果的访问。
安装状态
已补齐
工具数量
3
GitHub Stars
1
命令预览
python -m eventor
一个基于OpenAI ChatGPT (GPT-4o)的轻量级Excel自动化服务器,支持通过自然语言提示创建、编辑和自动化Excel文件。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
python3 -m venv venv
基于Express和TypeScript构建的无状态模型上下文协议(MCP)服务器,提供资源、工具和提示功能,适用于LLM与外部数据和功能的交互。
工具数量
0
GitHub Stars
1