Is the Korext Governance MCP server down?

mcp-registry/io.github.korext/governance · v3.0.0

As of 2026-10-18 04:56 UTC, the Korext Governance MCP server is up with a Glimind reliability score of 92/100 (grade A). Over the last 30 days it answered 100% of Glimind's liveness checks. It had 10 outages in 90 days, with a median recovery of 4 minutes.

Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.

claude mcp add --transport http korext-governance-mcp-server https://app.korext.com/api/mcp

{
  "mcpServers": {
    "korext-governance-mcp-server": {
      "type": "http",
      "url": "https://app.korext.com/api/mcp"
    }
  }
}

Third-party server, listed as discovered. Review its source before installing.

Agent-readiness: B (84/100)

What to fix (3)

Auto-fix: 4 corrected tool definitions

Paste-ready definitions with the problems above fixed. Changes marked verify need a human look. All of them as JSON: /v1/readiness/mcp-registry%2Fio.github.korext%2Fgovernance/fixes

{
  "name": "check_code",
  "description": "Check a code snippet against one or more policy packs. Returns violations with severity, governance context (CWE, MITRE, regulatory), and line numbers.",
  "inputSchema": {
    "type": "object",
    "required": [
      "code"
    ],
    "properties": {
      "code": {
        "type": "string",
        "description": "The code snippet to check."
      },
      "packId": {
        "oneOf": [
          {
            "type": "string"
          },
          {
            "type": "array",
            "items": {
              "type": "string"
            }
          }
        ],
        "description": "Policy pack ID or array of IDs. Defaults to 'web'."
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}

{
  "name": "get_directives",
  "description": "Get enriched policy directives and living standards for one or more policy packs. Returns rules with governance context (CWE, MITRE, regulatory references) for inference time enforcement.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "packId": {
        "oneOf": [
          {
            "type": "string"
          },
          {
            "type": "array",
            "items": {
              "type": "string"
            }
          }
        ],
        "description": "Policy pack ID or array of IDs (e.g. 'web', ['web', 'pci-dss-v1']). Defaults to 'web'."
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}

{
  "name": "get_proof",
  "description": "Retrieve an existing proof bundle by ID. Returns the decision, violations, packs, and verification status.",
  "inputSchema": {
    "type": "object",
    "required": [
      "bundleId"
    ],
    "properties": {
      "bundleId": {
        "type": "string",
        "description": "The proof bundle ID (kpb_...)"
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}

Get alerted

Get an email or webhook when this server's readiness drops by 10+ points, tool-poisoning text appears, or a tool breaks:

curl -X POST https://glimind.com/v1/subscriptions -H 'content-type: application/json' -d '{"tools":["mcp-registry/io.github.korext/governance"],"email":"[email protected]"}'

Agents: watch_tool({"toolId": "mcp-registry/io.github.korext/governance"}) over MCP.

Passed

• Every tool has a well-formed, typed input schema.
• Every tool and parameter is described.
• No tool-poisoning patterns (hidden characters, instruction overrides, concealment, secret access, tool shadowing).
• Compact tool list (~618 tokens).
• Tool names are unique and portable across clients.
• Speaks MCP 2025-06-18.
• 99.97% uptime over 30 days.
• No breaking contract changes in 30 days.

Largest tool definitions

• generate_proof ~176 tokens
• check_code ~132 tokens
• get_directives ~129 tokens
• list_packs ~100 tokens
• get_proof ~81 tokens

Static checks of the advertised tools/list (schema, descriptions, annotations, tool-poisoning patterns, names, size) plus observed protocol, uptime, latency and contract changes. Read-only: no tool is ever called. Weights: schema 15, docs 20, safety 15, efficiency 15, compatibility 15, protocol 5, reliability 10, stability 5. Token counts are estimates (~3.6 characters per token).

Operator? Fix these, then re-check live. Embed the readiness badge:

[![MCP agent-readiness](https://glimind.com/v1/readiness/badge/mcp-registry%2Fio.github.korext%2Fgovernance.svg)](https://glimind.com/server/mcp-registry%2Fio.github.korext%2Fgovernance?ref=badge)

<a href="https://glimind.com/server/mcp-registry%2Fio.github.korext%2Fgovernance?ref=badge"><img src="https://glimind.com/v1/readiness/badge/mcp-registry%2Fio.github.korext%2Fgovernance.svg" alt="MCP agent-readiness"></a>

.. image:: https://glimind.com/v1/readiness/badge/mcp-registry%2Fio.github.korext%2Fgovernance.svg
   :target: https://glimind.com/server/mcp-registry%2Fio.github.korext%2Fgovernance?ref=badge
   :alt: MCP agent-readiness

Tool-definition log

Glimind records every version of this server's tool definitions in a signed, append-only transparency log. Current manifest sha256:f9d9ac0e2ab3eebd…, first seen 2026-10-17, included at leaf 2850 of 20,390. Version history · verify what your client received.

Tools (5)

• check_code
• generate_proof
• get_directives
• get_proof
• list_packs

Compare: most reliable security servers

claude mcp add --transport http glimind https://glimind.com/mcp

{
  "mcpServers": {
    "glimind": {
      "type": "http",
      "url": "https://glimind.com/mcp"
    }
  }
}

FAQ

Is the Korext Governance MCP server down right now?

As of 2026-10-18 04:56 UTC, the Korext Governance MCP server is up with a Glimind reliability score of 92/100 (grade A). Over the last 30 days it answered 100% of Glimind's liveness checks. It had 10 outages in 90 days, with a median recovery of 4 minutes.

How many tools does Korext Governance MCP server provide?

Korext Governance MCP server advertises 5 tools, including check_code, generate_proof, get_directives, get_proof, list_packs.

How do I install Korext Governance MCP server?

Point your MCP client at this streamable-http endpoint: https://app.korext.com/api/mcp

Is the Korext Governance MCP server safe to connect to an AI agent?

Glimind scanned all 5 tool definitions for tool-poisoning patterns — hidden or invisible characters, instructions that override the model, concealment from the user, requests to read credential or MCP config files, conversation exfiltration and cross-tool shadowing — and found none. This checks what the server tells the model, not what its code does; review the source before granting access to sensitive data.

Operator of Korext Governance MCP server?

Status page: 90-day uptime, every outage and how long it lasted.

Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above. Maintainers: alerts, deploy attestation and monthly reports.

Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.