tla-claude-code или Sigasi Magic HDL
tla-claude-code больше нет ни на одной читаемой нами витрине, это последние данные на 2026‑10‑17.
tla-claude-code: пакет плагинов для ИИ-инструментов разработки, издатель brianwu02. Ни одна витрина, которую мы читаем, его больше не публикует. Sigasi Magic HDL: MCP-сервер, издатель sigasi.com. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Данные нашего прохода по витринам на 2026-10-27. Одного из плагинов этой пары больше нет ни на одной читаемой нами витрине, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  Sigasi Magic HDL | |
|---|---|---|
| Маркетплейс сообщества brianwu02/tla-claude-code | Удалён 2026-10-17 Версия: 1.0.0 Форки (GitHub): 0 Звёзды (GitHub): 2 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 0.1.2026092115 Загрузки за месяц (npm): 834 Загрузки за неделю (npm): 52 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | tla-claude-codeбольше не публикуется · | Sigasi Magic HDL |
|---|---|---|
| Витрины, где он есть (различается) | 0 | 1 |
| Звёзды (GitHub) (различается) | 2 | Нет цифры на GitHub |
| Форки (GitHub) (различается) | 0 | Нет цифры на GitHub |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает (различается) | Ставится как пакет плагинов | На вашем компьютере (@sigasi/magic-hdl) |
| Транспорт (различается) | Не указано | stdio |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения (различается) | Не опубликовано | 1, из них секретов: 1 |
| Части набора (различается) | 1 | Не набор |
| Лицензия | Не указано | Не указано |
| Репозиторий (различается) | github.com/brianwu02/tla-claude-code | Не указано |
| Изменения за последние 7 дней | 0 | 0 |
| Впервые замечен (различается) | 2026-10-14 | 2026-10-11 |
Строки, где они различаются, выделены фоном и жирным. Лучшее и худшее значение не отмечены: плагин, которого больше нет на витринах, показан по последним известным данным, а их мы не ранжируем против текущих цифр.
Чем заменить «tla-claude-code»
Плагины, которые ещё публикуются и ближе всего к нему по смыслу названий, описаний, инструментов и скиллов. Сравнимые, а не рекомендованные.
-
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
Что каждый говорит о себе
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.
Как запустить каждый
tla-claude-code
Нет данных для автоматической команды: из того, что объявляют витрины, нельзя однозначно понять, как его подключить.
Sigasi Magic HDL Как локальный MCP-сервер: пакет npm
claude mcp add --env "MAGIC_HDL_LICENSE_KEY=<YOUR_MAGIC_HDL_LICENSE_KEY>" --transport stdio magic-hdl -- npx -y @sigasi/magic-hdl serveТребует: MAGIC_HDL_LICENSE_KEY (секрет)
Команды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины tla-claude-code не публикуют, какие настройки он просит, поэтому настройки не сравниваем.
Что умеет: tla-claude-code · Что умеет: Sigasi Magic HDL · Сравнить два других плагина
Данные витрины Community GitHub marketplaces. Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.