tla-claude-code vs. GodPrompt MCP Server
tla-claude-code ya no aparece en ningún marketplace que leemos: estos son sus últimos datos conocidos, a fecha de 2026‑10‑17.
tla-claude-code es un paquete de plugins para herramientas de programación con IA publicado por brianwu02. Ningún marketplace que leemos lo publica ya. GodPrompt MCP Server es un servidor MCP publicado por AKzar1el. Marketplaces que leemos y que lo publican: 2 (Official MCP Registry, npm registry (MCP servers)). Según nuestra pasada por los marketplaces del 2026-11-11. Un plugin de este par ya no aparece en ningún marketplace que leemos, así que pedimos a los buscadores que no indexen la página.
Dónde se publica cada uno
| Marketplace |  GodPrompt MCP Server | |
|---|---|---|
| Marketplace de la comunidad brianwu02/tla-claude-code | Retirado el 2026-10-17 Versión: 1.0.0 Forks (GitHub): 0 Estrellas (GitHub): 2 Sin marca · Visto por primera vez |
No figura |
| Official MCP Registry | No figura | Publicado Versión: 1.0.44 Forks (GitHub): 1 Estrellas (GitHub): 2 Sin marca · Visto por primera vez |
| npm registry (MCP servers) | No figura | Publicado Versión: 1.0.44 Descargas por mes (npm): 3 947 Descargas por semana (npm): 3 229 Forks (GitHub): 1 Estrellas (GitHub): 2 Sin marca · Visto por primera vez |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Los datos lado a lado
| Dato | tla-claude-codeya no está publicado · | GodPrompt MCP Server |
|---|---|---|
| Marketplaces que lo listan (distinto) | 0 | 2 |
| Estrellas (GitHub) | 2 | 2 |
| Forks (GitHub) (distinto) | 0 | 1 |
| Última versión (distinto) | No publicado | 2026-10-27 |
| Dónde se ejecuta (distinto) | Se instala como paquete de plugins | Servidor remoto o tu equipo |
| Transporte (distinto) | Sin indicar | Streamable HTTP |
| Herramientas que declara | No publicado | No publicado |
| Variables de entorno que pide | No publicado | No publicado |
| Partes del paquete (distinto) | 1 | No es un paquete |
| Licencia (distinto) | Sin indicar | MIT |
| Repositorio (distinto) | github.com/brianwu02/tla-claude-code | github.com/akzar1el/god-prompt-mcp |
| Cambios en los últimos 7 días | 0 | 0 |
| Visto por primera vez (distinto) | 2026-10-14 | 2026-10-11 |
| Endpoint en la última comprobación (distinto) | sin endpoint remoto que comprobemos | Estado desactualizado: la última comprobación hace 37 h devolvió HTTP 405 |
Las líneas en las que difieren tienen fondo tintado y valores en negrita. Ningún valor se marca como mejor o peor: un plugin que ya no publica ningún marketplace se muestra con sus últimos datos conocidos, que no comparamos con cifras actuales.
Qué usar en lugar de «tla-claude-code»
Plugins aún publicados cuyos nombres, descripciones, herramientas y skills son los más cercanos en significado. Comparables, no 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…
-
30+ deterministic dev and delivery tools: linting, metrics, diagrams, model advice, AI-text checks.
Qué dice cada uno que hace
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.
Cómo ejecutar cada uno
tla-claude-code
No hay datos para un comando automático: lo que declaran sus marketplaces no dice de forma inequívoca cómo conectarlo.
GodPrompt MCP Server Como servidor MCP remoto
claude mcp add --transport http god-prompt-mcp https://god-prompt-mcp.tomi-seregi99.workers.dev/mcpComandos construidos solo con lo que declaran los marketplaces; el conjunto completo para cada cliente está en la ficha de cada uno.
Solo GodPrompt MCP Server tiene un endpoint remoto que comprobamos. Cómo comprobamos los endpoints
Herramientas que declara cada uno
Ni los marketplaces de tla-claude-code ni su endpoint enumeran herramientas, así que no comparamos herramientas.
Ajustes que pide cada uno
Los marketplaces de ninguno de los dos publican los ajustes que pide.
Qué puede hacer: tla-claude-code · Qué puede hacer: GodPrompt MCP Server · Comparar otros dos plugins
Datos de Community GitHub marketplaces. Datos de Official MCP Registry. Datos de npm registry (MCP servers). Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.