Die Werkzeugbeschreibungen sind auf Englisch.

io.github.nvlang/verso : Werkzeugprofil und Verlauf

MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

Aktiv

Kanonische Quelle ↗

Sprache
Python
Lizenz
Apache-2.0
Erstellt
Letzte Aktivität

Installieren claude mcp add verso -- uvx verso-mcp

Aktuelle Messung

1GitHub-Sternestabil
gemessenes Wachstum

Momentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.

Messverlauf

90 Tage · 90 Messungen maximal
DatumWertMetrik
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne

Klassifikationen

Bereiche
Typ
MCP-Server
Anwendungsfälle
  • Kein Anwendungsfall angegeben