Metadata-Version: 2.4
Name: lean4check
Version: 0.1.0
Summary: MCP server for checking Lean 4 files and providing formatted diagnostics
Author-email: Yichen Xu <yichen.x@outlook.com>
License: MIT
Keywords: lean,lean4,mcp,type-checking,theorem-proving
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.13
Classifier: Topic :: Software Development :: Compilers
Requires-Python: >=3.13
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: ipython>=9.6.0
Requires-Dist: mcp[cli]>=1.2.0
Dynamic: license-file

# lean4check

A minimal MCP for Lean 4 development.
