Quint形式验证服务器
by dpdanpittman · JavaScript用于Quint形式规范语言的MCP服务器,通过封装Quint CLI使形式验证可集成到任何LLM驱动的工作流中。
代码、Git、文件和开发工具相关的 MCP Server,附功能说明、仓库地址与安装配置。
已收录 62,091 个 MCP Server,其中开发效率 36,417 个
用于Quint形式规范语言的MCP服务器,通过封装Quint CLI使形式验证可集成到任何LLM驱动的工作流中。
codemunch是一款零配置、高效令牌使用的Claude代码探索插件,无需MCP服务器、Python或数据库支持,通过自动索引代码库为JSON文件,精确获取所需代码片段而非整个文件,显著减少令牌消耗。
MCP-HULK是一个全面的模型上下文协议(MCP)模板和生成引擎,用于构建高性能、可扩展的MCP实现,支持多种编程语言模板生成、AI集成和知识管理。
Shinkuro是一个通用的提示加载器MCP服务器,用于从本地文件夹或Git仓库加载Markdown文件并将其作为MCP提示提供服务,适用于将各种来源和格式的提示加载到支持MCP的应用程序中。
在Cloudflare Workers上部署的远程MCP服务器,支持OAuth登录,可用于工具调用和AI交互。
一个开源的模型上下文协议(MCP)服务器,提供类似笔记本的代码执行环境,支持多语言和会话级文件存储,专为与LibreChat的代码解释器流程集成而设计。
一个为LLM代理提供显微镜图像数据访问的MCP服务器,支持150+文件格式,提供元数据检查、预览生成、强度统计和格式转换等功能。
一个用于与Obsidian知识库交互的命令行工具,提供搜索、列表和读取笔记的功能。
用于通过AI助手执行Jupyter笔记本单元格的MCP服务器,支持VSCode原生内核管理,无需手动管理Jupyter服务器。
tnotes 是一个面向纯 Markdown 文件的笔记管理工具,支持通过 CLI、MCP 服务器和 Neovim/Telescope 插件创建、检索与管理本地笔记,适用于开发者及 AI 助手的本地知识库场景。
一个用于快速创建、部署和管理MCP(Model Context Protocol)服务器的单仓库模板系统,支持多种部署目标和语言。
一个用于生成、验证和部署CrowdSec WAF规则和场景的模型上下文协议服务器。
MCP Tool Shop 是一个开源的 MCP/AI 工具目录与发布引擎,从 GitHub 组织和生态目录聚合工具元数据,经人工审核合并后生成静态网站,帮助开发者发现和部署本地 AI 工具。
一个开源的MCP服务器,用于本地索引Markdown文档,缓存并提供令牌限制的摘录以供AI代理查询。
一个通过ADT API为AI助手提供SAP ABAP系统访问的MCP服务器,支持搜索、读取源代码、浏览包内容等功能。
为 FIRST Robotics Competition 队伍提供可自定义的 MCP 服务器,将团队机器人代码、WPILib 文档和第三方库参考聚合为可搜索上下文,帮助 AI 智能体回答问题、调试并生成贴合实际项目的代码。
一个基于FastAPI的笔记管理服务,允许客户端添加和管理带有文件名和内容的笔记,适用于需要快速记录和存储信息的场景。
用于连接本地MCP进行调试的开发工具,支持npm安装和tsx启动。
一个将Google CodeWiki集成到编辑器中的MCP服务器,支持查询GitHub、GitLab或Bitbucket仓库并获取AI生成的代码库解答。
AWX MCP服务器是一个本地开发工具,提供结构化工具与AWX API交互,支持查询作业状态、流式传输日志、检查清单和搜索模板。
一个用于搜索CVE、漏洞利用、PoC、攻击面、安全报告和侦察数据的漏洞情报服务器,支持从15+个来源获取信息。
Clara MCP服务器是一个通过标准化工具接口将Clara后端API暴露给AI代理的服务,用于集成内容验证和分析功能。
Logseq AI提供通过MCP服务器和Lain插件两种方式与Logseq知识库进行AI驱动的交互,适用于个人知识管理和任务协作。
一个基于Rust构建的跨平台MCP协议服务器,提供安全的沙盒化文件系统操作工具,适用于AI助手和MCP兼容应用的集成。
一个连接OpenAI代理与Google Sheets的自动化业务操作服务,支持智能列检测和订单处理。
一个基于OpenAPI自动生成的MCP(Model Context Protocol)服务器,用于处理API请求和响应。
一个基于FastMCP的服务器,用于通过Model Context Protocol (MCP)与Anki交互,提供管理Anki卡片组、笔记和笔记类型的全面工具,包括AI音频生成、批量操作和语义相似性搜索等高级功能。
Q•Ai 是一个现代化的质量保障编排工具包,整合了UI测试、API测试、可视化测试、AI辅助工作流和CI/CD编排,为团队提供统一的测试管理和执行平台。
NamelyCorp MCP Bridge是一个本地优先、可扩展的HTTP/JSON-RPC桥接工具,用于安全地暴露和控制系统工具,供AI代理和自动化平台使用。
为SO100机器人提供航点管理和回放功能的MCP服务器,标准化了航点记录和回放脚本的接口。