Ext Ops Panel
Dashboard öffnen
Vergleich

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

Wo jedes veröffentlicht ist
Marktplatztla-claude-codeNoosphere
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

tla-claude-code vs. Noosphere
Fakttla-claude-codenicht mehr gelistet · Noosphere
Marktplätze, die es listen (unterschiedlich)03
Sterne (GitHub) (unterschiedlich)218
Forks (GitHub) (unterschiedlich)03
Letztes ReleaseNicht veröffentlichtNicht veröffentlicht
Wo es läuft (unterschiedlich)Wird als Plugin-Paket installiertAuf Ihrem Rechner (noosphere-mcp)
Transport (unterschiedlich)Nicht angegebenstdio
Deklarierte ToolsNicht veröffentlichtNicht veröffentlicht
Abgefragte Umgebungsvariablen (unterschiedlich)Nicht veröffentlicht3, davon Secrets: 1
Ausgeführte Hooks (unterschiedlich)Nicht veröffentlicht1
Teile des Bundles (unterschiedlich)15
Lizenz (unterschiedlich)Nicht angegebenApache-2.0
Repository (unterschiedlich)github.com/brianwu02/tla-claude-codegithub.com/jinning6/noosphere
Änderungen in den letzten 7 Tagen (unterschiedlich)42
Erstmals gesehen (unterschiedlich)2026-10-142026-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.

  • Mneme

    Prevent, catch, and verify architectural violations while Claude Code works.

    von Mneme HQ · Plugin-Paket

    Gelistet auf: Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • optibot

    AI code review that catches production-breaking bugs, business logic issues, and security vulnerabilities — directly in Claude Code.

    von Optimal-AI · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

  • forge

    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…

    von UtkarshJain98 · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

  • formal-agent-contracts

    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…

    von kotaroyamame · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

  • prodmaster-ai

    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…

    von sujithkrishnan-dev · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

  • ArchGraph

    Code intelligence platform for AI agents. 20 tools for architecture, security & impact analysis.

    von archgraph.dev · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

Seine Karte mit ähnlichen Plugins nach Marktplatz

Was jeder über sich sagt

tla-claude-code

In eigenen Worten, auf Community GitHub marketplaces:

TLA+ formal verification for concurrency bugs, race conditions, and UX flow issues

Noosphere

In eigenen Worten, auf Official MCP Registry:

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 Code
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.

Woher die Daten stammen: wie der Katalog entsteht