Sequential Thinking (Reference) или Execute coq-proof-assistant-mcp
Sequential Thinking (Reference): MCP-сервер, издатель modelcontextprotocol. Витрин, которые мы читаем и где он опубликован: 1 (Docker MCP Catalog). Execute coq-proof-assistant-mcp: MCP-сервер, издатель Evozim. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Данные нашего прохода по витринам на 2026-10-17. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  Sequential Thinking (Reference) | |
|---|---|---|
| Docker MCP Catalog | Опубликован Версия: sha256:cd3174b2ecf3 Форки (GitHub): 11 793 Загрузки (Docker Hub): 423 561 Звёзды (Docker Hub): 30 Звёзды (GitHub): 91 324 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 2.0.0 Число не опубликовано Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | Sequential Thinking (Reference) | Execute coq-proof-assistant-mcp |
|---|---|---|
| Витрины, где он есть | 1 | 1 |
| Звёзды (GitHub) (различается) | 91 324 | Нет цифры на GitHub |
| Загрузки (Docker Hub) (различается) | 423 561 | Нет цифры на Docker Hub |
| Форки (GitHub) (различается) | 11 793 | Нет цифры на GitHub |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает (различается) | На вашем компьютере (mcp/sequentialthinking) | Удалённый сервер (api.m2mcent.com/coq-proof-assistant-mcp/sse) |
| Транспорт (различается) | stdio | SSE |
| Объявляет инструментов (различается) | 1 | Не опубликовано |
| Просит переменных окружения | Не опубликовано | Не опубликовано |
| Лицензия (различается) | NOASSERTION | Не указано |
| Репозиторий (различается) | github.com/modelcontextprotocol/servers | Не указано |
| Изменения за последние 7 дней | 0 | 0 |
| Впервые замечен | 2026-10-11 | 2026-10-11 |
| Endpoint на последней проверке (различается) | нет remote endpoint, который мы проверяем | Ответил кодом HTTP 402 (2 дн. назад) |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
Как запустить каждый
Sequential Thinking (Reference) Как локальный MCP-сервер: образ Docker
claude mcp add --transport stdio sequentialthinking -- docker run -i --rm mcp/sequentialthinkingExecute coq-proof-assistant-mcp Как удалённый MCP-сервер
claude mcp add --transport sse coq-proof-assistant-mcp https://api.m2mcent.com/coq-proof-assistant-mcp/sse --header "Payment-Signature: <YOUR_PAYMENT_SIGNATURE>"Требует: заголовок Payment-Signature
Команды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Remote endpoint, который мы проверяем, есть только у Execute coq-proof-assistant-mcp. Как мы проверяем endpoint
Какие инструменты объявляет каждый
Витрины Execute coq-proof-assistant-mcp не публикуют список инструментов, поэтому инструменты не сравниваем.
Какие настройки просит каждый
Витрины ни одного из них не публикуют настройки, которые он просит.
Что умеет: Sequential Thinking (Reference) · Что умеет: Execute coq-proof-assistant-mcp · Сравнить два других плагина
Данные витрины Docker MCP Catalog. Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.