tla-claude-code vs. forge
tla-claude-code é um pacote de plugins para ferramentas de programação com IA publicado por brianwu02. Marketplaces que lemos e que o listam: 1 (Community GitHub marketplaces). forge é um pacote de plugins para ferramentas de programação com IA publicado por UtkarshJain98. Marketplaces que lemos e que o listam: 1 (Claude Code: claude-plugins-community). Conforme nossa passagem pelos marketplaces em 2026-10-14. Este par foi escolhido por um leitor, não pela nossa regra de comparação, por isso pedimos aos buscadores que não indexem a página.
Onde cada um é publicado
| Marketplace |  forge | |
|---|---|---|
| Marketplace da comunidade brianwu02/tla-claude-code | Listado Versão: 1.0.0 Nenhum número publicado Sem marcação · Visto pela primeira vez |
Não listado |
| Claude Code: claude-plugins-community | Não listado | Listado Versão: 95ef910 Forks (GitHub): 0 Estrelas (GitHub): 1 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-code | forge |
|---|---|---|
| Marketplaces que o listam | 1 | 1 |
| Estrelas (GitHub) (diferente) | Sem número no GitHub | 1 |
| Forks (GitHub) (diferente) | Sem número no GitHub | 0 |
| Último release | Não publicado | Não publicado |
| Onde roda | Instala-se como pacote de plugins | Instala-se como pacote de plugins |
| Transporte | Não informado | Não informado |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede | Não publicado | Não publicado |
| Partes do pacote | 1 | 1 |
| Licença | Não informado | Não informado |
| Repositório (diferente) | github.com/brianwu02/tla-claude-code | github.com/utkarshjain98/forge |
| Mudanças nos últimos 7 dias (diferente) | 2 | 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. Onde os próprios dados dizem qual valor é melhor (mais marketplaces, um número maior do mesmo marketplace, um release mais recente, uma marca verified em um marketplace que lista os dois), o melhor também é marcado em verde com ▲ e o pior em vermelho com ▼. Onde roda, o transporte, as ferramentas, as configurações, os hooks, as partes do pacote, a licença e as mudanças da semana são marcados apenas como diferentes: mais ou menos não é melhor por si só.
O que cada um diz que faz
tla-claude-code
TLA+ formal verification for concurrency bugs, race conditions, and UX flow issues
forge
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 Builder implements a feature, the Breaker writes adversarial tests to prove bugs, and the Builder must fix the implementation without deleting or weakening the tests. The loop continues until the Breaker can't produce a failing test. The result is battle-tested code with a permanent adversarial test suite. Key features: - Evidence-based, not opinion-based. Every issue the Breaker raises must have a failing test that proves the bug. No test, no break. This eliminates false positives and subjective feedback. - Iterative adversarial loop. Builder and Breaker are separate agents that go back and forth for up to N rounds. The Builder cannot dismiss feedback; it must make the failing tests pass. - Adversarial tests are permanent. The Breaker's tests stay in the repo under tests/adversarial/ as a regression suite. Future changes are protected
Como executar cada um
tla-claude-code Como plugin do Claude Code
/plugin marketplace add brianwu02/tla-claude-code
/plugin install tla-claude-code@tla-claude-codeforge Como plugin do Claude Code
/plugin marketplace add anthropics/claude-plugins-community
/plugin install forge@claude-communityComandos 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 nenhum dos dois publicam as configurações que ele pede.
O que pode fazer: tla-claude-code · O que pode fazer: forge · Comparar outros dois plugins
Dados de Community GitHub marketplaces. Dados de Claude Code: claude-plugins-community. 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.