Bearer token from app.korext.com Settings. Format: Bearer <token>
Tools (5)We asked this server directly for its tool list on Apr 19.
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.
check_code
Check a code snippet against one or more policy packs. Returns violations with severity, governance context (CWE, MITRE, regulatory), and line numbers.
list_packs
List available policy packs with industry and region tags.
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.
get_proof
Retrieve an existing proof bundle by ID. Returns the decision, violations, packs, and verification status.
Is this your server?
Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming; register now and you'll be first in line.