tla-claude-code ou SmartBear MCP
tla-claude-code n’est plus référencé sur aucune place de marché que nous lisons : ce sont ses dernières données connues, au 2026‑10‑17.
tla-claude-code est un lot de plugins pour les outils de code IA publié par brianwu02. Aucune place de marché que nous lisons ne le référence plus. SmartBear MCP est un serveur MCP publié par smartbear.com. Places de marché que nous lisons et qui le référencent : 2 (Official MCP Registry, Docker MCP Catalog). Selon notre passage sur les places de marché du 2026-10-19. Un plugin de cette paire n’est plus référencé sur aucune place de marché que nous lisons : nous demandons donc aux moteurs de recherche de ne pas indexer la page.
Où chacun est publié
| Place de marché |  SmartBear MCP | |
|---|---|---|
| Place de marché communautaire brianwu02/tla-claude-code | Retiré le 2026-10-17 Version: 1.0.0 Forks (GitHub): 0 Étoiles (GitHub): 2 Non marqué · Vu pour la première fois |
Absent |
| Official MCP Registry | Absent | Référencé Version: 0.42.0 Téléchargements par mois (npm): 45 350 Téléchargements par semaine (npm): 4 476 Forks (GitHub): 50 Étoiles (GitHub): 44 Non marqué · Vu pour la première fois |
| Docker MCP Catalog | Absent | Référencé Version: sha256:8a64acae01b6 Forks (GitHub): 50 Téléchargements (Docker Hub): 14 411 Étoiles (Docker Hub): 0 Étoiles (GitHub): 44 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 | tla-claude-codeplus référencé · | SmartBear MCP |
|---|---|---|
| Marketplaces qui le listent (différent) | 0 | 2 |
| Étoiles (GitHub) (différent) | 2 | 44 |
| Téléchargements (Docker Hub) (différent) | Aucun chiffre sur Docker Hub | 14 411 |
| Forks (GitHub) (différent) | 0 | 50 |
| Dernière version | Non publié | Non publié |
| Où il s'exécute (différent) | S'installe comme lot de plugins | Serveur distant ou votre machine |
| Transport (différent) | Non indiqué | Streamable HTTP, stdio |
| Outils déclarés (différent) | Non publié | 160 |
| Variables d'environnement demandées (différent) | Non publié | 17, dont secrets : 10 |
| Parties du lot (différent) | 1 | Pas un lot |
| Licence (différent) | Non indiqué | MIT |
| Dépôt (différent) | github.com/brianwu02/tla-claude-code | github.com/smartbear/smartbear-mcp |
| Modifications des 7 derniers jours (différent) | 4 | 0 |
| Vu pour la première fois (différent) | 2026-10-14 | 2026-10-11 |
| Endpoint à la dernière vérification (différent) | pas d’endpoint distant que nous vérifions | A répondu HTTP 400 (il y a 2 jours) |
Les lignes où les deux diffèrent ont un fond teinté et des valeurs en gras. Aucune valeur n’est marquée meilleure ou moins bonne : un plugin qu’aucune place de marché ne référence plus est montré avec ses dernières données connues, que nous ne classons pas face à des chiffres actuels.
Quoi utiliser à la place de « tla-claude-code »
Plugins encore référencés dont les noms, descriptions, outils et skills sont les plus proches par le sens. Comparables, pas recommandés.
-
Prevent, catch, and verify architectural violations while Claude Code works.
-
AI code review that catches production-breaking bugs, business logic issues, and security vulnerabilities — directly in Claude Code.
-
Description: Adversarial code hardening for Claude Code. Forge spawns two agents — a Builder and a Breaker — that iterate against each other until the code is unbreakable. The…
-
Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate TypeScript/Python code with runtime…
-
Full-stack engineering ops for Claude Code. One command (/prodmasterai) covers your entire dev lifecycle: orchestrate features into parallel tasks, run 11-phase QA with health…
-
Code intelligence platform for AI agents. 20 tools for architecture, security & impact analysis.
Ce que chacun dit faire
tla-claude-code
TLA+ formal verification for concurrency bugs, race conditions, and UX flow issues
SmartBear MCP
MCP server for AI access to SmartBear tools, including BugSnag, Reflect, Swagger, PactFlow, QTM4J.
Comment lancer chacun
tla-claude-code
Pas de données pour une commande automatique : ce que déclarent ses places de marché ne dit pas sans ambiguïté comment le connecter.
SmartBear MCP En serveur MCP distant
claude mcp add --transport http smartbear-mcp https://bugsnag.mcp.smartbear.com/mcpDemande: BEARQ_API_TOKEN (secrète), BUGSNAG_AUTH_TOKEN (secrète), PACT_BROKER_PASSWORD (secrète), PACT_BROKER_TOKEN (secrète), QTM4J_API_KEY (secrète), QTM4J_AUTOMATION_API_KEY (secrète), REFLECT_API_TOKEN (secrète), SWAGGER_API_KEY (secrète), SWAGGER_FUNCTIONAL_TESTING_API_TOKEN (secrète), ZEPHYR_API_TOKEN (secrète)
Commandes construites uniquement à partir de ce que déclarent les marketplaces ; le jeu complet pour chaque client figure sur la fiche de chacun.
Seul SmartBear MCP a un endpoint distant que nous vérifions. Comment nous vérifions les endpoints
Outils que déclare chacun
Les marketplaces de tla-claude-code ne publient pas de liste d'outils, nous ne comparons donc pas les outils.
Réglages que demande chacun
Les marketplaces de tla-claude-code ne publient pas les réglages demandés, nous ne comparons donc pas les réglages.
Ce qu'il peut faire : tla-claude-code · Ce qu'il peut faire : SmartBear MCP · Comparer deux autres plugins
Données issues de Community GitHub marketplaces. Données issues de Official MCP Registry. Données issues de Docker MCP Catalog. 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.