# verso-mcp

> verso-mcp — nvlang-verso-mcp. Use this tool when you need to integrate AI agents with documentation built using Verso, to enable search and retrieval of specific pages or information from configured documentation sites. It solves problems of information discovery and access by providing a programmatic interface for AI agents to interact with documentation. The tool accepts search queries and page requests as inputs and returns relevant documentation pages or information as output.

Canonical page: https://skillsregistry.net/skills/nvlang-verso-mcp  
JSON: https://api.skillsregistry.net/v1/skills/nvlang-verso-mcp

## Description

An MCP server that lets AI agents search and read documentation built with Verso, Lean's documentation authoring tool, by providing tools like search and fetch_page over configured documentation sites.

## Trust

- **Trust score (0–1):** 0.69
- **Verification tier:** scanned
- **Last scanned:** 2026-08-29

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** ai-ml
- **Updated:** 2026-08-29

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/z5f4ejnuiy)
- **Repository:** <https://github.com/nvlang/verso-mcp>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "nvlang-verso-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/nvlang-verso-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/nvlang-verso-mcp/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt