zara

Zara est une plateforme d'assistant IA symbolique hybride conçue selon une architecture client/serveur. Elle utilise un runtime durable (zara-server) qui gère les conversations, la mémoire et l'exécution d'outils, permettant à plusieurs clients natifs — dont une application de bureau Linux PySide6, une CLI et une application Android — d'interagir via le protocole versionné ZARA/1 sur ZeroMQ. Les capacités techniques clés incluent : - Raisonnement symbolique : Utilise SWI-Prolog (bureau) et Trealla (Android) pour une gestion déterministe des intentions et des décisions de capacité. - Intégration LLM : Prend en charge des fournisseurs tels qu'OpenAI, Anthropic et Ollama pour la conversation et le raisonnement ouverts. - Interface vocale : Implémente une architecture scindée où les clients gèrent les E/S audio tandis que le serveur gère le VAD, le STT, le TTS et la coordination des tours de parole. - Système de plugins : Fournit une API de runtime bornée pour étendre les fonctionnalités via des plugins et l'intégration MCP. - UI Native : Propose un copilote de bureau Linux avec intégration à la zone de notification, rendu Markdown et un sous-système optionnel de "animal de bureau" qui réagit aux événements du runtime. Le projet est développé principalement avec Nix et se positionne comme un effort de recherche visant à remplacer les mécanismes vagues générés par les LLM par des protocoles explicites et des règles symboliques.