Описание сервера
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Локальный MCP-пакет не является публичным HTTP-сервером. Отсутствие адреса не означает недоступность.
Авторизация: независимо не проверялась
Список инструментов: независимо не проверялся