Overleaf (real-time) vs Oleafly
Overleaf (real-time) is no longer listed on any marketplace we read: these are its last known data, as of 2026‑10‑27.
Overleaf (real-time) is a plugin bundle for AI coding tools published by Daniel Hou. No marketplace we read lists it any more. Oleafly is an MCP server published by Oleafly. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-10-27. A plugin in this pair is no longer listed on any marketplace we read, so search engines are asked not to index the page.
Where each is published
| Marketplace |  Oleafly | |
|---|---|---|
| Community marketplace danielhou315/overleaf-mcp-rt | Removed on 2026-10-27 Version: 2.2.0 Forks (GitHub): 3 Stars (GitHub): 11 Not marked · First seen |
Not listed |
| Official MCP Registry | Not listed | Listed Version: 0.4.8 Forks (GitHub): 25 Stars (GitHub): 281 Not marked · First seen |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
The facts side by side
| Fact | Overleaf (real-time)no longer listed · | Oleafly |
|---|---|---|
| Marketplaces that list it (differs) | 0 | 1 |
| Stars (GitHub) (differs) | 11 | 281 |
| Forks (GitHub) (differs) | 3 | 25 |
| Last release | Not published | Not published |
| Where it runs (differs) | Installs as a plugin bundle | On your machine (https://github.com/Oleafly/Oleafly/releases/download/v0.4.8/oleafly.mcpb) |
| Transport (differs) | Not stated | stdio |
| Tools it declares | Not published | Not published |
| Environment variables it asks for | Not published | Not published |
| Parts of the bundle (differs) | 7 | Not a bundle |
| Licence (differs) | AGPL-3.0-or-later | Not stated |
| Repository (differs) | github.com/danielhou315/overleaf-mcp-rt | github.com/oleafly/oleafly |
| Changes in the last 7 days | 2 | 2 |
| First seen (differs) | 2026-10-15 | 2026-10-26 |
Lines where the two differ have a tinted background and bold values. No value is marked better or worse: a plugin no marketplace lists any more is shown with its last known data, which we do not rank against current figures.
What to use instead of Overleaf (real-time)
Plugins still listed whose own names, descriptions, tools and skills are closest in meaning to it. Comparable, not endorsed.
-
milatexai io.github.yasaminfayyaz/milatexai
Edit your Overleaf LaTeX projects from Claude and ChatGPT; every change is a real Git commit.
-
Pull Overleaf review comments into your .tex repo and apply the edits.
-
Overleaf MCP server for Claude, Codex, ChatGPT, and Cursor with safe LaTeX editing and review.
-
LaTeX editor for AI agents: live PDF preview, PDF comments that drive edits, git history
-
latex app.ofia/latex
Persistent AI LaTeX workspace: edit and compile multi-file projects, export publication-ready PDFs.
-
Read, edit, compile, and review Overleaf projects through your own signed-in web session.
What each says it does
Overleaf (real-time)
Edit Overleaf projects live alongside human collaborators. Bundles the overleaf-mcp-rt MCP server (self-hosted Overleaf and overleaf.com) with skills for setup, safe co-editing, LaTeX workflow and review comments. Use when asked to read, write, review or compile anything on Overleaf.
Oleafly
Read, edit, search and compile the LaTeX, Typst or Markdown project open in Oleafly.
How to run each
Overleaf (real-time)
No data for an automatic command: what its marketplaces declare does not say unambiguously how to connect it.
Oleafly
No data for an automatic command: what its marketplaces declare does not say unambiguously how to connect it.
Commands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
Neither one's marketplaces publish a list of tools, so there is nothing to compare.
Settings each asks for
Neither one's marketplaces publish the settings it asks for.
What it can do: Overleaf (real-time) · What it can do: Oleafly · Compare two other plugins
Data comes from public marketplace files in GitHub repositories of their authors. Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.