Ext Ops Panel
Dashboard öffnen
Vergleich

autoform vs. aria-knowledge

autoform ist ein Plugin-Paket für KI-Coding-Tools von Vivien Cabannes. Marktplätze, die wir lesen und die es listen: 1 (Community GitHub marketplaces). aria-knowledge ist ein Plugin-Paket für KI-Coding-Tools von Mike Prasad. Marktplätze, die wir lesen und die es listen: 1 (Community GitHub marketplaces). Stand unseres Marktplatz-Durchlaufs vom 2026-10-21. Dieses Paar hat ein Leser gewählt, nicht unsere Vergleichsregel, deshalb bitten wir Suchmaschinen, die Seite nicht zu indexieren.

Wo jedes veröffentlicht ist

Wo jedes veröffentlicht ist
Marktplatzautoformaria-knowledge
Community-Marktplatz facebookresearch/autoform-bot Gelistet
Version: 0.5.0
Forks (GitHub): 32
Sterne (GitHub): 123
Nicht markiert · Erstmals gesehen
Nicht gelistet
Community-Marktplatz mikeprasad/aria-knowledge Nicht gelistet Gelistet
Version: 2.57.0
Forks (GitHub): 2
Sterne (GitHub): 17
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

autoform vs. aria-knowledge
Faktautoformaria-knowledge
Marktplätze, die es listen11
Sterne (GitHub) (unterschiedlich)123 (besser)17 (schlechter)
Forks (GitHub) (unterschiedlich)32 (besser)2 (schlechter)
Letztes Release (unterschiedlich)Nicht veröffentlicht2026-10-21
Wo es läuftWird als Plugin-Paket installiertWird als Plugin-Paket installiert
TransportNicht angegebenNicht angegeben
Deklarierte ToolsNicht veröffentlichtNicht veröffentlicht
Abgefragte UmgebungsvariablenNicht veröffentlichtNicht veröffentlicht
Ausgeführte Hooks (unterschiedlich)Nicht veröffentlicht19
Teile des Bundles (unterschiedlich)958
Lizenz (unterschiedlich)Nicht angegebenCC-BY-NC-SA-4.0
Repository (unterschiedlich)github.com/facebookresearch/autoform-botgithub.com/mikeprasad/aria-knowledge
Änderungen in den letzten 7 Tagen (unterschiedlich)34
Erstmals gesehen (unterschiedlich)2026-10-182026-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

autoform

In eigenen Worten, auf Community GitHub marketplaces:

Set up, plan, publish, prove, and review Lean formalizations as linked Markdown nodes checked through Lean LSP and REPL.

aria-knowledge

In eigenen Worten, auf Community GitHub marketplaces:

Knowledge management, decision discipline, codebase understanding, plan pre-mortems, and release retrospectives for Claude Code

So startet man jeden

autoform Als Claude-Code-Plugin

Claude Code
/plugin marketplace add facebookresearch/autoform-bot
/plugin install autoform@autoform

aria-knowledge Als Claude-Code-Plugin

Claude Code
/plugin marketplace add mikeprasad/aria-knowledge
/plugin install aria-knowledge@aria-knowledge

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: autoform · Was es kann: aria-knowledge · Zwei andere Plugins vergleichen

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.

Woher die Daten stammen: wie der Katalog entsteht