"Gcore" 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.

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.

Score your specs before an LLM builds from them. Scores on 4 axes (completeness, clarity, constraints, specificity), calculates a balance score, and returns a verdict with radar chart visualization.

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.

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.

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.