tla-claude-code или SmartBear MCP
tla-claude-code больше нет ни на одной читаемой нами витрине, это последние данные на 2026‑10‑17.
tla-claude-code: пакет плагинов для ИИ-инструментов разработки, издатель brianwu02. Ни одна витрина, которую мы читаем, его больше не публикует. SmartBear MCP: MCP-сервер, издатель smartbear.com. Витрин, которые мы читаем и где он опубликован: 2 (Official MCP Registry, Docker MCP Catalog). Данные нашего прохода по витринам на 2026-10-19. Одного из плагинов этой пары больше нет ни на одной читаемой нами витрине, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  SmartBear MCP | |
|---|---|---|
| Маркетплейс сообщества brianwu02/tla-claude-code | Удалён 2026-10-17 Версия: 1.0.0 Форки (GitHub): 0 Звёзды (GitHub): 2 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 0.42.0 Загрузки за месяц (npm): 45 350 Загрузки за неделю (npm): 4 476 Форки (GitHub): 50 Звёзды (GitHub): 44 Не помечен · Впервые замечен |
| Docker MCP Catalog | Нет на витрине | Опубликован Версия: sha256:8a64acae01b6 Форки (GitHub): 50 Загрузки (Docker Hub): 14 426 Звёзды (Docker Hub): 0 Звёзды (GitHub): 44 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | tla-claude-codeбольше не публикуется · | SmartBear MCP |
|---|---|---|
| Витрины, где он есть (различается) | 0 | 2 |
| Звёзды (GitHub) (различается) | 2 | 44 |
| Загрузки (Docker Hub) (различается) | Нет цифры на Docker Hub | 14 426 |
| Форки (GitHub) (различается) | 0 | 50 |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает (различается) | Ставится как пакет плагинов | Удалённый сервер или ваш компьютер |
| Транспорт (различается) | Не указано | Streamable HTTP, stdio |
| Объявляет инструментов (различается) | Не опубликовано | 160 |
| Просит переменных окружения (различается) | Не опубликовано | 17, из них секретов: 10 |
| Части набора (различается) | 1 | Не набор |
| Лицензия (различается) | Не указано | MIT |
| Репозиторий (различается) | github.com/brianwu02/tla-claude-code | github.com/smartbear/smartbear-mcp |
| Изменения за последние 7 дней (различается) | 4 | 0 |
| Впервые замечен (различается) | 2026-10-14 | 2026-10-11 |
| Endpoint на последней проверке (различается) | нет remote endpoint, который мы проверяем | Ответил кодом HTTP 400 (2 дн. назад) |
Строки, где они различаются, выделены фоном и жирным. Лучшее и худшее значение не отмечены: плагин, которого больше нет на витринах, показан по последним известным данным, а их мы не ранжируем против текущих цифр.
Чем заменить «tla-claude-code»
Плагины, которые ещё публикуются и ближе всего к нему по смыслу названий, описаний, инструментов и скиллов. Сравнимые, а не рекомендованные.
-
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…
-
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…
-
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…
-
Code intelligence platform for AI agents. 20 tools for architecture, security & impact analysis.
Что каждый говорит о себе
tla-claude-code
TLA+ formal verification for concurrency bugs, race conditions, and UX flow issues
SmartBear MCP
MCP server for AI access to SmartBear tools, including BugSnag, Reflect, Swagger, PactFlow, QTM4J.
Как запустить каждый
tla-claude-code
Нет данных для автоматической команды: из того, что объявляют витрины, нельзя однозначно понять, как его подключить.
SmartBear MCP Как удалённый MCP-сервер
claude mcp add --transport http smartbear-mcp https://bugsnag.mcp.smartbear.com/mcpТребует: BEARQ_API_TOKEN (секрет), BUGSNAG_AUTH_TOKEN (секрет), PACT_BROKER_PASSWORD (секрет), PACT_BROKER_TOKEN (секрет), QTM4J_API_KEY (секрет), QTM4J_AUTOMATION_API_KEY (секрет), REFLECT_API_TOKEN (секрет), SWAGGER_API_KEY (секрет), SWAGGER_FUNCTIONAL_TESTING_API_TOKEN (секрет), ZEPHYR_API_TOKEN (секрет)
Команды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Remote endpoint, который мы проверяем, есть только у SmartBear MCP. Как мы проверяем endpoint
Какие инструменты объявляет каждый
Витрины tla-claude-code не публикуют список инструментов, поэтому инструменты не сравниваем.
Какие настройки просит каждый
Витрины tla-claude-code не публикуют, какие настройки он просит, поэтому настройки не сравниваем.
Что умеет: tla-claude-code · Что умеет: SmartBear MCP · Сравнить два других плагина
Данные витрины Community GitHub marketplaces. Данные витрины Official MCP Registry. Данные витрины Docker MCP Catalog. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.