Éditeur · compte GitHub

Serveurs MCP publiés par ToremLabs

2 serveurs du MCP Registry officiel sont publiés sous l’espace de noms io.github.ToremLabs/ et ont une page dans cet annuaire : les deux s’exécutent en local à partir d’un paquet. Première publication : 2 juin 2026 ; dernière mise à jour : 28 juillet 2026.

Ce que publie cet éditeur

Les noms sous io.github.ToremLabs/ ne peuvent être publiés que par une personne qui se connecte au MCP Registry en tant qu’utilisateur GitHub ToremLabs, 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.ToremLabs
Serveurs ayant une page
2
Catégories
développement (1) et autres (1)
Transports
stdio (processus local) (2)
Registres de paquets
npm (2)
Paquets déclarant des variables d’environnement
0 sur 2
Première publication
2 juin 2026
Dernière mise à jour
28 juillet 2026

Dépôts de code source

Les 2 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 2 serveurs, de A à Z

ServeurExécutionCatégorie
HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant.Local · stdioautres
ProofGovern your AI coding agent: frame the work, review the changes, keep a signed decision record.Local · stdiodéveloppement

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