Noosphere vs. io.github.sandraschi/leanforge-mcp
Noosphere ist ein MCP-Server von JinNing6. Marktplätze, die wir lesen und die es listen: 3 (Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces). io.github.sandraschi/leanforge-mcp ist ein MCP-Server von sandraschi. Marktplätze, die wir lesen und die es listen: 1 (Official MCP Registry). Stand unseres Marktplatz-Durchlaufs vom 2026-10-26. 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 |  Noosphere |  io.github.sandraschi/leanforge-mcp |
|---|---|---|
| Official MCP Registry | Gelistet Version: 0.5.1 Downloads pro Monat (PyPI): 334 Downloads pro Woche (PyPI): 65 Forks (GitHub): 3 Sterne (GitHub): 18 Nicht markiert · Erstmals gesehen |
Gelistet Version: 0.1.1 Forks (GitHub): 0 Sterne (GitHub): 3 Nicht markiert · Erstmals gesehen |
| Claude Code: claude-plugins-community | Gelistet Version: 0.10.0 Forks (GitHub): 3 Sterne (GitHub): 18 Nicht markiert · Erstmals gesehen |
Nicht gelistet |
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 | Noosphere | io.github.sandraschi/leanforge-mcp |
|---|---|---|
| Marktplätze, die es listen (unterschiedlich) | 3 (besser) | 1 (schlechter) |
| Sterne (GitHub) (unterschiedlich) | 18 (besser) | 3 (schlechter) |
| Forks (GitHub) (unterschiedlich) | 3 (besser) | 0 (schlechter) |
| Letztes Release (unterschiedlich) | Nicht veröffentlicht | 2026-10-19 |
| Wo es läuft (unterschiedlich) | Auf Ihrem Rechner (noosphere-mcp) | Auf Ihrem Rechner (https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb) |
| Transport | stdio | stdio |
| Deklarierte Tools | Nicht veröffentlicht | Nicht veröffentlicht |
| Abgefragte Umgebungsvariablen (unterschiedlich) | 3, davon Secrets: 1 | Nicht veröffentlicht |
| Ausgeführte Hooks (unterschiedlich) | 1 | Nicht veröffentlicht |
| Teile des Bundles (unterschiedlich) | 5 | Kein Bundle |
| Lizenz (unterschiedlich) | Apache-2.0 | Nicht angegeben |
| Repository (unterschiedlich) | github.com/jinning6/noosphere | github.com/sandraschi/leanforge-mcp |
| Änderungen in den letzten 7 Tagen | 0 | 0 |
| Erstmals gesehen | 2026-10-11 | 2026-10-11 |
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
Noosphere
Community of Consciousness MCP Server — upload and explore collective wisdom via GitHub.
io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
So startet man jeden
Noosphere Als lokaler MCP-Server: PyPI-Paket
claude mcp add --env "GITHUB_TOKEN=<YOUR_GITHUB_TOKEN>" --transport stdio noosphere -- uvx noosphere-mcpErfordert: GITHUB_TOKEN (geheim)
io.github.sandraschi/leanforge-mcp
Keine Daten für einen automatischen Befehl: Die Angaben der Marktplätze sagen nicht eindeutig, wie man es verbindet.
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 von io.github.sandraschi/leanforge-mcp veröffentlichen keine verlangten Einstellungen, daher vergleichen wir keine Einstellungen.
Was es kann: Noosphere · Was es kann: io.github.sandraschi/leanforge-mcp · Zwei andere Plugins vergleichen
Daten von Official MCP Registry. 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.