Описание сервера
Code & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.
Локальный MCP-пакет не является публичным HTTP-сервером. Отсутствие адреса не означает недоступность.
Авторизация: независимо не проверялась
Список инструментов: независимо не проверялся