Claim listing
dududuguo/lean-local-search-mcp
MCP server for fast local Lean and Mathlib theorem search with tree-sitter indexing and proof probes
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.