Home Other lean-mcp Tools LM lean-mcp by krystianycsilvaio.github.krystianycsilva/lean-mcpv0.1.1 1.6 ยท 31/100How the score works Runs on your machine No known advisories MIT OverviewToolsSecurityAlternatives We have not seen this server list its tools yet.