Servers by nvlang

Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold. Every figure on a card is counted from this marketplace's own rows.

Browse stacks Start publishing

Filters

Verified publishers only Has a free tier No local install needed Answers through mcprush Tools listed Only what I saved 0 Already in one of my lists

Pricing model

Free1

1 MCP server

Scanned where there is a package or repository to read — the grade is on each server's page

Learning & DocumentationWorks with Devin DesktopBy nvlang

Verso

nvlang·Learning & Documentation

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

4 tools

Free

Compare

tick one more

Side-by-side

mcprush

Find MCP servers and skills for your AI apps. Publish your own tools and reach people who need them.

For customers

MCP Servers
Agent skills
Stacks
Pricing
Trust & scanning

For publishers

Publish a tool
Publisher fees
MCP hosting
Why us?
Developer Guide

Developers

MCP endpoint
CLI reference
Gateway API
Top 50 MCP
Affiliate program

Company

Blog
About
For Investors
Careers
Contact