MCPquality 0.30
LeanWarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
Price
free
Protocol
mcp
Verified
no
Endpoint
mcp://anthropic_mcp/io.github.Isagoge-Labs%2Fleanwarp
Capabilities
mcptransport-stdio
Server
URLmcp://anthropic_mcp/io.github.Isagoge-Labs%2Fleanwarp
Transportstdio
Protocolmcp
Quality
0.30/ 1.00
deterministic score 0.30 from registry signals: · indexed on anthropic_mcp
Provenance
Indexed fromanthropic_mcp
Enriched2026-11-07 05:24:53Z · deterministic:mcp:v1 · v1
First seen2026-11-06
Last seen2026-11-07