Servers by sandraschi

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, graded from its tool list where there is only an address — the grade is on each server's page

Developer Tools & ReposWorks with Claude CodeBy sandraschi

Leanforge

sandraschi·Developer Tools & Repos

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

10 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