🧩

Lean Tools MCP

Open-source skill, curated and packaged by MarketNow. Original authors retain all rights.

$10.48

General python Verified 5/5

Lean Tools MCP is a Lean 4 MCP server focused on two engineering goals:

generalpythonleantools

Install

uvx lean-tools-mcp

Sentinel: 5/5 — Verified

Language: python

Category: General

Slug: lean-tools-mcp

Docker: ✗ No

Verified: ✓ Yes

Price: $10.48

Secure checkout · Instant delivery

Embed this badge in your README

[![Sentinel 5/5](https://marketnow.site/badge/lean-tools-mcp.svg)](https://marketnow.site/skill/lean-tools-mcp)