tla-claude-code vs. SmartBear MCP
tla-claude-code não está mais listado em nenhum marketplace que lemos: estes são os últimos dados conhecidos, de 2026‑10‑17.
tla-claude-code é um pacote de plugins para ferramentas de programação com IA publicado por brianwu02. Nenhum marketplace que lemos o lista mais. SmartBear MCP é um servidor MCP publicado por smartbear.com. Marketplaces que lemos e que o listam: 2 (Official MCP Registry, Docker MCP Catalog). Conforme nossa passagem pelos marketplaces em 2026-10-18. Um plugin deste par não está mais listado em nenhum marketplace que lemos, por isso pedimos aos buscadores que não indexem a página.
Onde cada um é publicado
| Marketplace |  SmartBear MCP | |
|---|---|---|
| Marketplace da comunidade brianwu02/tla-claude-code | Removido em 2026-10-17 Versão: 1.0.0 Forks (GitHub): 0 Estrelas (GitHub): 2 Sem marcação · Visto pela primeira vez |
Não listado |
| Official MCP Registry | Não listado | Listado Versão: 0.42.0 Downloads por mês (npm): 45 350 Downloads por semana (npm): 4 476 Forks (GitHub): 50 Estrelas (GitHub): 44 Sem marcação · Visto pela primeira vez |
| Docker MCP Catalog | Não listado | Listado Versão: sha256:8a64acae01b6 Forks (GitHub): 50 Downloads (Docker Hub): 14 395 Estrelas (Docker Hub): 0 Estrelas (GitHub): 44 Sem marcação · Visto pela primeira vez |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
Os fatos lado a lado
| Fato | tla-claude-codenão está mais listado · | SmartBear MCP |
|---|---|---|
| Marketplaces que o listam (diferente) | 0 | 2 |
| Estrelas (GitHub) (diferente) | 2 | 44 |
| Downloads (Docker Hub) (diferente) | Sem número no Docker Hub | 14 395 |
| Forks (GitHub) (diferente) | 0 | 50 |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Instala-se como pacote de plugins | Servidor remoto ou sua máquina |
| Transporte (diferente) | Não informado | Streamable HTTP, stdio |
| Ferramentas que declara (diferente) | Não publicado | 160 |
| Variáveis de ambiente que pede (diferente) | Não publicado | 17, das quais segredos: 10 |
| Partes do pacote (diferente) | 1 | Não é um pacote |
| Licença (diferente) | Não informado | MIT |
| Repositório (diferente) | github.com/brianwu02/tla-claude-code | github.com/smartbear/smartbear-mcp |
| Mudanças nos últimos 7 dias (diferente) | 4 | 0 |
| Visto pela primeira vez (diferente) | 2026-10-14 | 2026-10-11 |
| Endpoint na última verificação (diferente) | sem endpoint remoto que verificamos | Respondeu com HTTP 400 (há 41 h) |
As linhas em que os dois diferem têm fundo destacado e valores em negrito. Nenhum valor é marcado como melhor ou pior: um plugin que nenhum marketplace lista mais aparece com os últimos dados conhecidos, que não comparamos com números atuais.
O que usar no lugar de «tla-claude-code»
Plugins ainda listados cujos nomes, descrições, ferramentas e skills são os mais próximos em significado. Comparáveis, não 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.
O que cada um diz que faz
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.
Como executar cada um
tla-claude-code
Sem dados para um comando automático: o que os marketplaces declaram não diz de forma inequívoca como conectá-lo.
SmartBear MCP Como servidor MCP remoto
claude mcp add --transport http smartbear-mcp https://bugsnag.mcp.smartbear.com/mcpExige: 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 construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Só SmartBear MCP tem um endpoint remoto que verificamos. Como verificamos os endpoints
Ferramentas que cada um declara
Os marketplaces de tla-claude-code não publicam lista de ferramentas, então não comparamos ferramentas.
Configurações que cada um pede
Os marketplaces de tla-claude-code não publicam as configurações que ele pede, então não comparamos configurações.
O que pode fazer: tla-claude-code · O que pode fazer: SmartBear MCP · Comparar outros dois plugins
Dados de Community GitHub marketplaces. Dados de Official MCP Registry. Dados de Docker MCP Catalog. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.