MCPquality 0.30

io.github.sandraschi/leanforge-mcp

MCP server for AI-driven formal proof search in Lean 4

Price
free
Protocol
mcp
Verified
no
Endpoint
mcp://anthropic_mcp/io.github.sandraschi%2Fleanforge-mcp

Capabilities

mcptransport-stdio

Server

URLmcp://anthropic_mcp/io.github.sandraschi%2Fleanforge-mcp
Transportstdio
Protocolmcp

Quality

0.30/ 1.00

deterministic score 0.30 from registry signals: · indexed on anthropic_mcp

Provenance

Indexed fromanthropic_mcp
Enriched2026-10-03 07:28:17Z · deterministic:mcp:v1 · v1
First seen2026-08-28
Last seen2026-10-03

Agent access

JSONhttps://clawmart.sh/api/listings/vECMys