Sobre o projeto

Zara é uma plataforma de assistente de IA simbólica híbrida projetada com uma arquitetura cliente/servidor. Ela utiliza um runtime durável (zara-server) que gerencia conversas, memória e execução de ferramentas, permitindo que múltiplos clientes nativos — incluindo um app de desktop Linux em PySide6, uma CLI e um aplicativo Android — interajam via o protocolo versionado ZARA/1 sobre ZeroMQ. As principais capacidades técnicas incluem: - Raciocínio Simbólico: Utiliza SWI-Prolog (desktop) e Trealla (Android) para manipulação determinística de intenções e decisões de capacidade. - Integração de LLM: Suporta provedores como OpenAI, Anthropic e Ollama para conversas e raciocínios abertos. - Interface de Voz: Implementa uma arquitetura dividida onde os clientes lidam com E/S de áudio, enquanto o servidor gerencia VAD, STT, TTS e coordenação de turnos. - Sistema de Plugins: Fornece uma API de runtime delimitada para estender a funcionalidade através de plugins e integração MCP. - UI Nativa: Apresenta um copilot de desktop Linux com integração na bandeja do sistema, renderização de Markdown e um subsistema opcional de "desktop pet" que reage a eventos de runtime. O projeto é desenvolvido primariamente usando Nix e é posicionado como um esforço de pesquisa para substituir a maquinaria vaga gerada por LLMs por protocolos explícitos e regras simbólicas.