Korext: AI Code Governance
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
Should I use this
Quality & Safety
Based on automated analysis of tool definitions and protocol compliance.
Context Cost
This is the approximate number of tokens consumed each time the server's tools are loaded into a model's context. Higher counts reduce the attention available for other tasks.
Install
One-Click Install
Add this to your `claude_desktop_config.json` file:
{
"mcpServers": {
"governance": {
"command": "npx",
"args": [
"korext"
]
}
}
}Runnable packages
1.0.0stdioRemote endpoints
https://app.korext.com/api/mcpstreamable-httpWhat it can do
Tool inventory
Tools (5)
🟢get_directives(packId)
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.
Input 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(code, packId)
Check a code snippet against one or more policy packs. Returns violations with severity, governance context (CWE, MITRE, regulatory), and line numbers.
Input 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(industry, region)
List available policy packs with industry and region tags.
Input 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(code, packId, language, fileName)
Scan code against policy packs and generate a cryptographically signed proof bundle. Returns the bundle ID, decision (PASS/BLOCK), violation count, and verification URL.
Input 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(bundleId)
Retrieve an existing proof bundle by ID. Returns the decision, violations, packs, and verification status.
Input Schema
{
"type": "object",
"properties": {
"bundleId": {
"type": "string",
"description": "The proof bundle ID (kpb_...)"
}
},
"required": [
"bundleId"
]
}Community
Evidence