Описание сервера
Go from natural language to verified finite state machines — topology bugs caught before code runs.
Локальный MCP-пакет не является публичным HTTP-сервером. Отсутствие адреса не означает недоступность.
Авторизация: независимо не проверялась
Список инструментов: независимо не проверялся