A local-first, agent-first LaTeX writing app for macOS: live PDF, annotations, papers and Overleaf sync