Claim listing
RIvance/lean4-mcp
A lightweight MCP (Model Context Protocol) server that proxies between AI agents and the Lean 4 language server.
Claim your listing to add a tagline, logo, and category. Verified maintainers get a Verified Publisher badge and priority placement on the AgentRank index.
Leave your email to claim this listing. GitHub verification coming soon.