Lean Axiom Provenance vs. Entroly
Lean Axiom Provenance ist auf keinem Marktplatz mehr gelistet, den wir lesen: Das sind die letzten bekannten Daten, Stand 2026‑10‑16.
Lean Axiom Provenance ist ein Plugin-Paket für KI-Coding-Tools von zengineco. Kein Marktplatz, den wir lesen, listet es noch. Entroly ist ein MCP-Server von juyterman1000. Marktplätze, die wir lesen und die es listen: 2 (Official MCP Registry, Community GitHub marketplaces). Stand unseres Marktplatz-Durchlaufs vom 2026-10-27. 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 |  Entroly | |
|---|---|---|
| Community-Marktplatz vince-gonzalez/gonzalgo | Entfernt am 2026-10-16 Version: nicht angegeben Forks (GitHub): 0 Sterne (GitHub): 2 Nicht markiert · Erstmals gesehen |
Nicht gelistet |
| Official MCP Registry | Nicht gelistet | Gelistet Version: 1.0.86 Downloads pro Monat (PyPI): 1 455 Downloads pro Woche (PyPI): 339 Forks (GitHub): 73 Sterne (GitHub): 480 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 | Lean Axiom Provenancenicht mehr gelistet · | Entroly |
|---|---|---|
| Marktplätze, die es listen (unterschiedlich) | 0 | 2 |
| Sterne (GitHub) (unterschiedlich) | 2 | 480 |
| Forks (GitHub) (unterschiedlich) | 0 | 73 |
| Letztes Release (unterschiedlich) | Nicht veröffentlicht | 2026-10-14 |
| Wo es läuft (unterschiedlich) | Wird als Plugin-Paket installiert | Auf Ihrem Rechner (entroly) |
| Transport (unterschiedlich) | Nicht angegeben | stdio |
| Deklarierte Tools | Nicht veröffentlicht | Nicht veröffentlicht |
| Abgefragte Umgebungsvariablen (unterschiedlich) | Nicht veröffentlicht | 4, davon Secrets: 1 |
| Ausgeführte Hooks (unterschiedlich) | Nicht veröffentlicht | 1 |
| Teile des Bundles | 4 | 4 |
| Lizenz | Apache-2.0 | Apache-2.0 |
| Repository (unterschiedlich) | github.com/zengineco/gonzalgo | github.com/juyterman1000/entroly |
| Änderungen in den letzten 7 Tagen | 0 | 0 |
| Erstmals gesehen (unterschiedlich) | 2026-10-14 | 2026-10-11 |
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 „Lean Axiom Provenance“ nutzen können
Noch gelistete Plugins, deren Namen, Beschreibungen, Tools und Skills ihm in der Bedeutung am nächsten sind. Vergleichbar, nicht empfohlen.
-
Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, disprove, checkpoint, review, refactor, golf, learn, diagnose) — LSP-first, scripts fallback
-
Set up, plan, publish, prove, and review Lean formalizations as linked Markdown nodes checked through Lean LSP and REPL.
-
Clean up, golf, and bring Lean 4 code up to mathlib standards before PR submission
-
leanforge-mcp io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
-
prover com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
-
Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
Was jeder über sich sagt
Lean Axiom Provenance
Find out what a Lean 4 project rests on and why — inherited sorry, native_decide, and which step introduced an axiom
Entroly
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
So startet man jeden
Lean Axiom Provenance
Keine Daten für einen automatischen Befehl: Die Angaben der Marktplätze sagen nicht eindeutig, wie man es verbindet.
Entroly Als lokaler MCP-Server: PyPI-Paket
claude mcp add --transport stdio entroly -- uvx entrolyBefehle 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 von Lean Axiom Provenance veröffentlichen keine verlangten Einstellungen, daher vergleichen wir keine Einstellungen.
Was es kann: Lean Axiom Provenance · Was es kann: Entroly · 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.