PyPI recent updates for lean4check https://pypi.org/project/lean4check/ Recent updates to the Python Package Index for lean4check en 0.2.0 https://pypi.org/project/lean4check/0.2.0/ MCP server for checking Lean 4 files and providing formatted diagnostics yichen.x@outlook.com Tue, 10 Mar 2026 20:48:31 GMT 0.1.1 https://pypi.org/project/lean4check/0.1.1/ MCP server for checking Lean 4 files and providing formatted diagnostics yichen.x@outlook.com Sun, 16 Nov 2025 15:19:38 GMT 0.1.0 https://pypi.org/project/lean4check/0.1.0/ MCP server for checking Lean 4 files and providing formatted diagnostics yichen.x@outlook.com Fri, 14 Nov 2025 00:47:42 GMT