Semgrep ou RTL Lint MCP
Semgrep est un serveur MCP publié par docker. Places de marché que nous lisons et qui le référencent : 1 (Docker MCP Catalog). RTL Lint MCP est un serveur MCP publié par jaspresi. Places de marché que nous lisons et qui le référencent : 1 (Official MCP Registry). Selon notre passage sur les places de marché du 2026-10-28. 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é |  Semgrep | |
|---|---|---|
| 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: 0.2.0 Téléchargements par mois (PyPI): 44 Téléchargements par semaine (PyPI): 20 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 | RTL Lint MCP |
|---|---|---|
| Marketplaces qui le listent | 1 | 1 |
| Dernière version | Non publié | Non publié |
| Où il s'exécute (différent) | Serveur distant (mcp.semgrep.ai/mcp) | Sur votre machine (rtl-lint-mcp) |
| Transport (différent) | Streamable HTTP | stdio |
| Outils déclarés (différent) | 8 | Non publié |
| Variables d'environnement demandées (différent) | Non publié | 1, dont secrets : 0 |
| Licence (différent) | Apache-2.0 | Non indiqué |
| Dépôt | Non indiqué | Non indiqué |
| Modifications des 7 derniers jours | 0 | 0 |
| Vu pour la première fois | 2026-10-11 | 2026-10-11 |
| Endpoint à la dernière vérification (différent) | A répondu il y a 2 jours, demande une clé | 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.
RTL Lint MCP
Lint Verilog and SystemVerilog files and projects with structured diagnostics.
Comment lancer chacun
Semgrep En serveur MCP distant
claude mcp add --transport http semgrep https://mcp.semgrep.ai/mcpRTL Lint MCP En serveur MCP local : paquet PyPI
claude mcp add --env "RTL_LINT_ALLOWED_ROOTS=<YOUR_RTL_LINT_ALLOWED_ROOTS>" --transport stdio rtl-lint-mcp -- uvx rtl-lint-mcpDemande: RTL_LINT_ALLOWED_ROOTS
Commandes construites uniquement à partir de ce que déclarent les marketplaces ; le jeu complet pour chaque client figure sur la fiche de chacun.
Seul Semgrep a un endpoint distant que nous vérifions. Comment nous vérifions les endpoints
Outils que déclare chacun
Les marketplaces de RTL Lint MCP ne publient pas de liste d'outils, nous ne comparons donc pas les outils.
Réglages que demande chacun
Les marketplaces de Semgrep ne publient pas les réglages demandés, nous ne comparons donc pas les réglages.
Ce qu'il peut faire : Semgrep · Ce qu'il peut faire : RTL Lint MCP · Comparer deux autres plugins
Données issues de Docker MCP Catalog. Données issues de Official MCP Registry. 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.