AGENTRANK
sandraschi/leanforge-mcp
Lean theorem prover MCP: automated proof search, mathlib integration, job management
53
/ 100
Stars
13
Freshness
60
Issue health
50
Contributors
0
Dependents
0