verso-mcp is an open-source MCP server designed for Verso-generated documentation sites, such as the Lean Language Reference. It enables integration with the Model Context Protocol, supporting advanced documentation workflows for developers and technical writers.
verso-mcp is an Other infrastructure product. It focuses on serving and managing documentation sites generated by Verso using the Model Context Protocol. It is built as an open-source project for documentation site maintainers and developers. verso-mcp is open source under the Apache-2.0 license. verso-mcp is available on the web and the command line.
nvlang builds and maintains verso-mcp, and the product first shipped in 2026. Development happens publicly on GitHub with 53 commits in the last 90 days. PulseGate's similarity index finds few close equivalents — verso-mcp occupies a relatively distinct niche. Key capabilities include MCP server, documentation site support, and lean language integration. It exposes integrations via an MCP server.
Latest indexed changes and source events
Other apps tracked under the same category.
