MCP-ServerUnbekanntMCP-Registry
LeanWarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
Herkunft der Beschreibung: Originalquelle
2 Beobachtungen
Installation
claude mcp add leanwarp -- uvx leanwarpBereiche & Einsatzzwecke
- Bereiche
- Agenten, Skills und MCP
An der Quelle prüfen
Kompatibilität und Voraussetzungen in der offiziellen Dokumentation prüfen.
https://github.com/Isagoge-Labs/LeanWarp-SDKKlassifikationen
- Art
- Werkzeug
Messverlauf
Vergleichbare Messwerte sind nach Signal und Einheit gruppiert.
Kein vergleichbarer Verlauf verfügbar.