nvlang/verso-mcp

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

Latest release v0.4.2 · 18 May 2026

1 file for Codex and OpenCode: verso-mcp AGENTS.md — 2,795 tokens loaded in every session.

Open on GitHub

1Stars on the repository

1Files it configures its agents with

2,795Tokens loaded in every session

2Agents configured

Instructions

verso-mcp AGENTS.md AGENTS.md A 2,795 tok

These files are nvlang/verso-mcp's own configuration — they tell Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.