Semgrep ou io.github.Digital-Threads/token-pilot
Semgrep est un serveur MCP publié par docker. Places de marché que nous lisons et qui le référencent : 1 (Docker MCP Catalog). io.github.Digital-Threads/token-pilot est un serveur MCP publié par Digital-Threads. Places de marché que nous lisons et qui le référencent : 2 (Official MCP Registry, Community GitHub marketplaces). Selon notre passage sur les places de marché du 2026-10-13. Cette paire a été choisie par un lecteur, pas par notre règle de comparaison : nous demandons donc aux moteurs de recherche de ne pas indexer la page.
Où chacun est publié
| Place de marché |  io.github.Digital-Threads/token-pilot | |
|---|---|---|
| Docker MCP Catalog | Référencé Version: non indiquée Aucun chiffre publié Non marqué · Vu pour la première fois |
Absent |
| Official MCP Registry | Absent | Référencé Version: 1.0.4 Téléchargements par mois (npm): 3 108 Téléchargements par semaine (npm): 296 Forks (GitHub): 2 Étoiles (GitHub): 5 Non marqué · Vu pour la première fois |
Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.
Les faits côte à côte
| Fait | Semgrep | io.github.Digital-Threads/token-pilot |
|---|---|---|
| Marketplaces qui le listent (différent) | 1 (moins bon) | 2 (meilleur) |
| Étoiles (GitHub) (différent) | Aucun chiffre sur GitHub | 5 |
| Forks (GitHub) (différent) | Aucun chiffre sur GitHub | 2 |
| Dernière version | Non publié | Non publié |
| Où il s'exécute (différent) | Serveur distant (mcp.semgrep.ai/mcp) | Sur votre machine (token-pilot) |
| Transport (différent) | Streamable HTTP | stdio |
| Outils déclarés (différent) | 8 | Non publié |
| Variables d'environnement demandées | Non publié | Non publié |
| Hooks exécutés (différent) | Non publié | 13 |
| Parties du lot (différent) | Pas un lot | 34 |
| Licence (différent) | Apache-2.0 | MIT |
| Dépôt (différent) | Non indiqué | github.com/digital-threads/token-pilot |
| Modifications des 7 derniers jours (différent) | 0 | 2 |
| Vu pour la première fois | 2026-10-11 | 2026-10-11 |
| Endpoint à la dernière vérification (différent) | pas encore vérifié | pas d’endpoint distant que nous vérifions |
Les lignes où les deux diffèrent ont un fond teinté et des valeurs en gras. Là où les données elles-mêmes disent quelle valeur est meilleure (plus de marketplaces, un chiffre plus élevé du même marketplace, une version plus récente, une marque verified sur un marketplace qui liste les deux), la meilleure est aussi marquée en vert avec ▲ et la moins bonne en rouge avec ▼. L'endroit où il s'exécute, le transport, les outils, les réglages, les hooks, les parties du lot, la licence et les modifications de la semaine sont marqués seulement comme différents : plus ou moins n'est pas mieux en soi.
Ce que chacun dit faire
Semgrep
MCP server for using Semgrep to scan code for security vulnerabilities.
io.github.Digital-Threads/token-pilot
Save up to 80% tokens when AI reads code via AST-aware structural reading
Comment lancer chacun
Semgrep En serveur MCP distant
claude mcp add --transport http semgrep https://mcp.semgrep.ai/mcpio.github.Digital-Threads/token-pilot En serveur MCP local : paquet npm
claude mcp add --transport stdio token-pilot -- npx -y token-pilotCommandes construites uniquement à partir de ce que déclarent les marketplaces ; le jeu complet pour chaque client figure sur la fiche de chacun.
Outils que déclare chacun
Les marketplaces de io.github.Digital-Threads/token-pilot ne publient pas de liste d'outils, nous ne comparons donc pas les outils.
Réglages que demande chacun
Les marketplaces d'aucun des deux ne publient les réglages demandés.
Ce qu'il peut faire : Semgrep · Ce qu'il peut faire : io.github.Digital-Threads/token-pilot · Comparer deux autres plugins
Données issues de Docker MCP Catalog. Données issues de Official MCP Registry. Données issues de Community GitHub marketplaces. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.