📦
Lean4 MCP
A lightweight MCP (Model Context Protocol) server that proxies between AI agents and the Lean 4 language server.
0 installs
Trust: 34 — Low
Ai
Ask AI about Lean4 MCP
Powered by Claude · Grounded in docs
I know everything about Lean4 MCP. Ask me about installation, configuration, usage, or troubleshooting.
0/500
Loading tools...
Reviews
Documentation
No README available