tla-claude-code ou Sigasi Magic HDL
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. Sigasi Magic HDL est un serveur MCP publié par sigasi.com. Places de marché que nous lisons et qui le référencent : 1 (Official MCP Registry). Selon notre passage sur les places de marché du 2026-10-26. 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é |  Sigasi Magic HDL | |
|---|---|---|
| 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: 0.1.2026092115 Téléchargements par mois (npm): 834 Téléchargements par semaine (npm): 52 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é · | Sigasi Magic HDL |
|---|---|---|
| Marketplaces qui le listent (différent) | 0 | 1 |
| Étoiles (GitHub) (différent) | 2 | Aucun chiffre sur GitHub |
| Forks (GitHub) (différent) | 0 | Aucun chiffre sur GitHub |
| Dernière version | Non publié | Non publié |
| Où il s'exécute (différent) | S'installe comme lot de plugins | Sur votre machine (@sigasi/magic-hdl) |
| Transport (différent) | Non indiqué | stdio |
| Outils déclarés | Non publié | Non publié |
| Variables d'environnement demandées (différent) | Non publié | 1, dont secrets : 1 |
| Parties du lot (différent) | 1 | Pas un lot |
| Licence | Non indiqué | Non indiqué |
| Dépôt (différent) | github.com/brianwu02/tla-claude-code | Non indiqué |
| Modifications des 7 derniers jours | 0 | 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.
-
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
Ce que chacun dit faire
tla-claude-code
TLA+ formal verification for concurrency bugs, race conditions, and UX flow issues
Sigasi Magic HDL
Analyze and verify Verilog, SystemVerilog, and VHDL projects from AI agents over MCP.
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.
Sigasi Magic HDL En serveur MCP local : paquet npm
claude mcp add --env "MAGIC_HDL_LICENSE_KEY=<YOUR_MAGIC_HDL_LICENSE_KEY>" --transport stdio magic-hdl -- npx -y @sigasi/magic-hdl serveDemande: MAGIC_HDL_LICENSE_KEY (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 : Sigasi Magic HDL · Comparer deux autres plugins
Données issues de Community GitHub marketplaces. Données issues de Official MCP Registry. 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.