matthiasn/lotti

解決する課題

Lottiは、個人の記憶（ボイスメモ、スクリーンショット、写真、日記）のための分散型記録システムであり、ユーザーの所有権とプライバシーを最優先します。サードパーティのサーバーに個人データが保存され、企業によってマイニングされるという問題を解決し、記憶が改ざんされず、暗号化された状態でユーザー自身のデバイスのみに保存されることを保証します。

仕組み

Lottiはローカルファーストのアーキテクチャを採用しており、各デバイスがSQLiteデータベース内に完全な記録を保持します。デバイス間の同期には、Matrixホームサーバー（Synapse）を介したゼロトラストリレーを使用し、暗号化された暗号文のみを扱います。

主な技術的メカニズム：

• エンドツーエンド暗号化: ルームメッセージにはMegolmとOlmを、添付ファイルにはAES-256-CTRを使用し、キーは手動の絵文字検証を通じてのみ共有されます。
• ヒューマン・イン・ザ・ループAI: パーソナルAIエージェントが記録を読み取り、タスク、要約、更新を提案しますが、これらの変更はユーザーが確認するまで記録には適用されません。
• 柔軟な推論: ユーザーはAIリクエストを自身で設定したプロバイダー（例：データ保持ゼロのクラウドプロバイダーや、音声認識用のWhisper/Voxtralなどのローカルモデル）にルーティングします。
• 形式検証: 同期プロトコルとエージェントランタイムはTLA+を使用してモデルチェックされ、データの一貫性を確保し、同時実行やクラッシュ時のデータ損失や重複を防ぎます。

対象ユーザー

中央集権的なクラウドサービスに依存することなく、生活、仕事、人間関係を追跡するための包括的でプライベートなシステムを求める個人向けに設計されています。

ハイライト

• 分散型記録: 中央クラウドやアカウントは不要。ペアリングされたすべてのデバイスが完全なピアとなります。
• エージェントによる支援: タスク、人間関係、目標、プロジェクト、イベントに特化したエージェントが、改善案や要約を提案します。
• GitHub連携: プルリクエストを追跡し、計画された作業と実際の成果をリンクします。
• プライバシー重視のAI: ローカル推論とデータ保持ゼロのクラウドルーティングをサポート。
• 高い信頼性: 形式検証済みの同期および復旧ロジックにより、データ損失を防止します。