tla-claude-code vs. Sigasi Magic HDL
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. Sigasi Magic HDL é um servidor MCP publicado por sigasi.com. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Conforme nossa passagem pelos marketplaces em 2026-10-26. 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 |  Sigasi Magic HDL | |
|---|---|---|
| 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.1.2026092115 Downloads por mês (npm): 834 Downloads por semana (npm): 52 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 · | Sigasi Magic HDL |
|---|---|---|
| Marketplaces que o listam (diferente) | 0 | 1 |
| Estrelas (GitHub) (diferente) | 2 | Sem número no GitHub |
| Forks (GitHub) (diferente) | 0 | Sem número no GitHub |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Instala-se como pacote de plugins | Na sua máquina (@sigasi/magic-hdl) |
| Transporte (diferente) | Não informado | stdio |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede (diferente) | Não publicado | 1, das quais segredos: 1 |
| Partes do pacote (diferente) | 1 | Não é um pacote |
| Licença | Não informado | Não informado |
| Repositório (diferente) | github.com/brianwu02/tla-claude-code | Não informado |
| Mudanças nos últimos 7 dias | 0 | 0 |
| Visto pela primeira vez (diferente) | 2026-10-14 | 2026-10-11 |
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.
-
Systematically debug issues with step-by-step troubleshooting approaches.
-
Unified toolkit for Context-Driven Development with spec-first planning, TDD workflow, and OKF knowledge bundles.
-
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…
-
SOLID principles enforcement with automatic project detection and validation for all languages
O que cada um diz que faz
tla-claude-code
TLA+ formal verification for concurrency bugs, race conditions, and UX flow issues
Sigasi Magic HDL
Analyze and verify Verilog, SystemVerilog, and VHDL projects from AI agents over MCP.
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.
Sigasi Magic HDL Como servidor MCP local: pacote npm
claude mcp add --env "MAGIC_HDL_LICENSE_KEY=<YOUR_MAGIC_HDL_LICENSE_KEY>" --transport stdio magic-hdl -- npx -y @sigasi/magic-hdl serveExige: MAGIC_HDL_LICENSE_KEY (secreta)
Comandos construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Ferramentas que cada um declara
Os marketplaces de nenhum dos dois publicam uma lista de ferramentas, então não há o que comparar.
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: Sigasi Magic HDL · Comparar outros dois plugins
Dados de Community GitHub marketplaces. Dados de Official MCP Registry. 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.