Développement · Serveur MCP distant

Korext: AI Code Governance

Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre
io.github.Korext/governance
Version
3.0.1
Statut
Actif
Catégorie
développement
Transport
Streamable HTTP et stdio (processus local)
Paquet
npm
Publié
15 avril 2026
Mis à jour
15 avril 2026
Éditeur
Korext (GitHub)
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/Korext) · comment
Dépôt
github.com/Korext/enforce-action.git
Source
Entrée dans l’API du registre

Points de terminaison distants

TransportURLEn-têtes déclarés
Streamable HTTPhttps://app.korext.com/api/mcpAuthorization (secret)

Vérification en direct

Cet annuaire s’est connecté à chaque point de terminaison distant et lui a demandé sa liste d’outils. La vérification se limite à la connexion et à la liste des outils ; elle n’exécute aucun outil, ne se connecte à aucun compte et ne teste pas la sécurité.

Joignable
Oui (HTTP 200)
Poignée de main
korext-mcp 3.0.0 · protocole 2025-06-18
Outils trouvés
5 : get_directives, check_code, list_packs, generate_proof, get_proof
Vérifié le
5 octobre 2026

Comment fonctionne la vérification en direct

Paquets

RegistrePaquetVersionTransportVariables d’environnement
npmenvironnement d’exécution : npxkorext1.0.0stdioAucune déclarée

Comment connecter Korext: AI Code Governance

Korext: AI Code Governance est un serveur MCP distant : il n’y a rien à installer. Son point de terminaison, servi en Streamable HTTP, est https://app.korext.com/api/mcp. Dans un assistant qui accepte les serveurs MCP distants (souvent dans un paramètre nommé connecteurs, intégrations ou outils), ajoutez un nouveau serveur et indiquez-lui cette URL ; dans un client configuré par fichier, ajoutez-le comme serveur distant (HTTP) avec la même URL.

L’entrée du registre déclare un en-tête HTTP pour la connexion : Authorization (secret). Un en-tête secret contient généralement une clé d’API ou un jeton délivré par le service ; les clients qui acceptent des en-têtes personnalisés le définissent avec l’URL du serveur.

Il peut aussi s’exécuter en local depuis un paquet Node.js publié sur le registre npm : korext, version 1.0.0. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Node.js ; les clients le lancent généralement avec npx - la commande habituelle est npx -y korext@1.0.0.

Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :

{
  "mcpServers": {
    "governance": {
      "command": "npx",
      "args": [
        "-y",
        "korext@1.0.0"
      ]
    }
  }
}

Déduit de l’entrée du registre ; la vérification en direct ci-dessus indique seulement si le point de terminaison a répondu. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Autres serveurs : développement

Voir les 5 152 →
ServeurExécutionPoint de terminaison ou paquet
Koncept MCP ServerQuery a curated YAML semantic concept graph for codebase invariants and cross-cutting facts.Local · stdionpm : @yourtechtribe-labs/koncept-mcp-server
Kongen Labs - Pattern IntelligenceLLM reasoning regime detection, cross-domain pattern transfer, and model routing.Local · stdioPyPI : kongenlabs-mcp
KonQuest Meta Ads MCPSupervised Meta Ads operating system for Claude Code with 57 campaign management tools.Local · stdioPyPI : konquest-meta-ads-mcp
KoragraphLocal multi-repo code graph over MCP. Blast radius, call graphs, and memory anchored to code.Local · stdionpm : koragraphmcp
Korg Introspect MCPWrap any korg:introspect@v1-aware binary as a Claude Code tool, honoring declared side-effects.Local · stdionpm : @korgg/introspect-mcp
Korg LedgerVerifiable cognition: prove a session ledger is tamper-evident; audit & import any agent's logs.Local · stdioPyPI : korgex
Korg Recall MCPCross-vendor semantic memory: recall across Claude Code / Codex / Grok sessions by meaning.Local · stdionpm : @korgg/recall-mcp
Krabbot DevtoolsAI-agent-run devtools: package install risk, stack EOL/CVE checks, scored OSS bounties.Distant · HTTPVérification en direct : ✓ poignée de mainmcp.marvin-odigo.workers.dev