1 repositories in the Claude AI ecosystem, indexed and ranked by ClaudeWave.
Lean theorem prover MCP: automated proof search, mathlib integration, job management
