Korext: AI Code Governance
io.github.Korext/governanceVersion 3.0.1Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
Status
Responds459 msAnswered our handshake without sign-in.- Last checked
- Nov 14, 2026, 14:39 UTC
- Latency
- 459 ms
- Remotes responding
- 1 of 1
- Sign-in
- No sign-in
- Hosting
- Hosted outside the EU (detected)
- Registry data as of
- Nov 14, 2026, 21:12 UTC
Data from the official MCP Registry, checked by run.zero. How we check
Connect
Streamable HTTP
https://app.korext.com/api/mcpResponds459 msNo sign-in
Claude Code
claude mcp add --transport http governance https://app.korext.com/api/mcpClaude Desktop and claude.ai
Settings > Connectors > Add custom connector
Name: governance
Remote MCP server URL: https://app.korext.com/api/mcpCursor
{
"mcpServers": {
"governance": {
"url": "https://app.korext.com/api/mcp"
}
}
}VS Code
code --add-mcp '{"name":"governance","type":"http","url":"https://app.korext.com/api/mcp"}'Streamable HTTP
npm: korext 1.0.0Package only
npm (npx)
claude mcp add governance -- npx -y korext@1.0.0Built your own server? run.zero hosts MCP servers on European infrastructure.
Tools
5 tools
Read-only | Idempotent | Open world | ||
|---|---|---|---|---|
check_codeCheck a code snippet against one or more policy packs. Returns violations with severity, governance context (CWE, MITRE, regulatory), and line numbers. | Not declared | Not declared | Not declared | Not declared |
generate_proofScan code against policy packs and generate a cryptographically signed proof bundle. Returns the bundle ID, decision (PASS/BLOCK), violation count, and verification URL. | Not declared | Not declared | Not declared | Not declared |
get_directivesGet 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. | Not declared | Not declared | Not declared | Not declared |
get_proofRetrieve an existing proof bundle by ID. Returns the decision, violations, packs, and verification status. | Not declared | Not declared | Not declared | Not declared |
list_packsList available policy packs with industry and region tags. | Not declared | Not declared | Not declared | Not declared |
Details
- Registry status
- Active
- Published
- Apr 15, 2026
- Updated
- Apr 15, 2026
- Website
- Not given
- Categories (suggested)
- Developer toolsSuggested categories are assigned automatically from the registry text and may be wrong. Verified operators can correct them.
- GDPR
- Not declared