"Cora" matching MCP servers:

• CSL-Core

  Chimera-Protocol

  A

  license

  A

  quality

  B

  maintenance

  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.

  Last updated 2026-05-31

  6

  15

  Apache 2.0

• SAP Clean Core MCP Server

  Nidhideep

  F

  license

  A

  quality

  C

  maintenance

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

  Last updated 2026-06-18

  10

• nf-core MCP Server

  wjlim

  F

  license

  D

  quality

  D

  maintenance

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

  Last updated 2025-04-08

  3

• mcp-dora

  ark-forge

  A

  license

  -

  quality

  D

  maintenance

  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.

  Last updated 2026-04-09

  MIT

• IFS Cloud MCP Server

  graknol

  A

  license

  -

  quality

  C

  maintenance

  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.

  Last updated 2025-08-28

  6

  MIT

• Corn Intelligence MCP Server

  thaivu98

  F

  license

  -

  quality

  D

  maintenance

  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.

  Last updated 2026-03-30

• ToolPipe MCP Server

  Aldric-Core

  F

  license

  -

  quality

  -

  maintenance

  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.

  Last updated 2026-04-02