Korext: AI Code Governance
Server Details
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
- Status
- Healthy
- Uptime
- 100.0% over 37 days
- Last Tested
- Transport
- Streamable HTTP ยท MCP 2025-11-25
- URL
- Repository
- Korext/enforce-action
- GitHub Stars
- 4
TDQS
Scored across 5 tools
Most tools have clear, distinct purposes: check_code returns violations, generate_proof creates a signed bundle, get_directives retrieves rules, get_proof fetches a bundle, and list_packs enumerates packs. The only potential ambiguity is between check_code and generate_proof, both scan code against policies, but they produce different outputs (raw violations vs. proof bundle), making them distinguishable.
All five tool names follow a consistent verb_noun pattern (check_code, generate_proof, get_directives, get_proof, list_packs). The verbs are action-oriented and the nouns clearly indicate the resource or output, with no mixed conventions or vague naming.
Five tools is well-scoped for a code governance server. Each tool addresses a distinct aspect: checking, proof generation, policy retrieval, proof retrieval, and pack listing. This covers the core workflows without unnecessary redundancy or bloat.
The tool surface covers the primary governance operations: checking code, generating and retrieving proofs, and accessing policy directives and pack listings. Minor gaps exist, such as no direct method to view a single policy pack's full details or manage packs, but the core enforcement and proof lifecycle is complete.
Available Tools
5 toolscheck_codeAInspect
Check a code snippet against one or more policy packs. Returns violations with severity, governance context (CWE, MITRE, regulatory), and line numbers.
| Name | Required | Description | Default |
|---|---|---|---|
| code | Yes | The code snippet to check. | |
| packId | No | Policy pack ID or array of IDs. Defaults to 'web'. |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
No annotations are provided, so the description must carry the full burden. It discloses return values (severity, governance context, line numbers) but does not explicitly state whether the operation is read-only, requires auth, or has side effects. Since 'check' implies non-destructive, this is adequate but not complete.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is a single, front-loaded sentence that provides the action, target, and output in a concise manner. No redundant words or filler.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
The tool has no output schema, so the description's mention of the return value (violations, severity, context, line numbers) is essential. It covers the main purpose and output adequately. However, given there are no annotations, it could also benefit from a note about read-only behavior or prerequisites, but for a check tool this is sufficient.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 100% (both code and packId have descriptions). The description adds minimal semantic value beyond the schema, only hinting at 'one or more' policy packs. According to the baseline for high schema coverage, this scores a 3.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description uses a specific verb ('Check') and clearly identifies the resource ('code snippet' against 'policy packs'). It distinguishes itself from sibling tools like generate_proof or list_packs, which serve different purposes.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description implies its usage (checking code against policy packs) but does not explicitly state when to use it over alternatives or mention exclusions. Sibling tools are clearly different, so context is implied, but no real guidance is provided.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
generate_proofAInspect
Scan code against policy packs and generate a cryptographically signed proof bundle. Returns the bundle ID, decision (PASS/BLOCK), violation count, and verification URL.
| Name | Required | Description | Default |
|---|---|---|---|
| code | Yes | The code to scan. | |
| packId | No | Policy pack ID(s). Defaults to 'web'. | |
| fileName | No | File name for context | |
| language | No | Programming language (typescript, python, etc.) |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
No annotations are provided, so the description carries the full burden. It discloses the return values and the fact that the bundle is cryptographically signed, adding helpful context. However, it does not disclose potential side effects like persistence, storage, or whether the scan is executed remotely, which would be valuable for a proof generation tool.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is two sentences, front-loading the primary action and then listing the output fields. It is succinct, with no redundant information or fluff, making it easy for an agent to parse quickly.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given there is no output schema and no annotations, the description does a good job of conveying the tool's purpose and return values. It clearly states what the agent will receive (bundle ID, decision, violation count, verification URL). However, it lacks explicit error handling or differentiation from sibling tools like check_code, so it is not fully complete but is reasonably sufficient for a tool of moderate complexity.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is 100%, so all parameters already have descriptions. The tool description adds minimal extra meaning beyond reaffirming policy packs and the output bundle. It does not elaborate on how parameters like fileName or language affect the scan, but the baseline of 3 is appropriate since the schema handles the heavy lifting.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states a specific action and resource: scanning code against policy packs and generating a cryptographically signed proof bundle. It distinguishes itself from siblings by emphasizing the generation of a proof bundle with specific return values, which differs from check_code or get_proof.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description implies when to use the tool (when a signed proof bundle is needed from scanning code) but does not explicitly mention alternatives or when not to use it relative to siblings like check_code or get_proof. The usage context is clear enough, but explicit exclusions are missing.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
get_directivesAInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| packId | No | Policy pack ID or array of IDs (e.g. 'web', ['web', 'pci-dss-v1']). Defaults to 'web'. |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
No annotations are provided, so the description must carry the full burden. It does disclose the output nature (rules with governance context) and the 'living standards' aspect, which is useful. However, it does not explicitly state that it is a read-only operation with no side effects, nor does it mention any auth requirements or rate limits. The verb 'Get' implies read-only, but an explicit statement would be clearer.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is a single, efficient sentence that front-loads the core purpose and packs in relevant details (enriched directives, governance context, inference enforcement) without any filler. Every word earns its place.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a simple tool with one optional parameter and no output schema, the description adequately explains what the tool returns and in what context it is used. It mentions the inclusion of governance references (CWE, MITRE, regulatory) which helps an agent understand the output. The only minor gap is lack of explicit note about the default packId behavior, but that is already in the schema.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The input schema already covers 100% of the parameter meaning, including the oneOf string/array type and the default value 'web'. The description merely confirms 'one or more policy packs', adding no additional semantics beyond what the schema provides. The baseline of 3 applies because the schema does the heavy lifting.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states the verb 'Get' and the resource 'enriched policy directives and living standards', specifying the scope 'for one or more policy packs' and the return value 'rules with governance context'. This distinguishes it from sibling tools like list_packs, which likely lists available packs, and check_code, which analyzes code.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description implies when to use this tool: to retrieve policy directives for packs at inference time enforcement. It does not explicitly exclude alternatives or name sibling tools, but the context 'for inference time enforcement' provides clear usage context. Since list_packs presumably handles pack discovery, get_directives is appropriately positioned for fetching directives.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
get_proofAInspect
Retrieve an existing proof bundle by ID. Returns the decision, violations, packs, and verification status.
| Name | Required | Description | Default |
|---|---|---|---|
| bundleId | Yes | The proof bundle ID (kpb_...) |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations provided, the description carries the full burden. It indicates a read-only operation via "Retrieve" and discloses the return contents (decision, violations, packs, verification status). It does not mention error behavior or side effects, but for a get operation this is reasonably transparent.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is extremely concise (two sentences), front-loaded with the action, and lists the return contents efficiently. Every word earns its place with no redundancy.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a simple get-by-ID tool with one parameter, no annotations, and no output schema, the description clearly states the input and the components of the result. It could have mentioned behavior when the ID is not found or explicitly stated it does not modify data, but given the simplicity, it is mostly complete.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The input schema already provides 100% coverage with a description for bundleId ("The proof bundle ID (kpb_...)"). The tool description adds no additional parameter semantics beyond what the schema states, so baseline 3 applies.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description uses a specific verb ("Retrieve") and resource ("proof bundle by ID"), clearly distinguishing from siblings like generate_proof (creation) and list_packs (listing). This leaves no ambiguity about what the tool does.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description implies usage when an existing bundle ID is available and a fetch is needed, but it does not explicitly mention when to use alternatives or provide exclusion criteria. The contrast with generate_proof is implied but not stated.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
list_packsAInspect
List available policy packs with industry and region tags.
| Name | Required | Description | Default |
|---|---|---|---|
| region | No | Filter by region (e.g. us, eu, uk, global) | |
| industry | No | Filter by industry (e.g. finance, healthcare, defense, aerospace, energy, technology) |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description must carry the full burden of behavioral disclosure. It states that the tool lists available policy packs, implying a read-only operation, but it does not explicitly note the absence of side effects, authentication requirements, or response details. The description is not misleading, but it leaves some behavioral aspects implicit.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is a single, concise sentence that conveys the essential purpose without unnecessary words. It is well-structured and front-loaded, with no wasted content.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a simple list operation with only two optional filters and no output schema, the description is sufficiently complete. It clearly communicates that the tool returns available policy packs with tags, aligning with the sibling tools' context without needing extensive elaboration.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The input schema already provides full descriptions for both parameters (region and industry), achieving 100% schema coverage. The description itself adds no additional parameter semantics beyond what the schema states, so it meets the baseline for high coverage.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states the tool's action ('List available policy packs') and its scope (with industry and region tags). The verb and resource are specific, and it distinguishes this from sibling tools like check_code or generate_proof, which serve entirely different purposes.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description provides no guidance on when to use this tool versus alternatives. It does not mention any specific use cases, prerequisites, or situations where another sibling tool might be more appropriate. This leaves the agent to infer usage from context.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
5 tool updates
- First observed
check_code - First observed
generate_proof - First observed
get_directives - First observed
get_proof - First observed
list_packs
Related MCP Connectors
Governance layer for AI coding agents: knowledge-graph grounding, session audit, policy controls.
Runtime AI governance: decision gates, human approval, hash-chained audit, compliance mapping.
Deterministic AI code review, with an audit record. Governance inside the agent loop.
Governance maturity assessment, compliance gap analysis, and evidence-linked briefs for AI agents.
Related MCP Servers
- AlicenseNot gradedqualityBmaintenanceDeterministic AI code review with audit records, providing stack-specific rulesets and governance for coding agents.5MIT

Rigour MCPofficial
AlicenseNot gradedqualityBmaintenanceEnables AI agents to self-govern by scanning code for hardcoded secrets, structural violations, and AI drift in real-time, providing fix packets for automatic remediation.27MIT- AlicenseCqualityAmaintenanceCommit-time audit engine for AI coding agents. Scans git diffs with 24 audit rules, writes HMAC-signed tamper-evident audit history, and ships MCP tools for governance aggregation.10547MIT

corbatofficial
AlicenseAqualityBmaintenancePolicy and quality engine for AI coding agents that enforces team coding standards and provides validation gates for agent-assisted software delivery.734 npm4MIT
Glama MCP Gateway
Add one secure layer between your agents and this server.