Skip to content
MCP server

Korext: AI Code Governance

By korextAll Korext servers

Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.

Listed on

First seen 2 Oct 2026. One server, whatever directories list it: each directory listing keeps its own page and history.

2
Directories
1 via MCP Toplist
5
Tools
From an anonymous probe
-
ToolBench grade
Not graded by Arcade
4
GitHub stars
From MCP Toplist

Tools

ToolDescriptionBehaviour
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
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
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
get_proofRetrieve an existing proof bundle by ID. Returns the decision, violations, packs, and verification status.Not declared
list_packsList available policy packs with industry and region tags.Not declared

Directory listings

DirectoryListingTierFirst seen
Official MCP RegistryKorext: AI Code Governance-2 Oct 2026
PulseMCPListed there according to MCP Toplist’s dataset; not collected by InvokeRank.