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
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.
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.
About
Reviews
Write a reviewNo 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_pagelist_kindslist_sitessearch
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_pageFetch 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_kindsList 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_sitesList 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"}, ...]}
searchSearch 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
- Repository
- github.com/nvlang/verso-mcp
- 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.
Cite this page
Verso MCP server. Agent Mart. https://agentmart.dev/connectors/nvlang-verso (last updated 2026-10-24)