Korext: AI Code Governance
Server Details
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP
- URL
- Repository
- Korext/enforce-action
- GitHub Stars
- 4
Glama MCP Gateway
Connect through Glama MCP Gateway for full control over tool access and complete visibility into every call.
Full call logging
Every tool call is logged with complete inputs and outputs, so you can debug issues and audit what your agents are doing.
Tool access control
Enable or disable individual tools per connector, so you decide what your agents can and cannot do.
Managed credentials
Glama handles OAuth flows, token storage, and automatic rotation, so credentials never expire on your clients.
Usage analytics
See which tools your agents call, how often, and when, so you can understand usage patterns and catch anomalies.
Tool Definition Quality
Average 3.9/5 across 5 of 5 tools scored.
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'. |
Tool Definition Quality
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.) |
Tool Definition Quality
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'. |
Tool Definition Quality
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_...) |
Tool Definition Quality
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) |
Tool Definition Quality
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.
Claim this connector by publishing a /.well-known/glama.json file on your server's domain with the following structure:
{
"$schema": "https://glama.ai/mcp/schemas/connector.json",
"maintainers": [{ "email": "your-email@example.com" }]
}The email address must match the email associated with your Glama account. Once published, Glama will automatically detect and verify the file within a few minutes.
Control your server's listing on Glama, including description and metadata
Access analytics and receive server usage reports
Get monitoring and health status updates for your server
Feature your server to boost visibility and reach more users
For users:
Full audit trail – every tool call is logged with inputs and outputs for compliance and debugging
Granular tool control – enable or disable individual tools per connector to limit what your AI agents can do
Centralized credential management – store and rotate API keys and OAuth tokens in one place
Change alerts – get notified when a connector changes its schema, adds or removes tools, or updates tool definitions, so nothing breaks silently
For server owners:
Proven adoption – public usage metrics on your listing show real-world traction and build trust with prospective users
Tool-level analytics – see which tools are being used most, helping you prioritize development and documentation
Direct user feedback – users can report issues and suggest improvements through the listing, giving you a channel you would not have otherwise
The connector status is unhealthy when Glama is unable to successfully connect to the server. This can happen for several reasons:
The server is experiencing an outage
The URL of the server is wrong
Credentials required to access the server are missing or invalid
If you are the owner of this MCP connector and would like to make modifications to the listing, including providing test credentials for accessing the server, please contact support@glama.ai.
Discussions
No comments yet. Be the first to start the discussion!
Related MCP Servers
Alicense-qualityBmaintenanceEnables 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.26MIT
corbatofficial
AlicenseAqualityBmaintenancePolicy and quality engine for AI coding agents that enforces team coding standards and provides validation gates for agent-assisted software delivery.7534MIT- Alicense-qualityBmaintenanceIntegrates authoritative security compliance frameworks (ISO 27001, NIST 800-53, OWASP ASVS, NIST SSDF) into AI-assisted development, offering control lookups, cross-framework mappings, build-time guardrails, and automated audit evidence generation.3563MIT
- Flicense-qualityBmaintenanceA sovereign compliance engine with 36,195 STIG/CCI/NIST/CMMC mappings and 76 tools, enabling AI assistants to scan systems, generate risk reports, and ensure post-quantum cryptographic attestation—all air-gappable with zero token costs.1