tla-claude-code ou GodPrompt MCP Server
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. GodPrompt MCP Server est un serveur MCP publié par AKzar1el. Places de marché que nous lisons et qui le référencent : 2 (Official MCP Registry, npm registry (MCP servers)). Selon notre passage sur les places de marché du 2026-11-10. 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é
| Place de marché |  GodPrompt MCP Server | |
|---|---|---|
| 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 |
Absent |
| Official MCP Registry | Absent | Référencé Version: 1.0.44 Forks (GitHub): 1 Étoiles (GitHub): 2 Non marqué · Vu pour la première fois |
| npm registry (MCP servers) | Absent | Référencé Version: 1.0.44 Téléchargements par mois (npm): 3 947 Téléchargements par semaine (npm): 3 229 Forks (GitHub): 1 Étoiles (GitHub): 2 Non marqué · Vu pour la première fois |
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
| Fait | tla-claude-codeplus référencé · | GodPrompt MCP Server |
|---|---|---|
| Marketplaces qui le listent (différent) | 0 | 2 |
| Étoiles (GitHub) | 2 | 2 |
| Forks (GitHub) (différent) | 0 | 1 |
| Dernière version (différent) | Non publié | 2026-10-27 |
| Où il s'exécute (différent) | S'installe comme lot de plugins | Serveur distant ou votre machine |
| Transport (différent) | Non indiqué | Streamable HTTP |
| Outils déclarés | Non publié | Non publié |
| Variables d'environnement demandées | Non publié | Non publié |
| Parties du lot (différent) | 1 | Pas un lot |
| Licence (différent) | Non indiqué | MIT |
| Dépôt (différent) | github.com/brianwu02/tla-claude-code | github.com/akzar1el/god-prompt-mcp |
| Modifications des 7 derniers jours | 0 | 0 |
| Vu pour la première fois (différent) | 2026-10-14 | 2026-10-11 |
| Endpoint à la dernière vérification (différent) | pas d’endpoint distant que nous vérifions | A répondu il y a 29 h |
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.
-
Agent skills for working with Quint — the formal specification language for distributed systems. Covers spec writing, TLA+ translation, code-to-spec generation, spec review, and…
-
Systematically debug issues with step-by-step troubleshooting approaches.
-
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…
-
Four-phase debugging framework that ensures root cause investigation before attempting fixes. Never jump to solutions. Use when encountering any bug, test failure, or unexpected…
-
30+ deterministic dev and delivery tools: linting, metrics, diagrams, model advice, AI-text checks.
Ce que chacun dit faire
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.
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.
GodPrompt MCP Server En serveur MCP distant
claude mcp add --transport http god-prompt-mcp https://god-prompt-mcp.tomi-seregi99.workers.dev/mcpCommandes construites uniquement à partir de ce que déclarent les marketplaces ; le jeu complet pour chaque client figure sur la fiche de chacun.
Seul GodPrompt MCP Server a un endpoint distant que nous vérifions. Comment nous vérifions les endpoints
Outils que déclare chacun
Ni les marketplaces de tla-claude-code ni son endpoint ne listent d'outils, nous ne comparons donc pas les outils.
Réglages que demande chacun
Les marketplaces d'aucun des deux ne publient les réglages demandés.
Ce qu'il peut faire : tla-claude-code · Ce qu'il peut faire : GodPrompt MCP Server · Comparer deux autres plugins
Données issues de Community GitHub marketplaces. Données issues de Official MCP Registry. Données issues de npm registry (MCP servers). Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.