Об этом проекте

Zara представляет собой гибридную платформу символьного ИИ, разработанную по клиент-серверной архитектуре. Она использует устойчивую среду выполнения (zara-server), которая управляет диалогами, памятью и выполнением инструментов, позволяя нескольким нативным клиентам — включая приложение для рабочего стола Linux на PySide6, CLI и приложение для Android — взаимодействовать через версионированный протокол ZARA/1 поверх ZeroMQ. Ключевые технические возможности включают: - Символьные рассуждения: использование SWI-Prolog (десктоп) и Trealla (Android) для детерминированной обработки намерений и принятия решений о возможностях. - Интеграция LLM: поддержка таких провайдеров, как OpenAI, Anthropic и Ollama, для открытого общения и рассуждений. - Голосовой интерфейс: реализация разделенной архитектуры, где клиенты отвечают за ввод-вывод аудио, а сервер управляет VAD, STT, TTS и координацией очередности ходов. - Система плагинов: предоставление ограниченного API среды выполнения для расширения функциональности через плагины и интеграцию MCP. - Нативный интерфейс: наличие копилота для рабочего стола Linux с интеграцией в системный трей, рендерингом Markdown и опциональной подсистемой «настольного питомца», который реагирует на события среды выполнения. Проект разрабатывается преимущественно с использованием Nix и позиционируется как исследовательская работа по замене расплывчатых механизмов генерации LLM явными протоколами и символьными правилами.