"Cora" matching MCP servers:

Enables any debugger to become a HostProto host by supplying an EngineBinding, exposing revision-scoped debugging semantics through an MCP surface. It computes targets, preconditions, receipts, recovery, and earned capabilities without requiring adapter-specific logic.

Enables exploring a C++17 coroutine and device-domain call graph through MCP tools, providing symbol search, caller/callee queries, and neighborhood exploration of coroutine-aware codebases.

Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.

Classifies SAP ABAP objects against SAP's official Clean Core release catalog to determine API release status and guide S/4HANA implementation.

Enables users to manage and navigate nf-core bioinformatics pipeline repositories, allowing list, search, and explore operations on pipeline configurations, workflows, and modules.

Enables autonomous software engineering workflows by routing intent to specialized modes, managing Fable5 task ledgers and backend contracts, auditing React/TypeScript stacks, generating architectural SVG diagrams, and enforcing write-guard path policies.

DORA compliance scanner MCP server that scans projects for regulatory gaps, classifies entities, generates reports, and optionally produces ICT registers and incident templates with cryptographic certification.

Enables AI agents to analyze and search IFS Cloud codebases using hybrid semantic-lexical search, PageRank importance ranking, and dependency graph analysis. It supports comprehensive exploration of PL/SQL, entities, and projection files to facilitate intelligent architectural understanding.

A high-performance MCP server integrated with a Django analytics dashboard, featuring 19 tools for AI interaction tracking, AST code analysis, and real-time token efficiency metrics.

Provides a suite of 35 developer utility APIs including code formatting, data conversion, and infrastructure generation. It enables AI agents to perform tasks like JSON validation, Dockerfile creation, and network lookups directly through natural language.