Sviluppo · Server MCP remoto
Korext: AI Code Governance
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
Cosa indica il MCP Registry
La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.
- Nome nel registro
io.github.Korext/governance- Versione
- 3.0.1
- Stato
- Attivo
- Categoria
- sviluppo
- Trasporto
- Streamable HTTP e stdio (processo locale)
- Pacchetto
- npm
- Pubblicato
- 15 aprile 2026
- Aggiornato
- 15 aprile 2026
- Editore
- Korext (GitHub)
- Namespace
- Namespace verificato dal MCP Registry tramite GitHub (github.com/Korext) · come funziona
- Repository
- github.com/Korext/enforce-action.git
- Fonte
- Voce nell’API del registro
Endpoint remoti
| Trasporto | URL | Header dichiarati |
|---|---|---|
| Streamable HTTP | https://app.korext.com/api/mcp | Authorization (segreto) |
Verifica live
Questa directory si è collegata a ogni endpoint remoto e ne ha richiesto l’elenco degli strumenti. La verifica si limita a collegarsi e a elencare gli strumenti; non li esegue, non effettua l’accesso e non testa la sicurezza.
- Raggiungibile
- Sì (HTTP 200)
- Handshake
- korext-mcp 3.0.0 · protocollo 2025-06-18
- Strumenti trovati
- 5:
get_directives,check_code,list_packs,generate_proof,get_proof - Data della verifica
- 5 ottobre 2026
Pacchetti
| Registro | Pacchetto | Versione | Trasporto |
|---|---|---|---|
| npmruntime: npx | korext | 1.0.0 | stdio |
Come collegare Korext: AI Code Governance
Korext: AI Code Governance è un server MCP remoto: non c’è niente da installare. Il suo endpoint, servito tramite Streamable HTTP, è https://app.korext.com/api/mcp. In un assistente che accetta server MCP remoti (spesso in un’impostazione chiamata connettori, integrazioni o strumenti) si aggiunge un nuovo server indicando questo URL; in un client configurato tramite file lo si aggiunge come server remoto (HTTP) con lo stesso URL.
La voce del registro dichiara un header HTTP per la connessione: Authorization (segreto). Un header segreto contiene di solito una chiave API o un token rilasciato dal servizio; i client che accettano header personalizzati lo impostano insieme all’URL del server.
Può essere eseguito anche in locale a partire da un pacchetto Node.js pubblicato nel registro npm: korext, versione 1.0.0. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Node.js; i client in genere lo avviano con npx - il comando abituale è npx -y korext@1.0.0.
Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):
{
"mcpServers": {
"governance": {
"command": "npx",
"args": [
"-y",
"korext@1.0.0"
]
}
}
}Ricavato dalla voce del registro; la verifica live riportata sopra mostra solo se l’endpoint ha risposto. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server
Altri server della categoria sviluppo
| Server | Esecuzione |
|---|---|
| Koncept MCP ServerQuery a curated YAML semantic concept graph for codebase invariants and cross-cutting facts. | Locale · stdio |
| Kongen Labs - Pattern IntelligenceLLM reasoning regime detection, cross-domain pattern transfer, and model routing. | Locale · stdio |
| KonQuest Meta Ads MCPSupervised Meta Ads operating system for Claude Code with 57 campaign management tools. | Locale · stdio |
| KoragraphLocal multi-repo code graph over MCP. Blast radius, call graphs, and memory anchored to code. | Locale · stdio |
| Korg Introspect MCPWrap any korg:introspect@v1-aware binary as a Claude Code tool, honoring declared side-effects. | Locale · stdio |
| Korg LedgerVerifiable cognition: prove a session ledger is tamper-evident; audit & import any agent's logs. | Locale · stdio |
| Korg Recall MCPCross-vendor semantic memory: recall across Claude Code / Codex / Grok sessions by meaning. | Locale · stdio |
| Krabbot DevtoolsAI-agent-run devtools: package install risk, stack EOL/CVE checks, scored OSS bounties. | Remoto · HTTPVerifica live: ✓ handshake |