io.github.nvlang/verso : fiche et historique
Serveur MCP pour lire les sites de documentation générés par Verso (par exemple, la Référence du langage Lean).
Reformulée en français
- Langage
- Python
- Licence
- Apache-2.0
- Création
- Dernière activité
Installer claude mcp add verso -- uvx verso-mcp
Mesure actuelle
1étoiles GitHubstable
progression mesuréeLe momentum utilise les relevés disponibles des 7 derniers jours : mesuré avec au moins deux relevés comparables, estimé sinon.
Historique des relevés
| Date | Valeur | Métrique |
|---|---|---|
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub |
Classements
- Domaines
- Type
- Serveurs MCP
- Usages
- Aucun usage déclaré