Who should use verso-mcp?

verso-mcp is an open-source project built for documentation site maintainers and developers.

Does verso-mcp have a free plan?

Yes — verso-mcp is open source under the Apache-2.0 license and free to use.

What platforms does verso-mcp run on?

verso-mcp runs on the web and the command line.

Is verso-mcp still active?

The GitHub repository shows 53 commits in the last 90 days.

What are alternatives to verso-mcp?

Similar projects tracked by PulseGate include voog-mcp, vectorise-mcp, and scoutdocs-mcp.

Who develops verso-mcp?

verso-mcp is developed by nvlang.

When did verso-mcp launch?

verso-mcp first shipped in 2026.

Back to the index

verso-mcp

Name: verso-mcp
Author: nvlang

github.comInfrastructure

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.

Open SourceApache-2.0WebCLI

Visit github.com

1star

5features

2026since

Overview

5 features

verso-mcp is an Other infrastructure project. It focuses on serving and managing documentation sites generated by Verso using the Model Context Protocol. verso-mcp is an open-source project aimed at documentation site maintainers and developers. The project is open source (Apache-2.0). It ships for the web and the command line.

nvlang builds and maintains verso-mcp, and it first shipped in 2026. The project is developed in the open on GitHub with 53 commits in the last 90 days. Key capabilities include MCP server, documentation site support, and lean language integration. It exposes integrations via an MCP server.

Summary written by a language model from the project’s public pages.

MCP server
Documentation site support
Lean language integration
Model Context Protocol
Verso compatibility

Built with & integrations

Connectors

MCP

Runs on

BrowserCLI

Trust & compliance

License

Apache-2.0

Verified signals

HTTPSOpen SourceFree tierGitHub · ★ 1Active maintenance

Indexing history

What PulseGate has recorded for this listing

Indexed25 Jun · 17:05 UTC
Listing verified against its public source
Source: PulseGate · Open

Frequently asked questions about verso-mcp

What is verso-mcp?: Verso-mcp focuses on serving and managing documentation sites generated by Verso using the Model Context Protocol. It is catalogued under Other infrastructure on PulseGate.
Who should use verso-mcp?: verso-mcp is an open-source project built for documentation site maintainers and developers.
Does verso-mcp have a free plan?: Yes — verso-mcp is open source under the Apache-2.0 license and free to use.
What platforms does verso-mcp run on?: verso-mcp runs on the web and the command line.
Is verso-mcp still active?: The GitHub repository shows 53 commits in the last 90 days.
What are alternatives to verso-mcp?: Similar projects tracked by PulseGate include voog-mcp, vectorise-mcp, and scoutdocs-mcp.voog-mcp vectorise-mcp scoutdocs-mcp
Who develops verso-mcp?: verso-mcp is developed by nvlang.
When did verso-mcp launch?: verso-mcp first shipped in 2026.

At a glance

Platforms: CLI
Languages: English
Open source: Yes · ★ 1
License: Apache-2.0
Built for: documentation site maintainers and developers
Model: Open source
Solves: Serving and managing documentation sites generated by Verso using the Model Context Protocol.

Registered as

GitHub: nvlang/verso-mcp
PyPI: verso-mcp

Developer

nvlang

Small team

GitHub

Open source

View on GitHub

Stars: 1
Forks: 0
Open issues: 1
Last commit: 23 Jun 2026
Commits 90d: 53
Contributors: 2
Authorship: Small team
Default branch: main
Latest release: v0.4.2 · 18 May 2026

Index record

Indexed: 25 Jun 2026
Lifecycle: Alive
Last seen: 25 Jun 2026

Identity audit (12)

Slug: verso-mcp-pypi-org
Lifecycle last checked: 8 Aug 2026
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 25 Jun 2026
Timeline basis: Indexed-at chronology. This listing's first-seen date was written by the catalog backfill, not observed here, so it is not treated as a sighting.
Name from: Written by a language model from the project's public pages.
Category from: Assigned by a language model.
Summary from: Written by a language model from public pages.
Languages from: Detected by a language model from page content.
Canonical URL: https://github.com/nvlang/verso-mcp

Ship this? Send a correction — no account, and you get a link to follow it.

Similar projects

Closest matches by what these projects do