Skip to content
Agentmart
Submit a tool

Verso

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

Connector by nvlang · GitHub account verified by the MCP Registry

IndexedApache-2.0Local (stdio)★ 1
Write a review

Chalk Labs

Need help deploying Verso?

Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.

Book a call

Install

Works with Claude Code, Codex, VS Code, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.

npx agentmarket install connector/nvlang-verso

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

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

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list and install config. Checked Oct 25, 2026.

Tools
4 read · 0 write · 0 deleteRead-only
Secrets
None asked for
Install scripts
Not scanned yet
Runs as
Python package

Tools by what they do 4

Read from the source code; the running server may list different tools.

Read 4 · Look things up without changing anything.

  • fetch_page
  • list_kinds
  • list_sites
  • search

Secrets and settings it asks for

Other settings (environment variables or headers).

  • VERSO_MCP_SITES

Tools (4)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

  • fetch_page

    Fetch a page from a Verso documentation site and return it as Markdown. Converts the site's HTML to Markdown. With an `#anchor`, only that single entry/section is returned (not the whole chapter). A *relative* path is resolved against `site`; an *absolute* URL is accepted only if it falls under a configured site root. Plain http://, off-site URLs, and path-traversal segments are rejected. Read-only. Args: url_or_path: absolute URL on a configured site, or a site-relative path. May include an "#anchor" (e.g. ".../Tactic-Reference/#induction"). site: site to resolve a *relative…

  • list_kinds

    List the kinds of entries indexed for a Verso site, with counts. Kinds are derived from the site's cross-reference index — they vary per site (a language reference has tactics and options; a textbook has sections and terms). Use the returned `kind` values to filter `search`. Read-only. Args: site: which configured site (alias from `list_sites`); omit for the default. response_format: "markdown" (default) or "json". Returns: markdown: a table of `kind`, count, and human-readable description. json: {"site": str, "root": str, "total_entries": int, "kinds": [{"kind","…

  • list_sites

    List the Verso documentation sites this server is configured to serve. Each site has an `alias` — pass it as the `site` argument to `search`, `list_kinds`, or `fetch_page` to target that site. Sites are configured via the `VERSO_MCP_SITES` environment variable. Read-only. Args: response_format: "markdown" (default) or "json". Returns: markdown: one line per site (alias, default marker, root URL). json: {"default": str, "sites": [{"alias","root","indexed"}, ...]}

  • search

    Search a Verso documentation site's cross-reference index by name. Matches entry names and display names (not free text inside pages — use `fetch_page` to read a page). Results are ranked by match quality and paginated. Read-only. Args: query: free-text query matched against canonical and user-facing names. site: which configured site (alias from `list_sites`); omit for the default. kind: optional kind filter — one of the values from `list_kinds`. limit: maximum results per page, 1-100 (default 20). offset: number of results to skip, for pagination (default 0). respon…

Signals

Stars
1
Forks
0
Open issues
0
Weekly downloads
29
Last commit
Oct 19, 2026 (11 days ago)
Last release
May 18, 2026 (5 months ago)
Last package publish
May 18, 2026 (5 months ago)

From GitHub (fetched Oct 24, 2026) and the package registry.

Details

Registry name
io.github.nvlang/verso
Version
0.4.2
Auth
No auth
Packages
pypi verso-mcp
License
Apache-2.0
First seen
Oct 24, 2026
Last checked
Oct 24, 2026

Done for you

Rather not set it up yourself?

Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.

See how we build AI agents →Read the case studies

Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.

launches shipped
50+
launches shipped
media placements
500+
media placements
founders on every account
2
founders on every account

Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block

Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.

Get Verso running in your business

Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.

Goes to the Chalk Labs founders, not the newsletter. Privacy

Need help deploying Verso?

CallGet help
Cite this page

Verso MCP server. Agent Mart. https://agentmart.dev/connectors/nvlang-verso (last updated 2026-10-24)