io.github.nvlang/verso

io.github.nvlang/verso · v0.4.2 · docs-and-knowledge

io.github.nvlang/verso is a local (stdio) package with no hosted endpoint. It scores 18/100.

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

Repository · JSON · Add to my inventory

Score 18/100

health	0 / 25
authEase	9 / 15
toolQuality	0 / 15
maintenance	3 / 15
adoption	0 / 10
usage	0 / 10
security	6 / 10

Scoring v0.3, computed 2026-10-14T20:56:05.018Z.

Local (stdio) package only: no hosted endpoint to check
GitHub signals are off for everyone: maintenance uses registry dates (half credit)

Health history

No checks yet.

Tools (0)

Tools are listed after a successful handshake.