Home Model and agent tools mcp-lean Tools ML mcp-lean by andresleecomio.github.andresleecom/mcp-leanv0.1.0 1.5 ยท 30/100How the score works Runs on your machine No known advisories MIT OverviewToolsSecurityAlternatives We have not seen this server list its tools yet.