Korext: AI Code Governance

Official5 toolsLive

by Korext · TypeScript

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

io.github.Korext/governance (MCP Server)

This MCP server is associated with Korext governance, described as a “Governance copilot for AI-assisted coding.” The provided metadata references enforcement at scale with 72 policy packs and 532 rules, plus 13 languages. Violations are reported as GitHub Code Scanning annotations on pull requests.

🛠️ Key Features

72 policy packs
532 rules
13 languages
GitHub Code Scanning annotations for violations
Tool count: 5

🚀 Use Cases

Enforce compliance policies on AI-generated code in GitHub workflows
Run enforcement on push and pull_request events

⚡ Developer Benefits

Integrates via a GitHub workflow using Korext/enforce-action@v3
Uploads results into GitHub Code Scanning annotations for PR review
Requires security-events: write permission in workflow

⚠️ Limitations

Tooling details are limited to workflow integration; no additional capabilities are specified in the provided data

Captured live from the server via tools/list.

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.

Parameters1

packId

any

optional

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

Raw schema

{
  "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'."
    }
  }
}

check_code

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

Parameters2

code	string	required	The code snippet to check.
packId	any	optional	Policy pack ID or array of IDs. Defaults to 'web'.

Raw schema

{
  "type": "object",
  "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'."
    }
  },
  "required": [
    "code"
  ]
}

list_packs

List available policy packs with industry and region tags.

Parameters2

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

Raw schema

{
  "type": "object",
  "properties": {
    "industry": {
      "type": "string",
      "description": "Filter by industry (e.g. finance, healthcare, defense, aerospace, energy, technology)"
    },
    "region": {
      "type": "string",
      "description": "Filter by region (e.g. us, eu, uk, global)"
    }
  }
}

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.

Parameters4

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

Raw schema

{
  "type": "object",
  "properties": {
    "code": {
      "type": "string",
      "description": "The code to scan."
    },
    "packId": {
      "oneOf": [
        {
          "type": "string"
        },
        {
          "type": "array",
          "items": {
            "type": "string"
          }
        }
      ],
      "description": "Policy pack ID(s). Defaults to 'web'."
    },
    "language": {
      "type": "string",
      "description": "Programming language (typescript, python, etc.)"
    },
    "fileName": {
      "type": "string",
      "description": "File name for context"
    }
  },
  "required": [
    "code"
  ]
}

get_proof

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

Parameters1

bundleId

string

required

The proof bundle ID (kpb_...)

Raw schema

{
  "type": "object",
  "properties": {
    "bundleId": {
      "type": "string",
      "description": "The proof bundle ID (kpb_...)"
    }
  },
  "required": [
    "bundleId"
  ]
}

README.md3 KBView on GitHub

KOREXT Enforce Action

Enforce compliance policies on AI generated code in your GitHub workflows.

72 policy packs. 532 rules. 13 languages. Violations appear as GitHub Code Scanning annotations on pull requests.

Quick Start

Add this to .github/workflows/korext.yml:

yaml

name: Korext Enforcement
on: [push, pull_request]

permissions:
  contents: read
  security-events: write

jobs:
  enforce:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: Korext/enforce-action@v3
        with:
          api-token: ${{ secrets.KOREXT_API_TOKEN }}

Korext scans your code on every push and PR using the default web policy pack.

How It Works

Install: The action installs the Korext CLI
Scan: Runs korext enforce against your codebase with the selected policy pack
Report: Generates a SARIF file and uploads it to GitHub Code Scanning
Gate: Fails the workflow if critical or high severity violations are found

Violations appear as annotations directly on the PR diff, powered by GitHub Code Scanning.

Inputs

Input	Description	Required	Default
`directory`	Directory to scan for policy violations	No	`.`
`pack`	Policy Pack ID to enforce	No	`web`
`api-token`	Korext API token for authenticated mode	No	(anonymous)
`fail-on-violations`	Fail workflow on critical/high violations	No	`true`
`sarif-upload`	Upload SARIF to GitHub Code Scanning	No	`true`
`region`	Data processing region (us, eu, apac)	No	(default)
`sign-bundles`	Request signed proof bundles	No	`true`

Outputs

Output	Description
`violations`	Total number of policy violations found
`sarif-file`	Path to the generated SARIF results file
`bundle-count`	Number of proof bundles generated
`bundles-signed`	Number of signed proof bundles
`bundle-ids`	Comma separated list of proof bundle IDs

Examples

Multiple Policy Packs

yaml

- uses: Korext/enforce-action@v3
  with:
    pack: web,pci-dss-v1,owasp-v1
    api-token: ${{ secrets.KOREXT_API_TOKEN }}

EU Data Sovereignty

yaml

- uses: Korext/enforce-action@v3
  with:
    pack: gdpr-v1
    region: eu
    api-token: ${{ secrets.KOREXT_API_TOKEN }}

Scan Specific Directory

yaml

- uses: Korext/enforce-action@v3
  with:
    directory: src/
    pack: hipaa-v1
    api-token: ${{ secrets.KOREXT_API_TOKEN }}

Warn Only (do not fail)

yaml

- uses: Korext/enforce-action@v3
  with:
    pack: web
    fail-on-violations: 'false'

Authentication

For full access to all policy packs and signed proof bundles, create an API token in your KOREXT dashboard and add it as a GitHub secret:

Go to app.korext.com > Settings > API Tokens
Create a new token
Add it as KOREXT_API_TOKEN in your repo's Settings > Secrets and variables > Actions

Without a token, the action runs in anonymous mode (20 requests per hour, limited packs).

License

Proprietary. See Terms of Service.

Install

Tools (5)

get_directivescheck_codelist_packsgenerate_proofget_proof

Add to VS Code Add to Cursor

claude_desktop_config.json

json

{
  "mcpServers": {
    "governance": {
      "command": "npx",
      "args": [
        "-y",
        "korext@1.0.0"
      ]
    }
  }
}

Korext: AI Code Governance

io.github.Korext/governance (MCP Server)

🛠️ Key Features

🚀 Use Cases

⚡ Developer Benefits

⚠️ Limitations

get_directives

check_code

list_packs

generate_proof

get_proof

KOREXT Enforce Action

Quick Start

How It Works

Inputs

Outputs

Examples

Multiple Policy Packs

EU Data Sovereignty

Scan Specific Directory

Warn Only (do not fail)

Authentication

Links

License

Install

Related servers