Описание сервера
Local-first evidence tracking, formal logic checks and prerequisite planning for AI agents.
Локальный MCP-пакет не является публичным HTTP-сервером. Отсутствие адреса не означает недоступность.
Авторизация: независимо не проверялась
Список инструментов: независимо не проверялся