Server MCPSconosciutoregistro MCP
LeanWarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
Provenienza della descrizione: Fonte originale
2 osservazioni
Installazione
claude mcp add leanwarp -- uvx leanwarpDomini & Utilizzi
- Domini
- Agenti, skill e MCP
Verifica alla fonte
Verifica compatibilità e requisiti nella documentazione ufficiale.
https://github.com/Isagoge-Labs/LeanWarp-SDKClassificazioni
- Natura
- Strumento
Storico delle misure
Le letture confrontabili sono raggruppate per segnale e unità.
Non è disponibile uno storico confrontabile.