Le descrizioni degli strumenti sono in inglese.
io.github.nvlang/verso : scheda e storico dello strumento
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
- Linguaggio
- Python
- Licenza
- Apache-2.0
- Creazione
- Ultima attività
Installa claude mcp add verso -- uvx verso-mcp
Misurazione attuale
1stelle GitHubstabile
crescita misurataMomentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
Storico delle rilevazioni
| Data | Valore | Metrica |
|---|---|---|
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub |
Classificazioni
- Ambiti
- Tipo
- Server MCP
- Utilizzi
- Nessun utilizzo dichiarato