tla-claude-code или GodPrompt MCP Server
tla-claude-code больше нет ни на одной читаемой нами витрине, это последние данные на 2026‑10‑17.
tla-claude-code: пакет плагинов для ИИ-инструментов разработки, издатель brianwu02. Ни одна витрина, которую мы читаем, его больше не публикует. GodPrompt MCP Server: MCP-сервер, издатель AKzar1el. Витрин, которые мы читаем и где он опубликован: 2 (Official MCP Registry, npm registry (MCP servers)). Данные нашего прохода по витринам на 2026-11-11. Одного из плагинов этой пары больше нет ни на одной читаемой нами витрине, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  GodPrompt MCP Server | |
|---|---|---|
| Маркетплейс сообщества brianwu02/tla-claude-code | Удалён 2026-10-17 Версия: 1.0.0 Форки (GitHub): 0 Звёзды (GitHub): 2 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 1.0.45 Форки (GitHub): 1 Звёзды (GitHub): 2 Не помечен · Впервые замечен |
| npm registry (MCP servers) | Нет на витрине | Опубликован Версия: 1.0.44 Загрузки за месяц (npm): 3 947 Загрузки за неделю (npm): 3 229 Форки (GitHub): 1 Звёзды (GitHub): 2 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | tla-claude-codeбольше не публикуется · | GodPrompt MCP Server |
|---|---|---|
| Витрины, где он есть (различается) | 0 | 2 |
| Звёзды (GitHub) | 2 | 2 |
| Форки (GitHub) (различается) | 0 | 1 |
| Последний релиз (различается) | Не опубликовано | 2026-11-11 |
| Где работает (различается) | Ставится как пакет плагинов | Удалённый сервер или ваш компьютер |
| Транспорт (различается) | Не указано | Streamable HTTP |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения | Не опубликовано | Не опубликовано |
| Части набора (различается) | 1 | Не набор |
| Лицензия (различается) | Не указано | MIT |
| Репозиторий (различается) | github.com/brianwu02/tla-claude-code | github.com/akzar1el/god-prompt-mcp |
| Изменения за последние 7 дней (различается) | 0 | 2 |
| Впервые замечен (различается) | 2026-10-14 | 2026-10-11 |
| Endpoint на последней проверке (различается) | нет remote endpoint, который мы проверяем | Ответил 12 ч назад |
Строки, где они различаются, выделены фоном и жирным. Лучшее и худшее значение не отмечены: плагин, которого больше нет на витринах, показан по последним известным данным, а их мы не ранжируем против текущих цифр.
Чем заменить «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
GodPrompt MCP Server
GodPrompt MCP + Agent Skill for coding agents with TDD, debugging, verification, and task routing.
Как запустить каждый
tla-claude-code
Нет данных для автоматической команды: из того, что объявляют витрины, нельзя однозначно понять, как его подключить.
GodPrompt MCP Server Как удалённый MCP-сервер
claude mcp add --transport http god-prompt-mcp https://god-prompt-mcp.tomi-seregi99.workers.dev/mcpКоманды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Remote endpoint, который мы проверяем, есть только у GodPrompt MCP Server. Как мы проверяем endpoint
Какие инструменты объявляет каждый
Ни витрины tla-claude-code, ни его endpoint не перечисляют инструменты, поэтому инструменты не сравниваем.
Какие настройки просит каждый
Витрины ни одного из них не публикуют настройки, которые он просит.
Что умеет: tla-claude-code · Что умеет: GodPrompt MCP Server · Сравнить два других плагина
Данные витрины Community GitHub marketplaces. Данные витрины Official MCP Registry. Данные витрины npm registry (MCP servers). Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.