🧩

Rust Lean MCP

$10.01

General rust Verified 4/5

A high-performance Rust implementation of lean-lsp-mcp — a Model Context Protocol (MCP) server that bridges Lean 4's

generalrustlean

Install

# See README

Sentinel: 4/5 — Verified

Language: rust

Category: General

Slug: rust-lean-mcp

Docker: ✗ No

Verified: ✓ Yes

Price: $10.01

Secure checkout · Instant delivery

Embed this badge in your README

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