AGENTRANK
oOo0oOo/lean-lsp-mcp
Lean Theorem Prover MCP
91
/ 100
Stars
74
Freshness
58
Issue health
88
Contributors
83
Dependents
0