zara

Zara 是一个采用客户端/服务器架构设计的混合符号 AI 助手平台。它利用一个持久化运行时 (zara-server) 来管理对话、内存和工具执行，允许包括 PySide6 Linux 桌面应用、CLI 和 Android 应用程序在内的多个原生客户端通过基于 ZeroMQ 的版本化 ZARA/1 协议进行交互。 关键技术能力包括： - 符号推理：使用 SWI-Prolog (桌面端) 和 Trealla (Android 端) 进行确定性的意图处理和能力决策。 - LLM 集成：支持 OpenAI、Anthropic 和 Ollama 等供应商，用于开放式对话和推理。 - 语音界面：实现了一种拆分架构，由客户端处理音频 I/O，而服务器管理 VAD、STT、TTS 和轮次协调。 - 插件系统：提供一个受限的运行时 API，通过插件和 MCP 集成来扩展功能。 - 原生 UI：具有集成系统托盘、Markdown 渲染的 Linux 桌面 Copilot，以及一个可对运行时事件做出反应的可选“桌面宠物”子系统。 该项目主要使用 Nix 开发，其定位是一项研究工作，旨在用明确的协议和符号规则取代模糊的 LLM 生成机制。