tla-claude-code vs. Entroly
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. Entroly ist ein MCP-Server von juyterman1000. Marktplätze, die wir lesen und die es listen: 2 (Official MCP Registry, Community GitHub marketplaces). Stand unseres Marktplatz-Durchlaufs vom 2026-10-23. 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 |  Entroly | |
|---|---|---|
| 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.86 Downloads pro Monat (PyPI): 1 455 Downloads pro Woche (PyPI): 339 Forks (GitHub): 73 Sterne (GitHub): 479 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 · | Entroly |
|---|---|---|
| Marktplätze, die es listen (unterschiedlich) | 0 | 2 |
| Sterne (GitHub) (unterschiedlich) | 2 | 479 |
| Forks (GitHub) (unterschiedlich) | 0 | 73 |
| Letztes Release (unterschiedlich) | Nicht veröffentlicht | 2026-10-14 |
| Wo es läuft (unterschiedlich) | Wird als Plugin-Paket installiert | Auf Ihrem Rechner (entroly) |
| Transport (unterschiedlich) | Nicht angegeben | stdio |
| Deklarierte Tools | Nicht veröffentlicht | Nicht veröffentlicht |
| Abgefragte Umgebungsvariablen (unterschiedlich) | Nicht veröffentlicht | 4, davon Secrets: 1 |
| Ausgeführte Hooks (unterschiedlich) | Nicht veröffentlicht | 1 |
| Teile des Bundles (unterschiedlich) | 1 | 4 |
| Lizenz (unterschiedlich) | Nicht angegeben | Apache-2.0 |
| Repository (unterschiedlich) | github.com/brianwu02/tla-claude-code | github.com/juyterman1000/entroly |
| Änderungen in den letzten 7 Tagen | 0 | 0 |
| Erstmals gesehen (unterschiedlich) | 2026-10-14 | 2026-10-11 |
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.
-
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
Was jeder über sich sagt
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.
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.
Entroly Als lokaler MCP-Server: PyPI-Paket
claude mcp add --transport stdio entroly -- uvx entrolyBefehle nur aus den Angaben der Marktplätze gebaut; den vollständigen Satz für jeden Client gibt es auf jeder Karte.
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 von tla-claude-code veröffentlichen keine verlangten Einstellungen, daher vergleichen wir keine Einstellungen.
Was es kann: tla-claude-code · Was es kann: Entroly · Zwei andere Plugins vergleichen
Daten von Community GitHub marketplaces. Daten von Official MCP Registry. 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.