Перейти к содержимому
Публикация разработчика

LeanWarp

io.github.Isagoge-Labs/leanwarp

Данные разработчика · независимо не проверены

Актуальная запись Локальный пакет v0.2.5
NEXIP / MCP RADAR · ДАННЫЕ Заявлено разработчиком в Registry

Независимые технические наблюдения

Локальный пакет · удалённая проверка неприменима

Наблюдения относятся только к текущему опубликованному адресу. HTTP-ответ не доказывает совместимость с MCP. Даже успешный MCP discovery не подтверждает инструменты, безопасность, аптайм или будущую доступность. При открытии страницы сторонние серверы не опрашиваются.

Это не показатель аптайма или безопасности.
История проверок и метод 0

Независимых результатов пока нет. Отсутствие проверки не означает недоступность.

Только разрешённые владельцем запросы server/discover. Без токенов, запуска инструментов, проверки произвольных ссылок и сертификатов безопасности. Показаны результаты лишь для текущего адреса из Registry.

Факты из публикации разработчика

  • Идентификатор в Registry: io.github.Isagoge-Labs/leanwarp
  • Опубликованный формат: локальный пакет
  • Транспорт по данным разработчика: stdio
  • Идентификатор пакета: leanwarp
  • Опубликованная версия: 0.2.5

Данные взяты из Registry и не означают независимую проверку MCP-инструментов.

Описание сервера

Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.

Локальный MCP-пакет не является публичным HTTP-сервером. Отсутствие адреса не означает недоступность.

Независимый технический мониторинг находится в разработке.

Авторизация: независимо не проверялась
Список инструментов: независимо не проверялся

Варианты подключения от разработчика

Адреса и пакеты заявлены разработчиком; это не проверенная инструкция подключения.

Копируйте только опубликованный адрес HTTPS или идентификатор пакета. Перед подключением изучите документацию клиента и разработчика: авторизация и подтверждение доступа могут отличаться.

Пакет
leanwarp
stdio pypi Версия пакета: 0.2.5

Идентификатор пакета — не команда установки. Прежде чем запускать код, проверьте пакет и издателя.

Готовность подключения / данные разработчика

Перед подключением

Нужна инструкция разработчика

Наличие готового примера не означает успешное подключение MCP. Публикация в Registry не подтверждает совместимость инструментов, доступность, авторизацию или безопасность.

0Адресов с поддерживаемым транспортом
0Удалённых адресов для проверки
1Локальных пакетов
Авторизация Неизвестна — могут потребоваться OAuth, API-ключ или другой способ входа

Если разработчик опубликовал требования, они отображаются ниже. Отсутствие сведений не означает свободный доступ. OAuth независимо не подтверждён.

Как действовать

  1. Ознакомьтесь с сайтом и репозиторием разработчика до подключения или установки.
  2. Проверьте транспорт, HTTPS-адрес и версию клиента. Для URL с {переменными} нужны значения от разработчика.
  3. Настройте авторизацию в доверенном MCP-клиенте по инструкции разработчика. Никогда не вводите секреты на NexIP.
  4. Проверьте соединение в клиенте с минимальными разрешениями. Контролируйте запросы на доступ к инструментам.

Если не подключается

HTTP 401 / 403 — возможно, требуется авторизация или доступ

Проверьте OAuth в клиенте, права учётной записи и требования к заголовкам от разработчика. Код 401 сам по себе не подтверждает корректность OAuth.

HTTP 404 — проверьте опубликованный адрес и путь

Разработчик мог изменить путь MCP или использовать отдельный адрес для организации. Не подбирайте закрытые API-адреса.

HTTP 405 — сервер может не поддерживать GET

Рабочий MCP-сервер необязательно отвечает на открытие URL в браузере. Используйте MCP-клиент и указанный транспорт.

Тайм-аут или ошибка TLS

Проверьте сеть и состояние сервиса разработчика. Не отключайте проверку TLS ради подключения к неизвестному серверу.

NexIP Radar / R4

Независимые HTTP-наблюдения

Публикация разработчика ≠ Независимые HTTP-наблюдения

Локальный пакет нельзя проверять как публичный HTTP-сервер.

Ответ HTTP не подтверждает совместимость с MCP, безопасность или список инструментов. Тестовые записи никогда не публикуются.

Опубликованные версии

Локально сохранённая история официального Registry. До отдельного импорта перечень может быть неполным.

История версий пока не загружена.