Connect Korext: AI Code Governance and your agent gets 5 tools, among them check_code, generate_proof, get_directives. It answers at https://app.korext.com/api/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 6 of 6 times since 11 September 2026; the last check, on 20 October 2026, succeeded.
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
Description as the publisher wrote it.
| Tool | What it does |
|---|---|
check_code | Check a code snippet against one or more policy packs. Returns violations with severity, governance context (CWE, MITRE, regulatory), and line numbers. Inputs: code, packId |
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. Inputs: code, packId, language, fileName |
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. Inputs: packId |
get_proof | Retrieve an existing proof bundle by ID. Returns the decision, violations, packs, and verification status. Inputs: bundleId |
list_packs | List available policy packs with industry and region tags. Inputs: industry, region |
Every block below points at https://app.korext.com/api/mcp. Pick your client and copy.
claude mcp add --transport http korext-ai-code-governance https://app.korext.com/api/mcp
{
"mcpServers": {
"korext-ai-code-governance": {
"command": "npx",
"args": ["-y", "mcp-remote", "https://app.korext.com/api/mcp"]
}
}
}{
"mcpServers": {
"korext-ai-code-governance": {
"url": "https://app.korext.com/api/mcp"
}
}
}{
"servers": {
"korext-ai-code-governance": {
"type": "http",
"url": "https://app.korext.com/api/mcp"
}
}
}{
"context_servers": {
"korext-ai-code-governance": {
"url": "https://app.korext.com/api/mcp"
}
}
}{
"mcpServers": {
"korext-ai-code-governance": {
"serverUrl": "https://app.korext.com/api/mcp"
}
}
}{
"mcpServers": {
"korext-ai-code-governance": {
"url": "https://app.korext.com/api/mcp"
}
}
}name: Korext: AI Code Governance
version: 0.0.1
schema: v1
mcpServers:
- name: Korext: AI Code Governance
type: streamable-http
url: https://app.korext.com/api/mcp{
"mcpServers": {
"korext-ai-code-governance": {
"httpUrl": "https://app.korext.com/api/mcp"
}
}
}{
"mcpServers": {
"korext-ai-code-governance": {
"type": "http",
"url": "https://app.korext.com/api/mcp"
}
}
}{
"mcpServers": {
"korext-ai-code-governance": {
"url": "https://app.korext.com/api/mcp"
}
}
}goose://extension?url=https%3A%2F%2Fapp.korext.com%2Fapi%2Fmcp&type=streamable_http&id=korext-ai-code-governance&name=Korext%3A%20AI%20Code%20Governance
It answered our last check on 20 October 2026 in 478 ms. Over 6 checks since 11 September 2026 it answered 6. Status here comes from Neuronto's own probes, not from the publisher.
5, as returned by the server's own tools/list on 12 September 2026: check_code, generate_proof, get_directives, get_proof, list_packs.
It answered our last check on 20 October 2026 in 478 ms. Over 6 checks since 11 September 2026 it answered 6.
Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://app.korext.com/api/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.
It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.
Publisher: io.github.korext. Endpoint host: app.korext.com. ARD identifier: urn:air:io.github.korext:mcp:governance.
First indexed 10 September 2026. The tools are exactly what the server returned; nothing on this page
is inferred from its name. Ranking in Neuronto search is never for sale.