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