mathlib MCP servers

1 tagged mathlib, measured the same way as everything else here.

leanforge-mcp

01

sandraschi/leanforge-mcp

MCP server Claude CodeCodexCursor

MCP server "leanforge-mcp" as configured in sandraschi/leanforge-mcp. Launched with https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-m.

not rated 0 3d ago A tokens not measured original MIT