Axiomatic Prover是一个基于Lean 4和Mathlib的定理证明服务，提供异步编译和自动证明功能，适用于数学定理的自动化验证。
运维云端未说明
- 工具数量
- 3
- GitHub Stars
- 0
一个实现Model Context Protocol（MCP）的服务器，提供与Azure DevOps服务的集成，用于管理项目、构建、仓库和工作项。
运维云端未说明
- 工具数量
- 5
- GitHub Stars
- 0
一个基于Azure App Service的可组合MCP服务器架构模板，支持模块化开发和扩展MCP功能。
运维云端未说明
- 工具数量
- 0
- GitHub Stars
- 0
一个提供Azure Functions资源全面监控和洞察工具的MCP服务器，支持多种查询和分析功能。
运维云端未说明
- 工具数量
- 7
- GitHub Stars
- 0
部署在Azion边缘计算网络上的模型上下文协议（MCP）服务器，提供简单的计算功能。
运维云端未说明
- 工具数量
- 1
- GitHub Stars
- 0
Foundry MCP Playground是一个用于快速原型开发的工具，支持与Azure AI Foundry交互，探索和使用先进的AI模型，管理知识库，并评估文本和代理响应。
运维云端未说明
- 工具数量
- 0
- GitHub Stars
- 0
Foundry MCP Playground是一个集成Azure AI Foundry的快速原型开发环境，提供AI模型探索、知识管理和文本评估功能，支持一键设置GitHub Copilot。
运维云端未说明
- 工具数量
- 0
- GitHub Stars
- 0
用于Azure成本管理API集成的MCP服务器，支持成本查询、预算管理和成本优化建议。
运维云端未说明
- 工具数量
- 9
- GitHub Stars
- 0
一个部署在Cloudflare上的Azure DevOps模型上下文协议（MCP）服务器，提供与Azure DevOps工作项、Git仓库、拉取请求和Harvest时间跟踪交互的工具。
运维云端未说明
- 工具数量
- 4
- GitHub Stars
- 0
Azure DevOps MCP服务器是一个本地服务，允许直接从代码编辑器执行Azure DevOps任务，适用于开发团队协作和项目管理。
运维云端未说明
- 工具数量
- 0
- GitHub Stars
- 0
Azure DevOps MCP Server 是一个本地 MCP 服务器，用于在代码编辑器中直接执行 Azure DevOps 任务，支持项目管理、工作项管理、代码仓库操作、测试计划管理等多种功能。
运维云端未说明
- 工具数量
- 72
- GitHub Stars
- 0
一个Python MCP服务器，用于管理和操作Azure DevOps Server (on-prem)的工作项、Git拉取请求和Wiki页面。
运维云端未说明
- 工具数量
- 35
- GitHub Stars
- 0
Azure DevOps MCP Server 是一个本地服务器，用于在代码编辑器中直接执行 Azure DevOps 任务，支持项目管理、工作项管理、代码仓库操作等多种功能。
运维云端未说明
- 工具数量
- 0
- GitHub Stars
- 0
Azure DevOps MCP 服务器是一个用于连接本地 Azure DevOps 环境与 Claude Code 的工具，提供工作项管理、Git 集成和管道自动化功能，适用于需要安全、集中管理 LLM 驱动项目的团队。
运维云端未说明
- 工具数量
- 19
- GitHub Stars
- 0
Azure DevOps提供的用于CI/CD管道测试的工具，支持在VS Code内置插件中使用。
运维云端未说明
- 工具数量
- 0
- GitHub Stars
- 0
Azure DevOps MCP Server是一个动态工具调用服务，用于Azure DevOps服务的自动化，支持与Copilot Studio MCP工具的代理集成，部署在Azure容器注册表上并在Azure容器应用中运行，以实现可扩展的远程访问。
运维云端未说明
- 工具数量
- 0
- GitHub Stars
- 0
Azure DevOps MCP服务器是一个通过自然语言交互查询Azure DevOps的ChatGPT风格界面，集成了Azure OpenAI功能调用。
运维云端未说明
- 工具数量
- 51
- GitHub Stars
- 0
一个模块化的模型上下文协议（MCP）服务器，用于与Azure DevOps的Wiki、测试计划和工作项集成，支持Claude Desktop等MCP客户端与Azure DevOps资源交互。
运维云端未说明
- 工具数量
- 11
- GitHub Stars
- 0
用于管理Azure DevOps的拉取请求、工作项、管道和变量组的服务器工具。
运维云端未说明
- 工具数量
- 13
- GitHub Stars
- 0
一个使用Spring Boot和领域驱动设计（DDD）架构重新实现的Azure DevOps MCP服务器，提供REST API和MCP通信处理程序。
运维云端未说明
- 工具数量
- 1
- GitHub Stars
- 0