1. Conduid
  2. Marketplace
  3. #lean
Tag

MCP servers tagged lean

4 live MCP servers tagged "lean", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with lean.

4
live servers
46
avg trust
2.7K
most stars
1

Yc Killer

sahibzada-allahyar

A library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups. If you are…

★ 2.7Kupdated 7 months ago
81
2

Lean Proof Auto MCP

An MCP server for deterministic probing and search of Lean 4 proof automation (Aesop / Grind).

34
3

Lean Mathlib Docs MCP

A minimal MCP local server for Lean Mathlib 4 Documentation Search Implemented using Python

34
4

Picamd

Native macOS Markdown editor for the Claude era. Live preview, multi-provider AI, built-in Claude Code MCP server.

34
← Previous Page 1 of 1 Next →