tla-claude-code vs. Noosphere
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. Noosphere ist ein MCP-Server von JinNing6. Marktplätze, die wir lesen und die es listen: 3 (Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces). Stand unseres Marktplatz-Durchlaufs vom 2026-10-19. 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 | ||
|---|---|---|
| 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: 0.5.1 Downloads pro Monat (PyPI): 334 Downloads pro Woche (PyPI): 104 Forks (GitHub): 3 Sterne (GitHub): 18 Nicht markiert · Erstmals gesehen |
| Claude Code: claude-plugins-community | Nicht gelistet | Gelistet Version: 0.10.0 Forks (GitHub): 3 Sterne (GitHub): 18 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 · | Noosphere |
|---|---|---|
| Marktplätze, die es listen (unterschiedlich) | 0 | 3 |
| Sterne (GitHub) (unterschiedlich) | 2 | 18 |
| Forks (GitHub) (unterschiedlich) | 0 | 3 |
| Letztes Release | Nicht veröffentlicht | Nicht veröffentlicht |
| Wo es läuft (unterschiedlich) | Wird als Plugin-Paket installiert | Auf Ihrem Rechner (noosphere-mcp) |
| Transport (unterschiedlich) | Nicht angegeben | stdio |
| Deklarierte Tools | Nicht veröffentlicht | Nicht veröffentlicht |
| Abgefragte Umgebungsvariablen (unterschiedlich) | Nicht veröffentlicht | 3, davon Secrets: 1 |
| Ausgeführte Hooks (unterschiedlich) | Nicht veröffentlicht | 1 |
| Teile des Bundles (unterschiedlich) | 1 | 5 |
| Lizenz (unterschiedlich) | Nicht angegeben | Apache-2.0 |
| Repository (unterschiedlich) | github.com/brianwu02/tla-claude-code | github.com/jinning6/noosphere |
| Änderungen in den letzten 7 Tagen (unterschiedlich) | 4 | 2 |
| 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.
-
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…
-
Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate TypeScript/Python code with runtime…
-
Full-stack engineering ops for Claude Code. One command (/prodmasterai) covers your entire dev lifecycle: orchestrate features into parallel tasks, run 11-phase QA with health…
-
Code intelligence platform for AI agents. 20 tools for architecture, security & impact analysis.
Was jeder über sich sagt
tla-claude-code
TLA+ formal verification for concurrency bugs, race conditions, and UX flow issues
Noosphere
Community of Consciousness MCP Server — upload and explore collective wisdom via GitHub.
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.
Noosphere Als lokaler MCP-Server: PyPI-Paket
claude mcp add --env "GITHUB_TOKEN=<YOUR_GITHUB_TOKEN>" --transport stdio noosphere -- uvx noosphere-mcp
Erfordert: GITHUB_TOKEN (geheim)
Befehle 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: Noosphere · Zwei andere Plugins vergleichen
Daten von Community GitHub marketplaces. Daten von Official MCP Registry. Daten von Claude Code: claude-plugins-community. 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.