Korext: AI Code GovernanceVerified🛡 No advisories
Provenancewhere it came from, and what was verified
Published to the official MCP registry by github.com/korext, which proved it owns this namespace.
🛡 Permissions & trustwhat this server can touch before you run it
About
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
Packages & transports
Computed from the server's own data, not a hidden formula. This measures how much you can depend on it, not how popular it is. Stars are shown separately, on purpose. How it's scored →
▸get_directives93A
▸check_code100A
▸list_packs83B
▸generate_proof100A
▸get_proof100A
Structural, not an LLM's opinion: each check is a fact about the tool's schema, so it's reproducible. One weak tool drags the score (60% average, 40% worst). How it's scored →
Raise this grade
up to +35 on qualityOwn this server? Here's exactly what to change, biggest wins first. Every number below is a fixed point value, so you can see what each edit is worth before you make it.
Push to the repo or cut a release. Activity within the last 30 days earns the full 45.
With no reviews this sits at a neutral 11. Reviews reporting it works push it toward the full 20.
Add an SPDX license (like MIT or Apache-2.0) to the repo so it's detected.
- Description is short (58 chars). Expand past 60 for full credit.
- No `required` array. Declare which params are mandatory so an agent knows what it must provide.
- No `required` array. Declare which params are mandatory so an agent knows what it must provide.
Already earned (3) ▾Already earned (3) ▴
These are structural checks, so the fixes are exact. See the full formula →
Add a badge to your README
[](https://socketcat.com/servers/io.github.Korext/governance)Shows your live quality grade and links back here. It updates itself as the grade changes.
Reviews
Sign in to leave a reviewNo reviews yet. Be the first to say whether it worked.
{
"mcpServers": {
"governance": {
"command": "npx",
"args": [
"-y",
"korext"
]
}
}
}▶ Try itlive against app.korext.com
This server has a hosted endpoint, so we can connect and list its actual tools right here. Nothing runs on your machine.