AGENTRANK
oOo0oOo/lean-lsp-mcp
Lean Theorem Prover MCP
84
/ 100
Stars
73
Freshness
64
Issue health
93
Contributors
83
Dependents
0