lean4check

A minimal MCP for Lean 4 development.

Setup

For Claude Code:

claude mcp add lean4check -- uvx lean4check

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

lean4check-0.3.0.tar.gz (5.9 kB view details)

Uploaded Jul 28, 2026 Source

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

Uploaded Jul 28, 2026 Python 3

Details for the file lean4check-0.3.0.tar.gz.

Download URL: lean4check-0.3.0.tar.gz
Upload date: Jul 28, 2026
Size: 5.9 kB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: uv/0.11.9 {"installer":{"name":"uv","version":"0.11.9","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"macOS","version":null,"id":null,"libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":null}

Hashes for lean4check-0.3.0.tar.gz
Algorithm	Hash digest
SHA256	`de38881618ab4e5f2b745711bb16fe08407678b32bde8182ffffc8bea6bed37a`
MD5	`d237d7145421abe8747f7a04a3db2a54`
BLAKE2b-256	`86fb20dc551291804005906a50d5f08cee3c95edd216e4cd62f5155cee21c31c`

Details for the file lean4check-0.3.0-py3-none-any.whl.

Download URL: lean4check-0.3.0-py3-none-any.whl
Upload date: Jul 28, 2026
Size: 6.4 kB
Tags: Python 3
Uploaded using Trusted Publishing? No
Uploaded via: uv/0.11.9 {"installer":{"name":"uv","version":"0.11.9","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"macOS","version":null,"id":null,"libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":null}