Execute coq-proof-assistant-mcp или io.github.ToremLabs/proof
Execute coq-proof-assistant-mcp: MCP-сервер, издатель Evozim. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). io.github.ToremLabs/proof: MCP-сервер, издатель ToremLabs. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Данные нашего прохода по витринам на 2026-10-26. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  io.github.ToremLabs/proof | |
|---|---|---|
| Official MCP Registry | Опубликован Версия: 2.0.0 Число не опубликовано Не помечен · Впервые замечен |
Опубликован Версия: 1.0.0 Загрузки за месяц (npm): 164 Загрузки за неделю (npm): 22 Форки (GitHub): 0 Звёзды (GitHub): 0 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | Execute coq-proof-assistant-mcp | io.github.ToremLabs/proof |
|---|---|---|
| Витрины, где он есть | 1 | 1 |
| Звёзды (GitHub) (различается) | Нет цифры на GitHub | 0 |
| Форки (GitHub) (различается) | Нет цифры на GitHub | 0 |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает (различается) | Удалённый сервер (api.m2mcent.com/coq-proof-assistant-mcp/sse) | На вашем компьютере (@toremlabs/proof-mcp) |
| Транспорт (различается) | SSE | stdio |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения | Не опубликовано | Не опубликовано |
| Лицензия | Не указано | Не указано |
| Репозиторий (различается) | Не указано | github.com/toremlabs/proof-mcp |
| Изменения за последние 7 дней | 0 | 0 |
| Впервые замечен | 2026-10-11 | 2026-10-11 |
| Endpoint на последней проверке (различается) | Ответил кодом HTTP 402 (5 дн. назад) | нет remote endpoint, который мы проверяем |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
io.github.ToremLabs/proof
Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.
Как запустить каждый
Execute 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
io.github.ToremLabs/proof Как локальный MCP-сервер: пакет npm
claude mcp add --transport stdio proof -- npx -y @toremlabs/proof-mcpКоманды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Remote endpoint, который мы проверяем, есть только у Execute coq-proof-assistant-mcp. Как мы проверяем endpoint
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины ни одного из них не публикуют настройки, которые он просит.
Что умеет: Execute coq-proof-assistant-mcp · Что умеет: io.github.ToremLabs/proof · Сравнить два других плагина
Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.