io.github.nvlang/verso: tool profile and history
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
- Language
- Python
- License
- Apache-2.0
- Created
- Last activity
Install claude mcp add verso -- uvx verso-mcp
Current measurement
1GitHub starsstable
measured growthMomentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
Reading history
| Date | Value | Metric |
|---|---|---|
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars |
Classifications
- Domains
- Type
- MCP servers
- Use cases
- No declared use case