tla-claude-code или Entroly
tla-claude-code больше нет ни на одной читаемой нами витрине, это последние данные на 2026‑10‑17.
tla-claude-code: пакет плагинов для ИИ-инструментов разработки, издатель brianwu02. Ни одна витрина, которую мы читаем, его больше не публикует. Entroly: MCP-сервер, издатель juyterman1000. Витрин, которые мы читаем и где он опубликован: 2 (Official MCP Registry, Community GitHub marketplaces). Данные нашего прохода по витринам на 2026-10-26. Одного из плагинов этой пары больше нет ни на одной читаемой нами витрине, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина | ||
|---|---|---|
| Маркетплейс сообщества brianwu02/tla-claude-code | Удалён 2026-10-17 Версия: 1.0.0 Форки (GitHub): 0 Звёзды (GitHub): 2 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 1.0.86 Загрузки за месяц (PyPI): 1 455 Загрузки за неделю (PyPI): 339 Форки (GitHub): 73 Звёзды (GitHub): 480 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | tla-claude-codeбольше не публикуется · | Entroly |
|---|---|---|
| Витрины, где он есть (различается) | 0 | 2 |
| Звёзды (GitHub) (различается) | 2 | 480 |
| Форки (GitHub) (различается) | 0 | 73 |
| Последний релиз (различается) | Не опубликовано | 2026-10-14 |
| Где работает (различается) | Ставится как пакет плагинов | На вашем компьютере (entroly) |
| Транспорт (различается) | Не указано | stdio |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения (различается) | Не опубликовано | 4, из них секретов: 1 |
| Запускает хуков (различается) | Не опубликовано | 1 |
| Части набора (различается) | 1 | 4 |
| Лицензия (различается) | Не указано | Apache-2.0 |
| Репозиторий (различается) | github.com/brianwu02/tla-claude-code | github.com/juyterman1000/entroly |
| Изменения за последние 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
Entroly
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
Как запустить каждый
tla-claude-code
Нет данных для автоматической команды: из того, что объявляют витрины, нельзя однозначно понять, как его подключить.
Entroly Как локальный MCP-сервер: пакет PyPI
claude mcp add --transport stdio entroly -- uvx entroly
Команды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины tla-claude-code не публикуют, какие настройки он просит, поэтому настройки не сравниваем.
Что умеет: tla-claude-code · Что умеет: Entroly · Сравнить два других плагина
Данные витрины Community GitHub marketplaces. Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.