matthiasn/lotti

它解决了什么问题

Lotti 是一个用于个人记忆（语音备忘录、截图、照片、日记条目）的去中心化记录系统，优先考虑用户所有权与隐私。它解决了个人数据被存储在第三方服务器并被公司挖掘的问题，确保记忆保持不变、加密，并仅存储在用户自己的设备上。

运作方式

Lotti 使用本地优先架构，每台设备都在 SQLite 数据库中保存完整记录。为了在设备间同步，它使用通过 Matrix 家庭服务器 (Synapse) 的零信任中继，该服务器仅处理加密后的密文。

关键技术机制包括：

• 端到端加密：使用 Megolm 与 Olm 处理房间消息，使用 AES-256-CTR 处理附件，密钥仅通过手动 emoji 验证共享。
• 人机协作 AI：个人 AI 代理读取记录以提出任务、摘要或更新，但这些变更在应用于记录前需要用户确认。
• 灵活推理：用户将 AI 请求路由至自己配置的提供商（例如：零数据保留云端提供商或如 Whisper/Voxtral 等用于语音识别的本地模型）。
• 形式化验证：同步协议与代理运行时使用 TLA+ 进行模型检查，以确保数据一致性并防止在并发与崩溃期间发生丢失或重复。

目标用户

它专为那些希望拥有一个全面、私密的系统来追踪生活、工作与人际关系，且不依赖集中式云端服务的个人所设计。

特色亮点

• 去中心化记录：无中央云端或账户；每个配对的设备都是完整的对等节点。
• 代理辅助：针对任务、人际关系、目标、项目与事件的专业代理，提供改进建议与摘要。
• GitHub 集成：追踪 pull requests 以链接计划工作与实际交付成果。
• 隐私优先 AI：支持本地推理与零数据保留云端路由。
• 高可靠性：经过形式化验证的同步与恢复逻辑，防止数据丢失。