
Editor for research writing in LaTeX, Typst and Markdown, with source, PDF, citations, figures and Git history in one project. Coauthors edit live with shared cursors and comments. Compilers are built in, Zotero citations and preflight checks are included, and AI agents work inside the project, with every change shown as a reviewable diff.
identifier "com.oleafly.app" and anchor apple generic and certificate 1[field.1.2.840.113635.100.6.2.6] /* exists */ and certificate leaf[field.1.2.840.113635.100.6.1.13] /* exists */ and certificate leaf[subject.OU] = "9RGK3KH92K"