AI programming verification platform. Makes AI code generation results verifiable and trustworthy. MCP protocol native support, evidence-dri
6,117 MCP servers
AI Modular Functional Procedural - MCP server for database-driven FP development
Model Context Protocol server exposing Airlock gateway tools (stdio)
Production-ready MCP server for Andromeda blockchain - v2.0 with 98% functionality, fixed core bugs, and complete ADO ecosystem support
Architecture & Dependency Tracker — MCP server + CLI + interactive web viewer for AI-driven development
Vendor-neutral MCP audit-event schema + OpenTelemetry emitter + middleware that maps each Model Context Protocol call to SOC 2, HIPAA
Azure DevOps / on-prem TFS server for the Model Context Protocol (MCP)
MCP server and CLI for the Backed agent trust registry: check any AI agent's on-chain trust score, discover trusted agents on the x402
Baklib MCP Server - Model Context Protocol server for Baklib API integration (DAM and Knowledge Base)
BigCommerce developer documentation MCP server — REST APIs, GraphQL, Webhooks, Auth, Stencil, Catalyst & more
Bob Control: MCP server + CLI + worker that runs IBM Bob (and any MCP-capable agent) unattended against a SQLite task board.
A powerful Model Context Protocol (MCP) server for Chinese-to-English book translation and document processing
Detects AI knowledge gaps in your codebase and fixes them — post-training API detection, team knowledge, and runtime context injection via
MCP server for BugLens — connect AI coding agents to WordPress sites on shared hosting
MCP server for spec-driven development — agent-agnostic spec planning and tracking
MCP server for business-day arithmetic with country-aware holiday calendars.
MCP server to interact with the Cairo Coder API
MCP server to interact with the Cairo Coder API
Feature introduction.
MCP server that makes AI agents get SAP CAP/CDS right: modern scaffolding + real validation loop against cds compile
MCP server for recommending Claude Code skills, plugins, and MCP servers