tla-claude-code или Qodo
tla-claude-code больше нет ни на одной читаемой нами витрине, это последние данные на 2026‑10‑17.
tla-claude-code: пакет плагинов для ИИ-инструментов разработки, издатель brianwu02. Ни одна витрина, которую мы читаем, его больше не публикует. Qodo: пакет плагинов для ИИ-инструментов разработки, издатель qodo-ai. Витрин, которые мы читаем и где он опубликован: 3 (Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces). Данные нашего прохода по витринам на 2026-11-13. Одного из плагинов этой пары больше нет ни на одной читаемой нами витрине, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  Qodo | |
|---|---|---|
| Маркетплейс сообщества brianwu02/tla-claude-code | Удалён 2026-10-17 Версия: 1.0.0 Форки (GitHub): 0 Звёзды (GitHub): 2 Не помечен · Впервые замечен |
Нет на витрине |
| Claude Code: claude-plugins-official | Нет на витрине | Опубликован Версия: 2.1.2 Форки (GitHub): 8 Звёзды (GitHub): 60 Не помечен · Впервые замечен |
| Claude: knowledge-work-plugins | Нет на витрине | Опубликован Версия: 2.1.2 Форки (GitHub): 8 Звёзды (GitHub): 60 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | tla-claude-codeбольше не публикуется · | Qodo |
|---|---|---|
| Витрины, где он есть (различается) | 0 | 3 |
| Звёзды (GitHub) (различается) | 2 | 60 |
| Форки (GitHub) (различается) | 0 | 8 |
| Последний релиз (различается) | Не опубликовано | 2026-11-11 |
| Где работает | Ставится как пакет плагинов | Ставится как пакет плагинов |
| Транспорт | Не указано | Не указано |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения | Не опубликовано | Не опубликовано |
| Части набора (различается) | 1 | 5 |
| Лицензия (различается) | Не указано | MIT |
| Репозиторий (различается) | github.com/brianwu02/tla-claude-code | github.com/qodo-ai/qodo-skills |
| Изменения за последние 7 дней (различается) | 0 | 4 |
| Впервые замечен (различается) | 2026-10-14 | 2026-10-11 |
Строки, где они различаются, выделены фоном и жирным. Лучшее и худшее значение не отмечены: плагин, которого больше нет на витринах, показан по последним известным данным, а их мы не ранжируем против текущих цифр.
Чем заменить «tla-claude-code»
Плагины, которые ещё публикуются и ближе всего к нему по смыслу названий, описаний, инструментов и скиллов. Сравнимые, а не рекомендованные.
-
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.
Что каждый говорит о себе
tla-claude-code
TLA+ formal verification for concurrency bugs, race conditions, and UX flow issues
Qodo
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
Как запустить каждый
tla-claude-code
Нет данных для автоматической команды: из того, что объявляют витрины, нельзя однозначно понять, как его подключить.
Qodo Как плагин Claude Code
/plugin install qodo@claude-plugins-officialКоманды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины ни одного из них не публикуют настройки, которые он просит.
Что умеет: tla-claude-code · Что умеет: Qodo · Сравнить два других плагина
Данные витрины Community GitHub marketplaces. Данные витрины Claude Code: claude-plugins-official. Данные витрины Claude: knowledge-work-plugins. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.