tla-claude-code vs. GodPrompt MCP Server
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. GodPrompt MCP Server é um servidor MCP publicado por AKzar1el. Marketplaces que lemos e que o listam: 2 (Official MCP Registry, npm registry (MCP servers)). Conforme nossa passagem pelos marketplaces em 2026-11-08. 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 |  GodPrompt MCP Server | |
|---|---|---|
| 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.44 Forks (GitHub): 1 Estrelas (GitHub): 2 Sem marcação · Visto pela primeira vez |
| npm registry (MCP servers) | Não listado | Listado Versão: 1.0.44 Downloads por mês (npm): 3 947 Downloads por semana (npm): 3 229 Forks (GitHub): 1 Estrelas (GitHub): 2 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 · | GodPrompt MCP Server |
|---|---|---|
| Marketplaces que o listam (diferente) | 0 | 2 |
| Estrelas (GitHub) | 2 | 2 |
| Forks (GitHub) (diferente) | 0 | 1 |
| Último release (diferente) | Não publicado | 2026-10-27 |
| Onde roda (diferente) | Instala-se como pacote de plugins | Servidor remoto ou sua máquina |
| Transporte (diferente) | Não informado | Streamable HTTP |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede | Não publicado | Não publicado |
| 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/akzar1el/god-prompt-mcp |
| Mudanças nos últimos 7 dias | 0 | 0 |
| Visto pela primeira vez (diferente) | 2026-10-14 | 2026-10-11 |
| Endpoint na última verificação (diferente) | sem endpoint remoto que verificamos | Respondeu há 24 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.
-
Agent skills for working with Quint — the formal specification language for distributed systems. Covers spec writing, TLA+ translation, code-to-spec generation, spec review, and…
-
Systematically debug issues with step-by-step troubleshooting approaches.
-
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…
-
Four-phase debugging framework that ensures root cause investigation before attempting fixes. Never jump to solutions. Use when encountering any bug, test failure, or unexpected…
-
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
GodPrompt MCP Server
GodPrompt MCP + Agent Skill for coding agents with TDD, debugging, verification, and task routing.
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.
GodPrompt MCP Server Como servidor MCP remoto
claude mcp add --transport http god-prompt-mcp https://god-prompt-mcp.tomi-seregi99.workers.dev/mcpComandos construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Só GodPrompt MCP Server tem um endpoint remoto que verificamos. Como verificamos os endpoints
Ferramentas que cada um declara
Nem os marketplaces de tla-claude-code nem seu endpoint listam ferramentas, então não comparamos ferramentas.
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: GodPrompt MCP Server · Comparar outros dois plugins
Dados de Community GitHub marketplaces. Dados de Official MCP Registry. Dados de npm registry (MCP servers). 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.