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
Chronos MCP Server 是一个基于 Model Context Protocol (MCP) 的时间服务器,提供时区感知的日期和时间信息。
安装状态
已补齐
工具数量
2
GitHub Stars
1
命令预览
docker run -d --name chronos-mcp -e "DefaultTimeZoneId=Europe/Amsterdam" chronos-mcp-server:...
一个为大型语言模型提供数学公式可视化和分析能力的标准模型上下文协议(MCP)服务器,支持本地渲染和计算,并可选择集成Desmos API。
安装状态
已补齐
工具数量
4
GitHub Stars
1
命令预览
uv run src/main.py
提供实时航班跟踪数据、机场信息、航空公司信息和飞机信息的服务器。
工具数量
7
GitHub Stars
1
一个提供Google文档和Google Drive交互功能的Docker容器服务,支持文档创建、编辑、格式化及批量操作。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
docker run -it --rm \
基于Spring AI的Jenkins API MCP服务器,提供Jenkins作业的创建、删除、构建、信息查询和配置管理等核心功能,适用于持续集成和自动化构建场景。
工具数量
0
GitHub Stars
1
基于jieba中文分词的MCP服务器,提供精确模式、全模式和搜索引擎模式三种分词功能,适用于文本分析和搜索引擎场景。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
pip install -r requirements.txt
JumpServer MCP Server是一个用于与JumpServer API交互的中间件服务,提供认证令牌管理和SSE连接功能。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
docker run -d -it -p 8099:8099 --env-file .env --name jms_mcp ghcr.io/leeeirc/jumpserver-mcp...
FastMCP代理服务器是一个轻量级、生产就绪的代理服务,支持通过多种传输协议(SSE、HTTP、stdio)暴露底层MCP服务器,适用于需要灵活部署和高性能的场景。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
docker run -d --name mcp-proxy \
TypeScript boilerplate for MCP servers using the official SDK, with support for stdio/http, logging, docker, and tests.
安装状态
已补齐
工具数量
2
GitHub Stars
1
命令预览
docker run -i --rm --name mcp-server-stdio mcp-server-boilerplate
基于FastMCP框架的人格分析服务器,提供人格分析和匹配的工具与资源。
安装状态
已补齐
工具数量
4
GitHub Stars
1
命令预览
pip install --user -r requirements.txt
一个用于学习和交互的个人模型上下文协议服务器,提供简历、个人网站、LinkedIn和GitHub等资源的访问,以及定制化职位搜索功能。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
docker run -p 3000:3000 \
一个用于金属有机框架(MOF)结构分析和解构的工具,支持自动化识别SBU、有机配体和金属簇,并提供清洁结构和堆叠分析功能。
安装状态
已补齐
工具数量
5
GitHub Stars
1
命令预览
python -m venv .venv
一个基于Playwright MCP的独立HTTP服务,提供浏览器自动化功能,支持无服务器环境和安全认证。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
docker run -p 8931:8931 playwright-mcp-http-server
StatusNow.Dev提供全面的网站和服务器监控解决方案,包括SSL过期、域名过期、网站正常运行时间、响应时间、ping监控和端口监控等功能。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
npx @modelcontextprotocol/inspector dotnet run
T1D Manager是一款为1型糖尿病患者及其护理人员设计的AI代理服务,提供实时血糖管理、胰岛素剂量计算、病日护理指南及糖尿病社区搜索功能。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
uv run uvicorn src.server:app --host 0.0.0.0 --port 8080
一个帮助语言模型维护连贯时间线、跟踪事件和管理角色的服务,适用于长篇叙事和历史记录。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
pip install -e .
提供一次性临时邮箱服务,支持API、CLI、MCP服务器和Web应用,适用于验证码接收和邮件管理。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
docker run -p 8080:8080 \
Weathernode 是一个生产就绪的天气服务,通过 REST API 和 MCP 端点提供实时天气数据和预报。
安装状态
已补齐
工具数量
0
GitHub Stars
1
命令预览
docker run -p 3000:3000 \
一个强大的模型上下文协议(MCP)服务器,连接AI助手与权威的自然灾害数据源,用于实时监测地震、海啸、火山活动和太阳事件等自然灾害,并提供可配置的警报和Webhook通知。
安装状态
已补齐
工具数量
14
GitHub Stars
1
命令预览
pip install wems-mcp-server