obelus vs Overleaf Web MCP
obelus is no longer listed on any marketplace we read: these are its last known data, as of 2026‑10‑24.
obelus is a plugin bundle for AI coding tools published by Obelus contributors. No marketplace we read lists it any more. Overleaf Web MCP is an MCP server published by mhmdaskari. Marketplaces we read that list it: 2 (Official MCP Registry, npm registry (MCP servers)). 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 |  Overleaf Web MCP | |
|---|---|---|
| Community marketplace 4gentic/obelus | Removed on 2026-10-24 Version: 0.1.16 Forks (GitHub): 0 Stars (GitHub): 8 Not marked · First seen |
Not listed |
| Official MCP Registry | Not listed | Listed Version: 0.7.1 Downloads/month (npm): 1 243 Downloads/week (npm): 124 Forks (GitHub): 2 Stars (GitHub): 3 Not marked · First seen |
| npm registry (MCP servers) | Not listed | Listed Version: 0.7.1 Downloads/month (npm): 1 243 Downloads/week (npm): 124 Forks (GitHub): 2 Stars (GitHub): 3 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 | obelusno longer listed · | Overleaf Web MCP |
|---|---|---|
| Marketplaces that list it (differs) | 0 | 2 |
| Stars (GitHub) (differs) | 8 | 3 |
| Forks (GitHub) (differs) | 0 | 2 |
| Last release (differs) | Not published | 2026-10-25 |
| Where it runs (differs) | Installs as a plugin bundle | On your machine (overleaf-web-mcp) |
| Transport (differs) | Not stated | stdio |
| Tools it declares | Not published | Not published |
| Environment variables it asks for (differs) | Not published | 6, secrets among them: 0 |
| Parts of the bundle (differs) | 9 | Not a bundle |
| Licence | MIT | MIT |
| Repository (differs) | github.com/4gentic/obelus | github.com/mhmdaskari/overleaf-web-mcp |
| Changes in the last 7 days (differs) | 2 | 5 |
| First seen (differs) | 2026-10-14 | 2026-10-12 |
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 obelus
Plugins still listed whose own names, descriptions, tools and skills are closest in meaning to it. Comparable, not endorsed.
-
Checks every LaTeX reference against Crossref, dblp, arXiv, DataCite, PubMed and OpenAlex. No LLM.
-
Overleaf MCP server for Claude, Codex, ChatGPT, and Cursor with safe LaTeX editing and review.
-
Pull Overleaf review comments into your .tex repo and apply the edits.
-
LaTeX editor for AI agents: live PDF preview, PDF comments that drive edits, git history
-
Flag hallucinated references, authors and bib items in any paper — your own draft before submitting, or one you are reviewing — and correct badly formatted ones. Resolves every…
-
Academic paper review, writing improvement and recommendation-letter skills for Claude Code
What each says it does
obelus
Apply an Obelus review bundle to your paper source. Format-agnostic (LaTeX, Markdown, Typst), offline, minimal-diff.
Overleaf Web MCP
Read, edit, compile, and review Overleaf projects through your own signed-in web session.
How to run each
obelus
No data for an automatic command: what its marketplaces declare does not say unambiguously how to connect it.
Overleaf Web MCP As a local MCP server: npm package
claude mcp add --transport stdio overleaf-web-mcp -- npx -y overleaf-web-mcp serveCommands 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
The marketplaces of obelus publish no settings it asks for, so we do not compare settings.
What it can do: obelus · What it can do: Overleaf Web MCP · 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. Package data comes from the public npm registry (registry.npmjs.org). Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.