1. Conduid
  2. Documentation
  3. io.github.nvlang/verso
MCP server · Documentation

io.github.nvlang/verso

· github.com/nvlang/verso-mcp

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

Unclaimed docs
InstallView source
37Low

Scored 3 months ago · breakdown

About io.github.nvlang/verso

io.github.nvlang/verso is an MCP server in the Documentation category: mCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference). It has been installed 0 times through Conduid.

Install

uvx
uvx verso-mcp
pip
pip install verso-mcp

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about io.github.nvlang/verso

Powered by Claude · Grounded in docs

I know everything about io.github.nvlang/verso. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

  • ·README presentNot checked yet.
  • ·License declaredNot checked yet.
  • ·Tests presentNot checked yet.
  • ·Dependencies pinnedNot checked yet.
  • ·No dynamic code executionNot checked yet.
  • ·Scoped permissionsNot checked yet.
Questions

About io.github.nvlang/verso

How do I install io.github.nvlang/verso?

Run uvx verso-mcp, then add the server to your MCP client's configuration. Conduid has recorded 0 installs, so the command is known to work with current clients.

Is io.github.nvlang/verso safe to use with an AI agent?

Its trust score is 37 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is io.github.nvlang/verso still maintained?

Conduid hasn't recorded a commit date for this repository yet. Check the repository directly for recent activity.