
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Bearer token from app.korext.com Settings. Format: Bearer <token>
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
Check a code snippet against one or more policy packs. Returns violations with severity, governance context (CWE, MITRE, regulatory), and line numbers.
The code snippet to check.
Policy pack ID or array of IDs. Defaults to 'web'.
This tool isn't marked read-only, so it may change something on the server or in an account you connected.
Check a code snippet against one or more policy packs. Returns violations with severity, governance context (CWE, MITRE, regulatory), and line numbers.
| Argument | Type | Description |
|---|---|---|
| code* | string | The code snippet to check. |
| packId | any | Policy pack ID or array of IDs. Defaults to 'web'. |
{
"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'."
}
}
}Scan code against policy packs and generate a cryptographically signed proof bundle. Returns the bundle ID, decision (PASS/BLOCK), violation count, and verification URL.
| Argument | Type | Description |
|---|---|---|
| code* | string | The code to scan. |
| packId | any | Policy pack ID(s). Defaults to 'web'. |
| fileName | string | File name for context |
| language | string | Programming language (typescript, python, etc.) |
{
"type": "object",
"required": [
"code"
],
"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'."
},
"fileName": {
"type": "string",
"description": "File name for context"
},
"language": {
"type": "string",
"description": "Programming language (typescript, python, etc.)"
}
}
}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.
| Argument | Type | Description |
|---|---|---|
| packId | any | Policy pack ID or array of IDs (e.g. 'web', ['web', 'pci-dss-v1']). Defaults to 'web'. |
{
"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'."
}
}
}Retrieve an existing proof bundle by ID. Returns the decision, violations, packs, and verification status.
| Argument | Type | Description |
|---|---|---|
| bundleId* | string | The proof bundle ID (kpb_...) |
{
"type": "object",
"required": [
"bundleId"
],
"properties": {
"bundleId": {
"type": "string",
"description": "The proof bundle ID (kpb_...)"
}
}
}List available policy packs with industry and region tags.
| Argument | Type | Description |
|---|---|---|
| region | string | Filter by region (e.g. us, eu, uk, global) |
| industry | string | Filter by industry (e.g. finance, healthcare, defense, aerospace, energy, technology) |
{
"type": "object",
"properties": {
"region": {
"type": "string",
"description": "Filter by region (e.g. us, eu, uk, global)"
},
"industry": {
"type": "string",
"description": "Filter by industry (e.g. finance, healthcare, defense, aerospace, energy, technology)"
}
}
}