Top pickExplore repositories, review pull requests, and bring your codebase into the conversation.
VE
verso
Published by nvlangMCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
- CATEGORY
- Developer tools
- DEPLOYMENT
- Local package
- LATEST SOURCE VERSION
- 0.4.2
- SOURCE CHECKED
- Sep 4, 2026
Published packages
pypi · verso-mcp@0.4.2Keep exploring.
Top pick
Top pickUp-to-date library documentation and code examples, right inside your coding workflow.
FA
Dedicated IDE Edition. Persistent project context for Cursor, Windsurf, Cline, VS Code.