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

io.github.Archerkattri/mathlas

io.github.Archerkattri/mathlas

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

Актуальная запись Локальный пакет v1.5.0

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

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

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

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

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

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

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

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

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

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

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

Пакет
mathlas-mcp
stdio pypi Версия пакета: 1.5.0

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

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

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

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

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

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

Текущий индекс NexIP не сохраняет требования к HTTP-заголовкам, переменные URL и детали OAuth из Registry. Это не означает, что доступ открыт без входа.

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

  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. До отдельного импорта перечень может быть неполным.

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