🧩

Lean MCP Toolkit

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

$7.19

General python Verified 5/5

lean-mcp-toolkit is a unified Lean tool server that exposes one configurable

generalpythonleantoolkit

Install

uvx lean-mcp-toolkit

Sentinel: 5/5 — Verified

Language: python

Category: General

Slug: lean-mcp-toolkit

Docker: ✗ No

Verified: ✓ Yes

Price: $7.19

Secure checkout · Instant delivery

Embed this badge in your README

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