A
licenseB
qualityB
maintenanceThis MCP server publishes commit-bound proof summaries to a specified HTTPS webhook, featuring fail-closed writes and a clear authority boundary for safe external actions.
1
MIT
72,476 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
io.github.pipeworx-io
sh.postagent.api
dev.tatastu
com.artandsongcards
"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:
- Alicense-qualityCmaintenanceThis MCP server enables managing CI patch verification workflows by creating, running, tracing, previewing, and canceling patch verification tasks through local stdio tools.MIT
- AlicenseAqualityAmaintenancePost-quantum readiness for AI coding agents: scans code for quantum-vulnerable cryptography (RSA/ECDH/ECDSA/DH) and returns NIST ML-KEM/ML-DSA/SLH-DSA (and hybrid) migration guidance, with fix verification and dependency checks. Content-based, advisory tools only; runs local (npx @quantakrypto/mcp) or as a hosted OAuth endpoint.1610Apache 2.0
- FlicenseAqualityDmaintenanceEnables Claude to create, manage, and clean up git worktrees automatically, including dependency installation and GitHub PR creation.5
- AlicenseAqualityAmaintenanceAI Gateway - MCP server providing AI-powered tools and automation by MEOK AI Labs49MIT
- AlicenseCqualityBmaintenanceEnables acceptance gates for AI coding-agent runs by recording evidence, running deterministic validation, applying a quality gate, and rendering auditable outcomes.7Apache 2.0
- Alicense-qualityDmaintenanceEnterprise-grade MCP server for Jenkins CI/CD integration that enables AI assistants to diagnose build failures, analyze pipelines, and search logs through natural conversation.6GPL 3.0
- Alicense-qualityAmaintenanceDevops AI - MCP server providing AI-powered tools and automation by MEOK AI Labs9MIT
- Alicense-qualityAmaintenanceEnables intelligent Kubernetes deployments, automated documentation testing, organizational pattern management, and shared prompt libraries. Provides AI-powered recommendations based on cluster capabilities and automates DevOps workflows through conversational interfaces.724335MIT
- Alicense-qualityAmaintenanceDependency Updater AI - MCP server providing AI-powered tools and automation by MEOK AI Labs11MIT
- Alicense-qualityCmaintenanceA LAN multi-AI collaborative development ecosystem connecting tools like Cursor, Windsurf, and Claude Desktop via MCP for automated Dev-QA-Ops workflows.MIT
- Alicense-qualityDmaintenanceProvides AI agents with 25 security analysis tools including vulnerability scanning, package hallucination detection, prompt injection firewall, and CI/CD integration.1MIT
- Flicense-qualityFmaintenanceEnables interaction with Azure DevOps through natural language in Cursor IDE. Supports work item management, pull requests, builds, releases, test management, and guided workflows for development teams, QA testers, and release management.1
- Flicense-qualityBmaintenanceAccess a 24/7 AI senior developer with 26 specialized tools for the full software development lifecycle. Use tools like explain_code, debug_code, and refactor_code to analyze, debug, and optimize your codebase instantly. Deploy github_fix_issue and create_pr for seamless GitHub automation, or get ai_development_advice for architecture and career guidance.
- AlicenseBqualityBmaintenanceMCP server for end-to-end QA automation: generates test scenarios, discovers Playwright locators, creates TypeScript test code, executes tests, and creates GitHub issues for failures.622MIT
- FlicenseBqualityDmaintenanceEnables interaction with Azure DevOps services through Personal Access Token authentication. Provides 75 tools for managing work items, builds, repositories, pull requests, and other DevOps operations via both CLI and HTTP API interfaces.701
- FlicenseCqualityDmaintenanceProvides AI assistants with comprehensive access to Azure DevOps services including work items, repositories, pull requests, wikis, builds, pipelines, and test plans through 25+ MCP tools with multi-project support.25
- AlicenseCqualityCmaintenanceProvides a standardized way for MCP clients to interact with Apache Airflow's REST API, supporting operations like DAG management and monitoring Airflow system health.68173MIT
- Alicense-qualityDmaintenanceA hosted remote MCP server for managing Android release gates, with tools to check release status, explain permission blockers, issue release receipts, summarize device matrices, and export release logs.MIT
- Alicense-qualityDmaintenanceEnables AI assistants to interact with Azure DevOps APIs for managing projects, work items, repositories, pull requests, pipelines, and more through natural language.3,181MIT