obelus vs. PaperDock
obelus ist auf keinem Marktplatz mehr gelistet, den wir lesen: Das sind die letzten bekannten Daten, Stand 2026‑10‑24.
obelus ist ein Plugin-Paket für KI-Coding-Tools von Obelus contributors. Kein Marktplatz, den wir lesen, listet es noch. PaperDock ist ein MCP-Server von paperdock.dev. Marktplätze, die wir lesen und die es listen: 1 (Official MCP Registry). Stand unseres Marktplatz-Durchlaufs vom 2026-10-26. Ein Plugin dieses Paares ist auf keinem Marktplatz mehr gelistet, den wir lesen, deshalb bitten wir Suchmaschinen, die Seite nicht zu indexieren.
Wo jedes veröffentlicht ist
| Marktplatz |  PaperDock | |
|---|---|---|
| Community-Marktplatz 4gentic/obelus | Entfernt am 2026-10-24 Version: 0.1.16 Forks (GitHub): 0 Sterne (GitHub): 8 Nicht markiert · Erstmals gesehen |
Nicht gelistet |
| Official MCP Registry | Nicht gelistet | Gelistet Version: 0.10.0 Keine Zahl veröffentlicht Nicht markiert · Erstmals gesehen |
Jede Zahl stammt vom jeweiligen Marktplatz und wird nie über Marktplätze hinweg addiert. Ein Marktplatz ohne veröffentlichte Zahl zeigt keine: keine Zahl ist nicht null.
Die Fakten nebeneinander
| Fakt | obelusnicht mehr gelistet · | PaperDock |
|---|---|---|
| Marktplätze, die es listen (unterschiedlich) | 0 | 1 |
| Sterne (GitHub) (unterschiedlich) | 8 | Keine Zahl auf GitHub |
| Forks (GitHub) (unterschiedlich) | 0 | Keine Zahl auf GitHub |
| Letztes Release (unterschiedlich) | Nicht veröffentlicht | 2026-10-15 |
| Wo es läuft (unterschiedlich) | Wird als Plugin-Paket installiert | Entfernter Server (app.paperdock.dev/api/mcp) |
| Transport (unterschiedlich) | Nicht angegeben | Streamable HTTP |
| Deklarierte Tools | Nicht veröffentlicht | Nicht veröffentlicht |
| Abgefragte Umgebungsvariablen | Nicht veröffentlicht | Nicht veröffentlicht |
| Teile des Bundles (unterschiedlich) | 9 | Kein Bundle |
| Lizenz (unterschiedlich) | MIT | Nicht angegeben |
| Repository (unterschiedlich) | github.com/4gentic/obelus | Nicht angegeben |
| Änderungen in den letzten 7 Tagen (unterschiedlich) | 2 | 0 |
| Erstmals gesehen (unterschiedlich) | 2026-10-14 | 2026-10-11 |
| Endpoint bei der letzten Prüfung (unterschiedlich) | kein Remote-Endpoint, den wir prüfen | Antwortet nicht seit 2026-10-25 |
Zeilen, in denen sich die beiden unterscheiden, sind hinterlegt und fett. Kein Wert ist als besser oder schlechter markiert: Ein Plugin, das kein Marktplatz mehr listet, erscheint mit seinen letzten bekannten Daten, und die stellen wir nicht gegen aktuelle Zahlen.
Was Sie statt „obelus“ nutzen können
Noch gelistete Plugins, deren Namen, Beschreibungen, Tools und Skills ihm in der Bedeutung am nächsten sind. Vergleichbar, nicht empfohlen.
-
Agentic LLM tool for pre-submission self-review of formal proof-based papers.
-
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.
-
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 editor for AI agents: live PDF preview, PDF comments that drive edits, git history
Was jeder über sich sagt
obelus
Apply an Obelus review bundle to your paper source. Format-agnostic (LaTeX, Markdown, Typst), offline, minimal-diff.
PaperDock
Overleaf alternative online LaTeX editor. AI agents edit, comment, and chat. Keep or revert edits.
So startet man jeden
obelus
Keine Daten für einen automatischen Befehl: Die Angaben der Marktplätze sagen nicht eindeutig, wie man es verbindet.
PaperDock Als entfernter MCP-Server
claude mcp add --transport http paperdock https://app.paperdock.dev/api/mcpBefehle nur aus den Angaben der Marktplätze gebaut; den vollständigen Satz für jeden Client gibt es auf jeder Karte.
Nur PaperDock hat einen Remote-Endpoint, den wir prüfen. Wie wir Endpoints prüfen
Welche Tools jedes deklariert
Weder die Marktplätze von obelus noch sein Endpoint listen Tools auf, daher vergleichen wir keine Tools.
Welche Einstellungen jedes verlangt
Die Marktplätze keines der beiden veröffentlichen die verlangten Einstellungen.
Was es kann: obelus · Was es kann: PaperDock · Zwei andere Plugins vergleichen
Daten von Community GitHub marketplaces. Daten von Official MCP Registry. Die Zahlen stammen aus unseren eigenen regelmäßigen Durchläufen über die Marktplätze, zuletzt abgerufen am . Kontaktdaten von Plugin-Herausgebern veröffentlichen wir nicht.