一阶逻辑推理服务器
by autonullTypeScript一个自包含的一阶逻辑推理服务器,支持定理证明、模型查找和反例检测等功能,适用于逻辑推理和数学验证场景。
为 AI 连接浏览器、数据库与外部工具,查找 MCP Server 和安装配置。
已收录 62,091 个 MCP Server
一个自包含的一阶逻辑推理服务器,支持定理证明、模型查找和反例检测等功能,适用于逻辑推理和数学验证场景。
一个基于模型上下文协议(MCP)的文件系统操作服务器,提供基于Web的前端界面。
一个提供PDF文件合并、拆分、压缩、转换等操作的MCP服务器,适用于AI助手进行PDF文档处理。
Amazon Bedrock AgentCore Gateway 可将API、Lambda函数和服务转换为MCP兼容工具并暴露给AI代理使用,适用于快速构建和测试AI代理工具链。
一个基于模型上下文协议(MCP)的服务器,用于与App Store Connect API交互,提供应用管理、Beta测试、设备管理和分析报告等功能。
一个允许AI助手通过Discord向人类提问的MCP服务器,用于需要人类输入或判断的场景。
Ruckus Virtual SmartZone (vSZ)无线控制器的Model Context Protocol服务器,提供52种工具用于查询和管理AP、WLAN、区域、客户端、告警等。
一款通过IMAP协议连接用户邮箱并基于指定条件检索和摘要邮件的工具,适用于个人邮件管理和团队协作场景。
一个生产就绪的WhatsApp自动化服务器,通过MCP协议连接Claude或其他兼容客户端,实现消息发送、群组管理、媒体传输等全面WhatsApp自动化功能。
E*TRADE MCP Server是一个为LLMs(如Claude)提供股票和期权市场数据的模型上下文协议服务器,支持实时股票报价、批量报价、期权链数据获取等功能。
一个提供实时商业地产数据的MCP服务器,通过自然语言查询支持搜索、获取详情和市场概览功能。
一个基于ChainGPT的模型上下文协议(MCP)服务器,提供加密货币新闻、价格、市场趋势等信息查询功能,适用于AI代理集成。
一个用于查询法国国家铁路(SNCF)列车时刻表的MCP服务器,支持实时数据和多格式日期输入,适用于旅行规划和交通信息集成。
一个为AI代理提供Lista DAO借贷金库跟踪和操作功能的MCP服务器。
提供结构化、用户友好的高质量医学解释服务,支持多语言查询,适用于医疗信息查询和集成。
一个医学术语MCP服务器,提供缩写、病症、药物和临床定义的即时查询服务,运行于Docker容器中并可连接任何MCP兼容客户端。
一个为Anki提供模型上下文协议(MCP)的服务器,允许AI助手通过标准化接口程序化地创建、读取、更新和管理Anki闪卡。
ST-K8s是一个用于查看和与Kubernetes集群及容器日志文件交互的仪表盘工具,提供REST API、端口转发管理、资源监控和MCP服务器功能。
BIMP MCP是一个为乌克兰中小企业云ERP系统提供的模型上下文协议服务器,支持通过LLMs进行数据读取、创建、更新、批量操作和业务数据分析。
MCP产品决策辅助工具为Claude提供产品智能工具,用于对功能请求做出Ship/Delay/Kill推荐,适用于TaskFlow等B2B SaaS项目管理平台。
GEO-MCP Server是一款专为挪威地理信息和测量工作流设计的模型上下文协议(MCP)服务器,提供点云处理、FKB标准验证、SOSI文件生成和测量计算等核心功能。
MCP Tenderly是一款基于Tenderly平台的区块链法证分析服务,为AI助手提供交易追踪、合约分析和报告生成等功能,适用于以太坊、Polygon等主流区块链网络。
vLLM Image MCP Server是一个基于vLLM-Omni的AI图像生成服务器,支持单图和批量图像生成,自动参数调优,适用于多种图像生成场景。
Somnia MCP Server是一个使AI代理能够与Somnia区块链网络交互的模型上下文协议服务器,提供文档搜索、区块链查询、钱包管理等功能。
一个基础的MCP服务器实现示例,展示了包括工具和资源在内的核心功能。
一个基于FastMCP框架构建的MCP服务器,提供加法、减法、乘法和除法等基本数学运算功能,可在Claude Desktop或任何MCP兼容环境中使用。
PrismGate 是共享守护进程的 MCP 网关,将多个后端 MCP 服务器复用到一个稳定端点后,通过代理、渐进式工具发现和健康管理为 AI 客户端提供统一的开发接入。
一个基于HTTP的模型上下文协议(MCP)服务器,提供自主DevOps操作,包括部署管理、日志监控、指标收集和回滚功能,适用于企业环境。
一个基于Reader服务的MCP服务器,提供多种格式的网页内容获取功能,包括Markdown、HTML、文本和截图。
一个基于Jira REST API v3的Model Context Protocol (MCP)服务器,允许LLM作为项目管理和个人助理工具,为使用Jira的团队提供服务。