MCP server for checking Lean 4 files and providing formatted diagnostics
Project description
lean4check
A minimal MCP for Lean 4 development.
Setup
For Claude Code:
claude mcp add lean4check -- uvx lean4check
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
lean4check-0.1.1.tar.gz
(5.8 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file lean4check-0.1.1.tar.gz.
File metadata
- Download URL: lean4check-0.1.1.tar.gz
- Upload date:
- Size: 5.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: uv/0.8.23
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
7e486bcd128e3a2a005c851b0d73a93448b96ad8af35a0c45723c8fd8d036aee
|
|
| MD5 |
59adbd479644a3ca26b1b6527ad85e03
|
|
| BLAKE2b-256 |
a5d46f0b140bef62860f2a70e53883f51eb446ac17b7f74447d6445eade273fe
|
File details
Details for the file lean4check-0.1.1-py3-none-any.whl.
File metadata
- Download URL: lean4check-0.1.1-py3-none-any.whl
- Upload date:
- Size: 6.2 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: uv/0.8.23
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
2473eea58bbfec264e49a273235622f43128b45a93c2c2d044ae8c67101a555b
|
|
| MD5 |
1ff5429b94bddd4da169983fbe3bbeaa
|
|
| BLAKE2b-256 |
df89313e4bbc9f435a6f50faf66bcd751553c86c0271e502111bbf8b6d181602
|
