Korext: AI Code Governance
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
¿Debería usar esto?
Calidad y seguridad
Basado en el análisis automatizado de las definiciones de herramientas y el cumplimiento del protocolo.
Costo de contexto
Este es el número aproximado de tokens que se consumen cada vez que las herramientas del servidor se cargan en el contexto de un modelo. Los recuentos más altos reducen la atención disponible para otras tareas.
Instalar
Instalación con un clic
Agrega esto a tu archivo `claude_desktop_config.json`:
{
"mcpServers": {
"governance": {
"command": "npx",
"args": [
"korext"
]
}
}
}Paquetes ejecutables
1.0.0stdioPuntos de conexión remotos
https://app.korext.com/api/mcpstreamable-httpQué puede hacer
Inventario de herramientas
Herramientas (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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"type": "object",
"properties": {
"bundleId": {
"type": "string",
"description": "The proof bundle ID (kpb_...)"
}
},
"required": [
"bundleId"
]
}Comunidad
Evidencia