AGENTRANK
dududuguo/lean-local-search-mcp
MCP server for fast local Lean and Mathlib theorem search with tree-sitter indexing and …
31
/ 100
Stars
8
Freshness
27
Issue health
50
Contributors
0
Dependents
0