tla-claude-code vs. Entroly
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. Entroly é um servidor MCP publicado por juyterman1000. Marketplaces que lemos e que o listam: 2 (Official MCP Registry, Community GitHub marketplaces). Conforme nossa passagem pelos marketplaces em 2026-10-25. 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 |  Entroly | |
|---|---|---|
| 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: 1.0.86 Downloads por mês (PyPI): 1 455 Downloads por semana (PyPI): 339 Forks (GitHub): 73 Estrelas (GitHub): 479 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 · | Entroly |
|---|---|---|
| Marketplaces que o listam (diferente) | 0 | 2 |
| Estrelas (GitHub) (diferente) | 2 | 479 |
| Forks (GitHub) (diferente) | 0 | 73 |
| Último release (diferente) | Não publicado | 2026-10-14 |
| Onde roda (diferente) | Instala-se como pacote de plugins | Na sua máquina (entroly) |
| 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 | 4, das quais segredos: 1 |
| Hooks que executa (diferente) | Não publicado | 1 |
| Partes do pacote (diferente) | 1 | 4 |
| Licença (diferente) | Não informado | Apache-2.0 |
| Repositório (diferente) | github.com/brianwu02/tla-claude-code | github.com/juyterman1000/entroly |
| 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
Entroly
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
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.
Entroly Como servidor MCP local: pacote PyPI
claude mcp add --transport stdio entroly -- uvx entrolyComandos 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: Entroly · 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.