Comparaison

tla-claude-code ou Noosphere

tla-claude-code n’est plus référencé sur aucune place de marché que nous lisons : ce sont ses dernières données connues, au 2026‑10‑17.

tla-claude-code est un lot de plugins pour les outils de code IA publié par brianwu02. Aucune place de marché que nous lisons ne le référence plus. Noosphere est un serveur MCP publié par JinNing6. Places de marché que nous lisons et qui le référencent : 3 (Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces). Selon notre passage sur les places de marché du 2026-10-21. Un plugin de cette paire n’est plus référencé sur aucune place de marché que nous lisons : nous demandons donc aux moteurs de recherche de ne pas indexer la page.

Où chacun est publié

Où chacun est publié
Place de marché	tla-claude-code	Noosphere
Place de marché communautaire brianwu02/tla-claude-code	Retiré le 2026-10-17 Version: 1.0.0 Forks (GitHub): 0 Étoiles (GitHub): 2 Non marqué · Vu pour la première fois 2026-10-14	Absent
Official MCP Registry	Absent	Référencé Version: 0.5.1 Téléchargements par mois (PyPI): 334 Téléchargements par semaine (PyPI): 104 Forks (GitHub): 3 Étoiles (GitHub): 18 Non marqué · Vu pour la première fois 2026-10-11
Claude Code: claude-plugins-community	Absent	Référencé Version: 0.10.0 Forks (GitHub): 3 Étoiles (GitHub): 18 Non marqué · Vu pour la première fois 2026-10-11

Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.

Les faits côte à côte

tla-claude-code ou Noosphere
Fait	tla-claude-codeplus référencé · 2026-10-17	Noosphere
Marketplaces qui le listent (différent)	0	3
Étoiles (GitHub) (différent)	2	18
Forks (GitHub) (différent)	0	3
Dernière version	Non publié	Non publié
Où il s'exécute (différent)	S'installe comme lot de plugins	Sur votre machine (noosphere-mcp)
Transport (différent)	Non indiqué	stdio
Outils déclarés	Non publié	Non publié
Variables d'environnement demandées (différent)	Non publié	3, dont secrets : 1
Hooks exécutés (différent)	Non publié	1
Parties du lot (différent)	1	5
Licence (différent)	Non indiqué	Apache-2.0
Dépôt (différent)	github.com/brianwu02/tla-claude-code	github.com/jinning6/noosphere
Modifications des 7 derniers jours (différent)	2	0
Vu pour la première fois (différent)	2026-10-14	2026-10-11

Les lignes où les deux diffèrent ont un fond teinté et des valeurs en gras. Aucune valeur n’est marquée meilleure ou moins bonne : un plugin qu’aucune place de marché ne référence plus est montré avec ses dernières données connues, que nous ne classons pas face à des chiffres actuels.

Quoi utiliser à la place de « tla-claude-code »

Plugins encore référencés dont les noms, descriptions, outils et skills sont les plus proches par le sens. Comparables, pas recommandés.

Mneme

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

par Mneme HQ · Lot de plugins

Référencé sur : Community GitHub marketplaces · Décrit presque le même besoin
optibot

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

par Optimal-AI · Lot de plugins

Référencé sur : Claude Code: claude-plugins-community · Décrit presque le même besoin
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…

par UtkarshJain98 · Lot de plugins

Référencé sur : Claude Code: claude-plugins-community · Décrit presque le même besoin
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…

par kotaroyamame · Lot de plugins

Référencé sur : Claude Code: claude-plugins-community · Décrit presque le même besoin
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…

par sujithkrishnan-dev · Lot de plugins

Référencé sur : Claude Code: claude-plugins-community · Décrit presque le même besoin
ArchGraph

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

par archgraph.dev · Serveur MCP

Référencé sur : Official MCP Registry · Décrit presque le même besoin

Sa fiche, avec les plugins similaires par place de marché

Ce que chacun dit faire

tla-claude-code

Dans ses propres mots, sur Community GitHub marketplaces :

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

Noosphere

Dans ses propres mots, sur Official MCP Registry :

Community of Consciousness MCP Server — upload and explore collective wisdom via GitHub.

Comment lancer chacun

tla-claude-code

Pas de données pour une commande automatique : ce que déclarent ses places de marché ne dit pas sans ambiguïté comment le connecter.

Noosphere En serveur MCP local : paquet PyPI

Claude Code

claude mcp add --env "GITHUB_TOKEN=<YOUR_GITHUB_TOKEN>" --transport stdio noosphere -- uvx noosphere-mcp

Demande: GITHUB_TOKEN (secrète)

Commandes construites uniquement à partir de ce que déclarent les marketplaces ; le jeu complet pour chaque client figure sur la fiche de chacun.

Outils que déclare chacun

Les marketplaces d'aucun des deux ne publient de liste d'outils, il n'y a donc rien à comparer.

Réglages que demande chacun

Les marketplaces de tla-claude-code ne publient pas les réglages demandés, nous ne comparons donc pas les réglages.

Ce qu'il peut faire : tla-claude-code · Ce qu'il peut faire : Noosphere · Comparer deux autres plugins

Données issues de Community GitHub marketplaces. Données issues de Official MCP Registry. Données issues de Claude Code: claude-plugins-community. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le 2026-10-21. Nous ne publions aucune coordonnée des éditeurs de plugins.