arcanum vs. Lean Axiom Provenance
arcanum ist ein Plugin-Paket für KI-Coding-Tools von burnsbert. Marktplätze, die wir lesen und die es listen: 2 (Claude Code: claude-plugins-community, Community GitHub marketplaces). Lean Axiom Provenance ist ein Plugin-Paket für KI-Coding-Tools von zengineco. Marktplätze, die wir lesen und die es listen: 1 (Community GitHub marketplaces). Stand unseres Marktplatz-Durchlaufs vom 2026-10-15. Dieses Paar hat ein Leser gewählt, nicht unsere Vergleichsregel, deshalb bitten wir Suchmaschinen, die Seite nicht zu indexieren.
Wo jedes veröffentlicht ist
| Marktplatz | ||
|---|---|---|
| Claude Code: claude-plugins-community | Gelistet Version: 1.7.0 Forks (GitHub): 0 Sterne (GitHub): 1 Nicht markiert · Erstmals gesehen |
Nicht gelistet |
| Community-Marktplatz vince-gonzalez/gonzalgo | Nicht gelistet | Gelistet Version: nicht angegeben Forks (GitHub): 0 Sterne (GitHub): 2 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 | arcanum | Lean Axiom Provenance |
|---|---|---|
| Marktplätze, die es listen (unterschiedlich) | 2 (besser) | 1 (schlechter) |
| Sterne (GitHub) (unterschiedlich) | 1 (schlechter) | 2 (besser) |
| Forks (GitHub) | 0 | 0 |
| Letztes Release | Nicht veröffentlicht | Nicht veröffentlicht |
| Wo es läuft | Wird als Plugin-Paket installiert | Wird als Plugin-Paket installiert |
| Transport | Nicht angegeben | Nicht angegeben |
| Deklarierte Tools | Nicht veröffentlicht | Nicht veröffentlicht |
| Abgefragte Umgebungsvariablen | Nicht veröffentlicht | Nicht veröffentlicht |
| Teile des Bundles (unterschiedlich) | 49 | 4 |
| Lizenz (unterschiedlich) | MIT | Apache-2.0 |
| Repository (unterschiedlich) | github.com/burnsbert/claude-arcanum | github.com/zengineco/gonzalgo |
| Änderungen in den letzten 7 Tagen | 2 | 2 |
| Erstmals gesehen (unterschiedlich) | 2026-10-11 | 2026-10-14 |
Zeilen, in denen sich die beiden unterscheiden, haben einen getönten Hintergrund und fette Werte. Wo die Daten selbst sagen, welcher Wert besser ist (mehr Marktplätze, eine größere Zahl desselben Marktplatzes, ein neueres Release, eine Verified-Markierung auf einem Marktplatz, der beide listet), ist der bessere zusätzlich grün mit ▲ und der schlechtere rot mit ▼ markiert. Wo es läuft, der Transport, die Tools, die Einstellungen, Hooks, die Teile des Bundles, die Lizenz und die Änderungen der Woche sind nur als Unterschied markiert: mehr oder weniger ist an sich nicht besser.
Was jeder über sich sagt
arcanum
Advanced debugging, code review, deep research, technical documentation, creative ideation, and semi-autonomous development workflows with parallel theory validation, team-based research, war room investigation, root cause analysis, PR review assistance, elite technical writing, and Maestro development pipeline
Lean Axiom Provenance
Find out what a Lean 4 project rests on and why — inherited sorry, native_decide, and which step introduced an axiom
So startet man jeden
arcanum Als Claude-Code-Plugin
/plugin marketplace add anthropics/claude-plugins-community
/plugin install arcanum@claude-community
Lean Axiom Provenance Als Codex-Plugin
codex plugin marketplace add vince-gonzalez/gonzalgo
Befehle nur aus den Angaben der Marktplätze gebaut; den vollständigen Satz für jeden Client gibt es auf jeder Karte.
Welche Tools jedes deklariert
Die Marktplätze keines der beiden veröffentlichen eine Tool-Liste, es gibt also nichts zu vergleichen.
Welche Einstellungen jedes verlangt
Die Marktplätze keines der beiden veröffentlichen die verlangten Einstellungen.
Was es kann: arcanum · Was es kann: Lean Axiom Provenance · Zwei andere Plugins vergleichen
Daten von Claude Code: claude-plugins-community. Daten von Community GitHub marketplaces. 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.