AGENTRANK
CriticalLine/lean-mathlib-docs-mcp
A minimal MCP local server for Lean Mathlib 4 Documentation Search Implemented using Pyt…
48
/ 100
Stars
16
Freshness
43
Issue health
50
Contributors
0
Dependents
0