Korext: AI Code Governance

Measured conclusion: Deep-tested. L2 outcome: tools_ok.

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

Add to your agent

Copy this into your MCP client config:

{
  "mcpServers": {
    "Korext: AI Code Governance": {
      "url": "https://app.korext.com/api/mcp",
      "transport": "streamable-http"
    }
  }
}

Measured tools (5)

• get_directives

  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.

  Parameters:

  • packId — Policy pack ID or array of IDs (e.g. 'web', ['web', 'pci-dss-v1']). Defaults to 'web'.

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

• check_code

  Check a code snippet against one or more policy packs. Returns violations with severity, governance context (CWE, MITRE, regulatory), and line numbers.

  Parameters:

  • code (required) — string — The code snippet to check.
  • packId — Policy pack ID or array of IDs. Defaults to 'web'.

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

• list_packs

  List available policy packs with industry and region tags.

  Parameters:

  • region — string — Filter by region (e.g. us, eu, uk, global)
  • industry — string — Filter by industry (e.g. finance, healthcare, defense, aerospace, energy, technology)

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

• generate_proof

  Scan code against policy packs and generate a cryptographically signed proof bundle. Returns the bundle ID, decision (PASS/BLOCK), violation count, and verification URL.

  Parameters:

  • code (required) — string — The code to scan.
  • packId — Policy pack ID(s). Defaults to 'web'.
  • fileName — string — File name for context
  • language — string — Programming language (typescript, python, etc.)

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

• get_proof

  Retrieve an existing proof bundle by ID. Returns the decision, violations, packs, and verification status.

  Parameters:

  • bundleId (required) — string — The proof bundle ID (kpb_...)

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

Repository

Measured by MCPYP probing. Untested fields are omitted, never estimated. Listing is always free; MCPYP never proxies calls or stores user tokens.