tla-claude-code vs. GodPrompt MCP Server
tla-claude-code ist auf keinem Marktplatz mehr gelistet, den wir lesen: Das sind die letzten bekannten Daten, Stand 2026‑10‑17.
tla-claude-code ist ein Plugin-Paket für KI-Coding-Tools von brianwu02. Kein Marktplatz, den wir lesen, listet es noch. GodPrompt MCP Server ist ein MCP-Server von AKzar1el. Marktplätze, die wir lesen und die es listen: 2 (Official MCP Registry, npm registry (MCP servers)). Stand unseres Marktplatz-Durchlaufs vom 2026-11-04. Ein Plugin dieses Paares ist auf keinem Marktplatz mehr gelistet, den wir lesen, deshalb bitten wir Suchmaschinen, die Seite nicht zu indexieren.
Wo jedes veröffentlicht ist
| Marktplatz |  GodPrompt MCP Server | |
|---|---|---|
| Community-Marktplatz brianwu02/tla-claude-code | Entfernt am 2026-10-17 Version: 1.0.0 Forks (GitHub): 0 Sterne (GitHub): 2 Nicht markiert · Erstmals gesehen |
Nicht gelistet |
| Official MCP Registry | Nicht gelistet | Gelistet Version: 1.0.44 Forks (GitHub): 1 Sterne (GitHub): 2 Nicht markiert · Erstmals gesehen |
| npm registry (MCP servers) | Nicht gelistet | Gelistet Version: 1.0.44 Downloads pro Monat (npm): 3 947 Downloads pro Woche (npm): 3 229 Forks (GitHub): 1 Sterne (GitHub): 2 Nicht markiert · Erstmals gesehen |
Jede Zahl stammt vom jeweiligen Marktplatz und wird nie über Marktplätze hinweg addiert. Ein Marktplatz ohne veröffentlichte Zahl zeigt keine: keine Zahl ist nicht null.
Die Fakten nebeneinander
| Fakt | tla-claude-codenicht mehr gelistet · | GodPrompt MCP Server |
|---|---|---|
| Marktplätze, die es listen (unterschiedlich) | 0 | 2 |
| Sterne (GitHub) | 2 | 2 |
| Forks (GitHub) (unterschiedlich) | 0 | 1 |
| Letztes Release (unterschiedlich) | Nicht veröffentlicht | 2026-10-27 |
| Wo es läuft (unterschiedlich) | Wird als Plugin-Paket installiert | Entfernter Server oder Ihr Rechner |
| Transport (unterschiedlich) | Nicht angegeben | Streamable HTTP |
| Deklarierte Tools | Nicht veröffentlicht | Nicht veröffentlicht |
| Abgefragte Umgebungsvariablen | Nicht veröffentlicht | Nicht veröffentlicht |
| Teile des Bundles (unterschiedlich) | 1 | Kein Bundle |
| Lizenz (unterschiedlich) | Nicht angegeben | MIT |
| Repository (unterschiedlich) | github.com/brianwu02/tla-claude-code | github.com/akzar1el/god-prompt-mcp |
| Änderungen in den letzten 7 Tagen | 0 | 0 |
| Erstmals gesehen (unterschiedlich) | 2026-10-14 | 2026-10-11 |
| Endpoint bei der letzten Prüfung (unterschiedlich) | kein Remote-Endpoint, den wir prüfen | Antwortete vor 19 Std. |
Zeilen, in denen sich die beiden unterscheiden, sind hinterlegt und fett. Kein Wert ist als besser oder schlechter markiert: Ein Plugin, das kein Marktplatz mehr listet, erscheint mit seinen letzten bekannten Daten, und die stellen wir nicht gegen aktuelle Zahlen.
Was Sie statt „tla-claude-code“ nutzen können
Noch gelistete Plugins, deren Namen, Beschreibungen, Tools und Skills ihm in der Bedeutung am nächsten sind. Vergleichbar, nicht empfohlen.
-
Systematically debug issues with step-by-step troubleshooting approaches.
-
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
-
universe
Project-wide PR readiness, targeted test authoring, security review, architecture tracing, and code evolution analysis for Claude Code.
Was jeder über sich sagt
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.
So startet man jeden
tla-claude-code
Keine Daten für einen automatischen Befehl: Die Angaben der Marktplätze sagen nicht eindeutig, wie man es verbindet.
GodPrompt MCP Server Als entfernter MCP-Server
claude mcp add --transport http god-prompt-mcp https://god-prompt-mcp.tomi-seregi99.workers.dev/mcpBefehle nur aus den Angaben der Marktplätze gebaut; den vollständigen Satz für jeden Client gibt es auf jeder Karte.
Nur GodPrompt MCP Server hat einen Remote-Endpoint, den wir prüfen. Wie wir Endpoints prüfen
Welche Tools jedes deklariert
Die Marktplätze keines der beiden veröffentlichen eine Tool-Liste, es gibt also nichts zu vergleichen.
Welche Einstellungen jedes verlangt
Die Marktplätze keines der beiden veröffentlichen die verlangten Einstellungen.
Was es kann: tla-claude-code · Was es kann: GodPrompt MCP Server · Zwei andere Plugins vergleichen
Daten von Community GitHub marketplaces. Daten von Official MCP Registry. Daten von npm registry (MCP servers). Die Zahlen stammen aus unseren eigenen regelmäßigen Durchläufen über die Marktplätze, zuletzt abgerufen am . Kontaktdaten von Plugin-Herausgebern veröffentlichen wir nicht.