io.github.Korext/governance
Korext: AI Code Governance
io.github.Korext/governance costs 502 tokens of context per session. It has 5 tool definitions. That is 0.3 % of a 200k window. Measured 2026-10-03.
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
alive probed 2026-10-03 · HTTP 200
5tools
502tokens for the tool definitions
0.3 %of a 200k context window
1.3 sto initialize
72 msto list tools
- Endpoint
- https://app.korext.com/api/mcp (streamable-http)
- Host
- app.korext.com
- Protocol
- 2025-11-25
- Reports itself as
- korext-mcp 3.0.0
- Capabilities
- tools
- Instructions
- none
- Repository
- https://github.com/Korext/enforce-action.git
- Registry
- active, updated 2026-04-15 · registry entry
- Reachable
- 2 of the last 2 probes
Most expensive tools
| Tool | Tokens | Share of this server |
|---|---|---|
| generate_proof | 139 | 28 % |
| get_directives | 108 | 22 % |
| check_code | 108 | 22 % |
| list_packs | 82 | 16 % |
| get_proof | 65 | 13 % |
History
We add a row when the result changes. A server with no change keeps its last row.
| Probed | Result | Init | Tools | Tokens |
|---|---|---|---|---|
| 2026-10-03 20:35 | alive | 1.3 s | 5 | 502 |
| 2026-10-03 17:52 | alive | 562 ms | 5 | 502 |
Badge
[](https://mcp-pulse.ulehla.dev/s/io.github.Korext/governance)