lotti

Lotti es un cuaderno de registro personal multiplataforma que mantiene la intención y la realidad como registros separados: las tareas describen lo que quieres lograr, mientras que las entradas de tiempo, notas, audio, fotos y mediciones registran lo que realmente ocurrió. Funciona en macOS, Linux, Windows, iOS y Android, con almacenamiento local en SQLite y archivos adjuntos en tu propio sistema de archivos. Una característica distintiva es su equipo de agentes de IA persistentes. Los agentes pueden leer tareas, resumir información y proponer cambios como actualizaciones de estado, listas de verificación o fechas, pero los cambios propuestos esperan la aprobación explícita del usuario antes de ingresar a la base de datos del usuario. Este diseño con intervención humana se aplica estructuralmente mediante bases de datos separadas para el usuario y los agentes, en lugar de depender únicamente de las indicaciones. La IA es opcional, y los usuarios pueden dirigir diferentes categorías de datos a distintos proveedores, incluidos modelos locales a través de Ollama, modelos en la nube de vanguardia o el endpoint europeo Melious.ai destacado durante la incorporación. La sincronización está cifrada de extremo a extremo sobre Matrix usando Vodozemac, con un servidor doméstico Synapse que actúa únicamente como retransmisor de texto cifrado. Los dispositivos se emparejan mediante códigos QR, códigos de verificación y verificación por emojis. El protocolo de sincronización y el entorno de ejecución de los agentes están especificados formalmente en 16 modelos TLA+ y se verifican mediante model checking cada noche, con extensas pruebas automatizadas reportadas por el proyecto. La aplicación incluye grabación de audio con transcripción local mediante Whisper o Voxtral, gestión del ciclo de vida de las tareas, seguimiento de tiempo con valoraciones de concentración, análisis de tiempo, hábitos, importación de datos de salud desde Apple Health y funciones experimentales opcionales como proyectos, eventos, paneles y búsqueda respaldada por embeddings. Una vista de Uso e Impacto informa tokens, solicitudes y, cuando está disponible, costo, energía y CO₂e de las llamadas a IA en la nube. Lotti es gratuito en Linux sin muros de pago, y las opciones de instalación incluyen Flathub, lanzamientos de GitHub y pruebas limitadas en TestFlight o Play Store para plataformas móviles.