io.github.tuProlog/arg2p
Данные разработчика · независимо не проверены
Данные взяты из Registry и не означают независимую проверку MCP-инструментов.
Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results
Локальный MCP-пакет не является публичным HTTP-сервером. Отсутствие адреса не означает недоступность.
Авторизация: независимо не проверялась
Список инструментов: независимо не проверялся
Адреса и пакеты заявлены разработчиком; это не проверенная инструкция подключения.
Копируйте только опубликованный адрес HTTPS или идентификатор пакета. Перед подключением изучите документацию клиента и разработчика: авторизация и подтверждение доступа могут отличаться.
Идентификатор пакета — не команда установки. Прежде чем запускать код, проверьте пакет и издателя.
Локальный пакет нельзя проверять как публичный HTTP-сервер.
Ответ HTTP не подтверждает совместимость с MCP, безопасность или список инструментов. Тестовые записи никогда не публикуются.
Локально сохранённая история официального Registry. До отдельного импорта перечень может быть неполным.
История версий пока не загружена.
