Home Model and agent tools Lean Reader Tools LR Lean Reader by AIMentoio.github.AIMento/lean-readerv0.1.0 1.8 ยท 36/100How the score works Runs on your machine No known advisories MIT OverviewToolsSecurityAlternatives We have not seen this server list its tools yet.