tla-claude-code vs. SmartBear MCP
tla-claude-code ya no aparece en ningún marketplace que leemos: estos son sus últimos datos conocidos, a fecha de 2026‑10‑17.
tla-claude-code es un paquete de plugins para herramientas de programación con IA publicado por brianwu02. Ningún marketplace que leemos lo publica ya. SmartBear MCP es un servidor MCP publicado por smartbear.com. Marketplaces que leemos y que lo publican: 2 (Official MCP Registry, Docker MCP Catalog). Según nuestra pasada por los marketplaces del 2026-10-20. Un plugin de este par ya no aparece en ningún marketplace que leemos, así que pedimos a los buscadores que no indexen la página.
Dónde se publica cada uno
| Marketplace |  SmartBear MCP | |
|---|---|---|
| Marketplace de la comunidad brianwu02/tla-claude-code | Retirado el 2026-10-17 Versión: 1.0.0 Forks (GitHub): 0 Estrellas (GitHub): 2 Sin marca · Visto por primera vez |
No figura |
| Official MCP Registry | No figura | Publicado Versión: 0.42.0 Descargas por mes (npm): 45 350 Descargas por semana (npm): 4 476 Forks (GitHub): 51 Estrellas (GitHub): 44 Sin marca · Visto por primera vez |
| Docker MCP Catalog | No figura | Publicado Versión: sha256:8a64acae01b6 Forks (GitHub): 51 Descargas (Docker Hub): 14 429 Estrellas (Docker Hub): 0 Estrellas (GitHub): 44 Sin marca · Visto por primera vez |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Los datos lado a lado
| Dato | tla-claude-codeya no está publicado · | SmartBear MCP |
|---|---|---|
| Marketplaces que lo listan (distinto) | 0 | 2 |
| Estrellas (GitHub) (distinto) | 2 | 44 |
| Descargas (Docker Hub) (distinto) | Sin cifra en Docker Hub | 14 429 |
| Forks (GitHub) (distinto) | 0 | 51 |
| Última versión | No publicado | No publicado |
| Dónde se ejecuta (distinto) | Se instala como paquete de plugins | Servidor remoto o tu equipo |
| Transporte (distinto) | Sin indicar | Streamable HTTP, stdio |
| Herramientas que declara (distinto) | No publicado | 160 |
| Variables de entorno que pide (distinto) | No publicado | 17, de ellas secretos: 10 |
| Partes del paquete (distinto) | 1 | No es un paquete |
| Licencia (distinto) | Sin indicar | MIT |
| Repositorio (distinto) | github.com/brianwu02/tla-claude-code | github.com/smartbear/smartbear-mcp |
| Cambios en los últimos 7 días (distinto) | 4 | 0 |
| Visto por primera vez (distinto) | 2026-10-14 | 2026-10-11 |
| Endpoint en la última comprobación (distinto) | sin endpoint remoto que comprobemos | Respondió con HTTP 400 (hace 2 días) |
Las líneas en las que difieren tienen fondo tintado y valores en negrita. Ningún valor se marca como mejor o peor: un plugin que ya no publica ningún marketplace se muestra con sus últimos datos conocidos, que no comparamos con cifras actuales.
Qué usar en lugar de «tla-claude-code»
Plugins aún publicados cuyos nombres, descripciones, herramientas y skills son los más cercanos en significado. Comparables, no recomendados.
-
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.
Qué dice cada uno que hace
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.
Cómo ejecutar cada uno
tla-claude-code
No hay datos para un comando automático: lo que declaran sus marketplaces no dice de forma inequívoca cómo conectarlo.
SmartBear MCP Como servidor MCP remoto
claude mcp add --transport http smartbear-mcp https://bugsnag.mcp.smartbear.com/mcpRequiere: BEARQ_API_TOKEN (secreta), BUGSNAG_AUTH_TOKEN (secreta), PACT_BROKER_PASSWORD (secreta), PACT_BROKER_TOKEN (secreta), QTM4J_API_KEY (secreta), QTM4J_AUTOMATION_API_KEY (secreta), REFLECT_API_TOKEN (secreta), SWAGGER_API_KEY (secreta), SWAGGER_FUNCTIONAL_TESTING_API_TOKEN (secreta), ZEPHYR_API_TOKEN (secreta)
Comandos construidos solo con lo que declaran los marketplaces; el conjunto completo para cada cliente está en la ficha de cada uno.
Solo SmartBear MCP tiene un endpoint remoto que comprobamos. Cómo comprobamos los endpoints
Herramientas que declara cada uno
Los marketplaces de tla-claude-code no publican una lista de herramientas, así que no comparamos herramientas.
Ajustes que pide cada uno
Los marketplaces de tla-claude-code no publican los ajustes que pide, así que no comparamos ajustes.
Qué puede hacer: tla-claude-code · Qué puede hacer: SmartBear MCP · Comparar otros dos plugins
Datos de Community GitHub marketplaces. Datos de Official MCP Registry. Datos de Docker MCP Catalog. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.