mathlib-quality vs. HefestoAI
mathlib-quality ist ein Plugin-Paket für KI-Coding-Tools von CBirkbeck. Marktplätze, die wir lesen und die es listen: 1 (Community GitHub marketplaces). HefestoAI ist ein MCP-Server von artvepa80. Marktplätze, die wir lesen und die es listen: 1 (Official MCP Registry). Stand unseres Marktplatz-Durchlaufs vom 2026-10-23. 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 |  HefestoAI | |
|---|---|---|
| Community-Marktplatz cbirkbeck/mathlib-quality | Gelistet Version: 0.77.0 Forks (GitHub): 5 Sterne (GitHub): 36 Nicht markiert · Erstmals gesehen |
Nicht gelistet |
| Official MCP Registry | Nicht gelistet | Gelistet Version: 4.20.2 Forks (GitHub): 2 Sterne (GitHub): 7 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 | mathlib-quality | HefestoAI |
|---|---|---|
| Marktplätze, die es listen | 1 | 1 |
| Sterne (GitHub) (unterschiedlich) | 36 (besser) | 7 (schlechter) |
| Forks (GitHub) (unterschiedlich) | 5 (besser) | 2 (schlechter) |
| Letztes Release (unterschiedlich) | Nicht veröffentlicht | 2026-10-19 |
| Wo es läuft (unterschiedlich) | Wird als Plugin-Paket installiert | Entfernter Server (hefestoai.narapallc.com/api/mcp-protocol) |
| Transport (unterschiedlich) | Nicht angegeben | Streamable HTTP |
| Deklarierte Tools | Nicht veröffentlicht | Nicht veröffentlicht |
| Abgefragte Umgebungsvariablen | Nicht veröffentlicht | Nicht veröffentlicht |
| Ausgeführte Hooks (unterschiedlich) | 2 | Nicht veröffentlicht |
| Teile des Bundles (unterschiedlich) | 28 | Kein Bundle |
| Lizenz (unterschiedlich) | MIT | Nicht angegeben |
| Repository (unterschiedlich) | github.com/cbirkbeck/mathlib-quality | github.com/artvepa80/agents-hefesto |
| Änderungen in den letzten 7 Tagen (unterschiedlich) | 0 | 1 |
| Erstmals gesehen (unterschiedlich) | 2026-10-14 | 2026-10-11 |
| Endpoint bei der letzten Prüfung (unterschiedlich) | kein Remote-Endpoint, den wir prüfen | Antwortete vor 6 Tagen |
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
mathlib-quality
Clean up, golf, and bring Lean 4 code up to mathlib standards before PR submission
HefestoAI
HefestoAI checks AI-generated code before you ship it.
So startet man jeden
mathlib-quality Als Claude-Code-Plugin
/plugin marketplace add cbirkbeck/mathlib-quality
/plugin install mathlib-quality@mathlib-quality-pluginsHefestoAI Als entfernter MCP-Server
claude mcp add --transport http hefestoai https://hefestoai.narapallc.com/api/mcp-protocolBefehle nur aus den Angaben der Marktplätze gebaut; den vollständigen Satz für jeden Client gibt es auf jeder Karte.
Nur HefestoAI hat einen Remote-Endpoint, den wir prüfen. Wie wir Endpoints prüfen
Welche Tools jedes deklariert
Weder die Marktplätze von mathlib-quality 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: mathlib-quality · Was es kann: HefestoAI · 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.