Éditeur · compte GitHub

Serveurs MCP publiés par The-40-Thieves

3 serveurs du MCP Registry officiel sont publiés sous l’espace de noms io.github.The-40-Thieves/ et ont une page dans cet annuaire : tous s’exécutent en local à partir d’un paquet. Première publication : 5 septembre 2026 ; dernière mise à jour : 3 octobre 2026.

Ce que publie cet éditeur

Les noms sous io.github.The-40-Thieves/ ne peuvent être publiés que par une personne qui se connecte au MCP Registry en tant qu’utilisateur GitHub The-40-Thieves, ou avec les droits que le registre exige dans l’organisation GitHub de ce nom (sa documentation demande désormais un propriétaire de l’organisation). Le nom indique quel compte GitHub a publié l’entrée ; il ne montre pas que ce compte appartient à l’entreprise dont un serveur utilise le produit.

Espace de noms
io.github.The-40-Thieves
Serveurs ayant une page
3
Catégories
développement (2) et autres (1)
Transports
stdio (processus local) (3)
Registres de paquets
npm (2) et PyPI (1)
Paquets déclarant des variables d’environnement
2 sur 3
Sites web indiqués
github.com
Première publication
5 septembre 2026
Dernière mise à jour
3 octobre 2026

Dépôts de code source

Les 3 dépôts indiqués par ces serveurs, avec le nombre de serveurs qui citent chacun d’eux, les plus cités d’abord.

Les 3 serveurs, de A à Z

ServeurExécutionCatégorie
AlexandriaSearch, read, and cite across 152 libraries: 11 tools, 3 prompts, and a full-text resource.Local · stdiodéveloppement
codecalcCode & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.Local · stdiodéveloppement
Obsidian TurbochargedGoverned Obsidian vault access: hybrid retrieval, Markdown-native memory, HITL confirmations.Local · stdioautres

Regroupement par espace de noms du registre, tel que l’indique le MCP Registry. Une page ici ne vaut pas caution et personne ne paie pour y figurer : charte éditoriale · Avant de connecter un serveur