Éditeur · compte GitHub
Serveurs MCP publiés par infino-ai
2 serveurs du MCP Registry officiel sont publiés sous l’espace de noms io.github.infino-ai/ et ont une page dans cet annuaire : les deux s’exécutent en local à partir d’un paquet. Première publication : 21 septembre 2026 ; dernière mise à jour : 1 octobre 2026.
Ce que publie cet éditeur
Les noms sous io.github.infino-ai/ ne peuvent être publiés que par une personne qui se connecte au MCP Registry en tant qu’utilisateur GitHub infino-ai, 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.infino-ai- Serveurs ayant une page
- 2
- Catégories
- développement (2)
- Transports
- stdio (processus local) (2)
- Registres de paquets
- npm (2)
- Paquets déclarant des variables d’environnement
- 2 sur 2
- Première publication
- 21 septembre 2026
- Dernière mise à jour
- 1 octobre 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
| Serveur | Exécution |
|---|---|
| Code ContextLocal code search for AI coding agents: hybrid keyword + semantic + SQL over an index in your repo. | Local · stdio |
| infino-ai MCP-SERVERKeyword, semantic, hybrid, and SQL retrieval for AI agents, local or on Infino Cloud. | Local · stdio |
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