"Cora" matching MCP servers:

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.

MEOK CRA Annex Iv Classifier - MCP server providing AI-powered tools and automation by MEOK AI Labs

Provides comprehensive management of Microsoft 365 services including Exchange, SharePoint, Teams, Azure AD, Intune device management, security & compliance frameworks, and universal access to 1000+ Microsoft Graph API endpoints with advanced features like batch operations, delta queries, and real-time webhooks.

Enables reporting of actively exploited vulnerabilities in compliance with EU CRA Article 14, generating ENISA and CSIRT payloads.

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.

A local capability layer for AI agents providing persistent memory, credential management, connectors, and activity tracking.

An MCP server that proxies tool calls to a running SentinelX Core instance with OIDC/OAuth authentication. It enables secure integration of SentinelX Core's HTTP agent capabilities through the MCP protocol.

Enables EU Cyber Resilience Act compliance assessments, including classifying product obligations, auditing pipelines for gaps, generating hash-chained attestations, and cross-referencing NIS2.

An MCP server that helps software makers meet EU Cyber Resilience Act obligations, including scope classification, Article 13(2) risk assessment, Annex I requirements with evidence, vulnerability and incident tracking with Article 14 reporting clocks, and Annex VII technical file assembly.

Provides shared MCP-server machinery for Flask apps, including streamable HTTP transport, token-based auth, caller identity resolution, tool registry with permissions, and audit logging, enabling developers to build consistent and secure MCP servers.

A production-ready MCP gateway and control plane that provides credential vault, policy engine, audit logging, and managed runtime for routing tool calls between AI agents and downstream MCP servers.

A governed MCP server that enforces a trust layer between AI agents and databases, requiring sign-off on joins and metrics and producing auditable receipts for every query.

DORA Compliance - MCP server providing AI-powered tools and automation by MEOK AI Labs

CRA Compliance - MCP server providing AI-powered tools and automation by MEOK AI Labs

Security gate that scans MCP servers and Claude Code Skills for vulnerabilities before execution.

Model Context Protocol server for real-time 5G DDoS detection and response.

MCP server for managing Microsoft Intune and Entra ID via the Microsoft Graph API, offering 34 tools for device, app, compliance, security, identity, and reporting operations.

MCP server that adds a trust layer to AI agent memory, enforcing independent review and tamper-evident audit chains for any memory store. It provides tools to search, get, propose, and promote memories under governance rules.

Enables an AI agent to act as a security operations operator by providing tools to monitor camera feeds, analyze scenes, review situations and alarms, acknowledge or resolve alarms, make voice announcements, and consult audit trails and system status.

Enforces Awaken Church's governance policies by scanning content, correcting language, blocking unauthorized integrations, routing projects, and flagging content for review.