Serveur MCPInconnuregistre MCP
LeanWarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
2 observations
Installation
claude mcp add leanwarp -- uvx leanwarpDomaines & Usages
- Domaines
- Agents, skills et MCP
À vérifier à la source
Compatibilité et prérequis sont à vérifier dans la documentation officielle.
https://github.com/Isagoge-Labs/LeanWarp-SDKClassifications
- Nature
- Outil
Historique des mesures
Les relevés comparables sont regroupés par signal et unité.
Aucun historique comparable n’est disponible.