MCP serverUnknownMCP registry
LeanWarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
Description provenance: Original source
2 observations
Installation
claude mcp add leanwarp -- uvx leanwarpDomains & Uses
- Domains
- Agents, skills and MCP
Check at the source
Compatibility and prerequisites must be checked in the official documentation.
https://github.com/Isagoge-Labs/LeanWarp-SDKClassifications
- Nature
- Tool
Measurement history
Comparable readings are grouped by signal and unit.
No comparable history is available.