io.github.jcschuster/atp_mcp
Данные разработчика · независимо не проверены
Данные взяты из Registry и не означают независимую проверку MCP-инструментов.
Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.
Локальный MCP-пакет не является публичным HTTP-сервером. Отсутствие адреса не означает недоступность.
Авторизация: независимо не проверялась
Список инструментов: независимо не проверялся
Адреса и пакеты заявлены разработчиком; это не проверенная инструкция подключения.
Копируйте только опубликованный адрес HTTPS или идентификатор пакета. Перед подключением изучите документацию клиента и разработчика: авторизация и подтверждение доступа могут отличаться.
Идентификатор пакета — не команда установки. Прежде чем запускать код, проверьте пакет и издателя.
Локальный пакет нельзя проверять как публичный HTTP-сервер.
Ответ HTTP не подтверждает совместимость с MCP, безопасность или список инструментов. Тестовые записи никогда не публикуются.
Локально сохранённая история официального Registry. До отдельного импорта перечень может быть неполным.
История версий пока не загружена.
