Home / Writing · Research / Corollary
Corollary
For writing LaTeX on a Mac: an Overleaf-style editor powered by on-device models
What is Corollary
Corollary is an Overleaf-style LaTeX editor for the Mac that uses on-device models. It is free and open source.
How to use
- Install with Homebrew: brew install --cask calvinyz/tap/corollary, or download the DMG from GitHub Releases (Apple silicon Mac, macOS 14+;
- on-device AI needs macOS 26 with Apple Intelligence on).
- On first launch, open System Settings › Privacy & Security and click Open Anyway (the app is not notarized yet).
- Drop in an Overleaf or Prism project zip or folder, or start a new project from a template.
- Click Recompile to build the PDF;
- Corollary installs TeX and any missing packages for you.
- Select text and press ⌘K to tighten, rewrite, fix grammar or formalize;
- with nothing selected, describe a table, equation or paragraph to draft it at the cursor.
- Review each AI edit as a diff and accept or reject it hunk by hunk.
- Paste a screenshot or photo of an equation to get the LaTeX.
Use cases
- Writing LaTeX papers on a Mac with an Overleaf-like layout Using AI writing help offline with Apple’s on-device model, no account or API key Migrating projects from Overleaf or OpenAI Prism (which shuts down January 1, 2027) Converting whiteboard photos or screenshots of equations into LaTeX Keeping unpublished research private on your own computer Guarding citations, references and equations from being broken by AI edits
Price from official sources
Free
- Free and open source under the Apache-2.0 license;
- the default on-device AI costs nothing.
Check the official site for current pricing · Price not yet checked by our editors
Source: calvinyz.github.io · Info as of Nov 2, 2026
Reviews
No reviews yet.
Alternatives
-
Fluent 2
Paid
For system-wide AI writing on Mac: invoke it in any app, with MCP and RAG support
- Added
- Nov 2, 2026
Same category: Writing
-
ClawsGO Science
Freemium
For research and writing: a one-sentence task runs in the cloud for hours and produces a citable document
- Added
- Nov 2, 2026
Same category: Writing
-
Winch
Paid
For indie developers doing ASO: uses your own coding agent to optimize store listings.
- Added
- Nov 2, 2026
Same category: Writing
-
Godwit
Free
For AI-assisted email: an open-source client that summarizes, translates and drafts, with MCP support.
- Added
- Nov 2, 2026
Same category: Writing
Social