Loading page

Directory Docs Sign in

verso | MCP Server · MCP.computer

Directory Docs Sign in

Directory/verso

verso

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

Visit publisher

Publisher and curation labels describe the evidence shown below; they do not promise a managed connection.

Connection

No remote MCP endpoint is published for this listing.

Type: Integration
Transport: stdio
Visibility: Public

Published metadata

Publisher: verso
Publisher status: Verified publisher
Curation: Not curated by MCP.computer
Category: Uncategorized

Registry source

No capability manifest has been published for this listing yet.

Give your team approved access without configuring every app separately.

Create a workspace

One governed connection for your company’s tools, models, and knowledge.

ExploreDirectory Platform Catalog updates Company brain Documentation Apps & downloads

WorkspaceOpen workspace Talk to us

CompanyPrivacy Terms Contact

© 2026 MCP.computer