Korext: AI Code Governance
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
Sollte ich dies verwenden
Qualität und Sicherheit
Basierend auf einer automatisierten Analyse der Tool-Definitionen und der Einhaltung des Protokolls.
Kontextkosten
Dies ist die ungefähre Anzahl der Tokens, die jedes Mal verbraucht werden, wenn die Tools des Servers in den Kontext eines Modells geladen werden. Höhere Werte verringern die Aufmerksamkeit, die für andere Aufgaben verfügbar ist.
Installieren
Installation mit einem Klick
Fügen Sie dies Ihrer Datei `claude_desktop_config.json` hinzu:
{
"mcpServers": {
"governance": {
"command": "npx",
"args": [
"korext"
]
}
}
}Ausführbare Pakete
1.0.0stdioRemote-Endpunkte
https://app.korext.com/api/mcpstreamable-httpWas es kann
Tool-Inventar
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.
Eingabe-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.
Eingabe-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.
Eingabe-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.
Eingabe-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.
Eingabe-Schema
{
"type": "object",
"properties": {
"bundleId": {
"type": "string",
"description": "The proof bundle ID (kpb_...)"
}
},
"required": [
"bundleId"
]
}Community
Nachweis