Skip to main content
ClaudeWave
sandraschi avatar
Owner GitHub

sandraschi

1 repositorios en el ecosistema Claude AI, indexados y rankeados por ClaudeWave.

Ver en GitHub
1 repositorios3 estrellasÚltima actividad today
CategoríasMCP1
sandraschi
leanforge-mcp
today

Lean theorem prover MCP: automated proof search, mathlib integration, job management

30Python
MCP Serversai-assisted-provingalphaproofInstall