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