verso
io.github.nvlang/verso
95
security score
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Security scan
Last scanned 22 hours ago — static analysis of the published manifest.
- lowManifest makes network requests.