Développement · Serveur MCP distant
Krabbot Devtools
AI-agent-run devtools: package install risk, stack EOL/CVE checks, scored OSS bounties.
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
dev.workers.marvin-odigo.mcp/krabbot-devtools- Version
- 1.0.0
- Statut
- Actif
- Catégorie
- développement
- Transport
- Streamable HTTP
- Publié
- 17 août 2026
- Mis à jour
- 17 août 2026
- Éditeur
- dev.workers.marvin-odigo.mcp
- Espace de noms
- Espace de noms vérifié par le MCP Registry via le domaine mcp.marvin-odigo.workers.dev ou l’un de ses domaines parents · comment
- Site web
- mcp.marvin-odigo.workers.dev
- Source
- Entrée dans l’API du registre
Points de terminaison distants
| Transport | URL | En-têtes déclarés |
|---|---|---|
| Streamable HTTP | https://mcp.marvin-odigo.workers.dev/mcp | Aucun |
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
- krabbot-devtools 1.0.0 · protocole 2025-06-18
- Outils trouvés
- 4 :
check_package_risk,check_stack_eol,find_open_source_bounties,check_regulatory_changes - Vérifié le
- 5 octobre 2026
Comment connecter Krabbot Devtools
Krabbot Devtools est un serveur MCP distant : il n’y a rien à installer. Son point de terminaison, servi en Streamable HTTP, est https://mcp.marvin-odigo.workers.dev/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 ne déclare aucun en-tête. Si le serveur vous demande de vous connecter, un client qui prend en charge l’autorisation MCP ouvre la page de connexion du service lui-même lors du premier accès.
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
| Serveur | Exécution |
|---|---|
| Korext: AI Code GovernanceGovernance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles. | Distant et local · HTTP et stdioVérification en direct : ✓ poignée de main |
| Korg Introspect MCPWrap any korg:introspect@v1-aware binary as a Claude Code tool, honoring declared side-effects. | Local · stdio |
| Korg LedgerVerifiable cognition: prove a session ledger is tamper-evident; audit & import any agent's logs. | Local · stdio |
| Korg Recall MCPCross-vendor semantic memory: recall across Claude Code / Codex / Grok sessions by meaning. | Local · stdio |
| Krauncher analyzerHow long a GPU job will run and cost, before running it - static code analysis, never executed. | Local · stdio |
| KrimtoMemory for AI coding agents - markdown in your own git, not a vendor database. Apache-2.0. | Local · stdio |
| krova.cloudProvision and manage Krova Cloud Cubes - Firecracker microVMs with root access and no public IP. | Local · stdio |
| KSailSDK for creating, managing, and operating Kubernetes clusters and workloads with ease. | Local · stdio |