mcp-logic
MCP-Logic是一个基于MCP协议的逻辑推理服务器,为AI系统提供自动化定理证明和模型验证功能。
浏览已公开且详情完整的 MCP 服务,查看 README、安全 JSON 配置预览、来源信息与可信信号
MCP-Logic是一个基于MCP协议的逻辑推理服务器,为AI系统提供自动化定理证明和模型验证功能。
一个基于MCP协议的GDB/MI服务器,提供远程应用调试功能并支持AI助手
一个基于Google Lighthouse的MCP服务,用于测量网页性能指标
一个用于读写macOS系统设置的MCP服务器
Glide API的MCP服务器,支持v1和v2版本,提供安全的API交互和数据处理功能。
一个提供与Atlassian产品交互工具的MCP服务器
一个用于管理Jira中Tempo工作日志的MCP服务器,提供时间跟踪和工作日志管理功能,支持通过Claude等MCP兼容客户端访问。
飞书MCP服务器是一个基于MCP的服务,提供飞书API集成,使AI模型能够轻松与飞书服务交互,支持多维表格操作和多模式通信。
一个通过MCP协议提供make功能的服务器,允许LLM安全执行Makefile中的目标
一个基于TypeScript的JIRA MCP服务器实现,提供JQL搜索、问题检索等功能,支持与模型上下文协议的无缝集成。
MCPStudio是一个类似Postman的AI工具集成平台,提供可视化界面用于创建、测试和管理Model Context Protocol服务器,简化AI系统与外部服务的连接过程。
一个TypeScript实现的MCP服务器,用于在Git提交中标记AI贡献,自动在提交者名称后添加'(aider)'标识。
该项目是一个基于Python的多MCP服务器管理框架,通过SSE协议实现与Google Gemini API的交互,包含日历管理和浏览器自动化两大功能模块,支持通过配置文件动态加载多个服务。
该项目是一个概念验证的MCP服务器,通过WebSocket暴露另一个标准输入输出的MCP服务器,旨在简化MCP服务器的使用和管理。
AWS GCR提供的MCP服务器示例集合,涵盖远程桌面、工作流服务、AI规划、时间服务和HTML渲染等多种功能
一个为CodeMirror编辑器提供Model Context Protocol(MCP)支持的扩展,实现资源提及和提示命令的自动完成与交互功能。
OpenAPI-MCP是一个Docker化的MCP服务器,能够从Swagger/OpenAPI规范文件自动生成MCP工具集,使AI代理无需额外编码即可访问任何API。
一个研究级别的MCP服务器实现,通过无API密钥方式与Perplexity网站交互,提供AI驱动的网络搜索、文档检索、API查找、代码分析等研究功能。