{"name":"io.github.nvlang/verso","slug":"nvlang-verso","title":null,"description":"MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).","url":"https://mcp.market/server/nvlang-verso","rating":null,"grade":"A","score":92,"certified":false,"status":"active","category":"other","tags":[],"presence":{"score":24,"stars":1,"forks":0,"downloads_week":19,"last_push_at":"2026-09-18T23:55:04.000Z","license":"Apache-2.0"},"uptime":null,"claimed":false,"transport":"pypi","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/nvlang/verso-mcp","website":null,"version":"0.4.2","remotes":[],"packages":[{"registryType":"pypi","identifier":"verso-mcp","version":"0.4.2","transport":{"type":"stdio"},"environmentVariables":[{"description":"Comma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset.","name":"VERSO_MCP_SITES"}]}],"tools":[{"name":"fetch_page","description":"Fetch a page from a Verso documentation site and return it as Markdown.","write_action":false,"price_micros":0,"input_schema":null},{"name":"list_kinds","description":"List the kinds of entries indexed for a Verso site, with counts.","write_action":false,"price_micros":0,"input_schema":null},{"name":"list_sites","description":"List the Verso documentation sites this server is configured to serve.","write_action":false,"price_micros":0,"input_schema":null},{"name":"search","description":"Search a Verso documentation site's cross-reference index by name.","write_action":false,"price_micros":0,"input_schema":null}],"scan":{"score":92,"grade":"A","scanned_at":"2026-09-27T21:28:04.478Z","report":{"scannerVersion":"0.1.9","scannedAt":"2026-09-27T21:28:04.480Z","components":{"code":{"score":25,"max":25,"notes":["6 source files scanned"]},"reliability":{"score":-1,"max":20,"notes":["no gateway calls yet and no remote to probe"]},"poisoning":{"score":-1,"max":15,"notes":["tools not inspected (local package is not executed); not counted"]},"auth":{"score":12,"max":15,"notes":["local package, no credentials required"]},"maintenance":{"score":15,"max":15,"notes":["last push 9 days ago"]},"identity":{"score":8,"max":10,"notes":["registry namespace matches repository owner","GitHub account older than a year"]}},"findings":[],"inputs":{"packages":[{"registryType":"pypi","identifier":"verso-mcp","version":"0.4.2","found":true,"weeklyDownloads":19,"license":"Apache-2.0","dependencyCount":4,"publishedAt":"2026-05-18T03:37:42.452502Z","repositoryUrl":"https://github.com/nvlang/verso-mcp"}],"repo":{"found":true,"owner":"nvlang","repo":"verso-mcp","archived":false,"pushedAt":"2026-09-18T23:55:04Z","stars":1,"forks":0,"openIssues":2,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/60381640?v=4","ownerCreatedAt":"2020-01-28T07:55:22Z","license":"Apache-2.0"},"icon":{"url":null,"source":"none"},"presence":{"stars":1,"forks":0,"downloadsWeek":19,"license":"Apache-2.0","lastPushAt":"2026-09-18T23:55:04.000Z","score":24}}}},"grade_history":[],"reviews":[]}