Home Coding agent tools LeanToken Tools LE LeanToken by morlutoio.github.morluto/leantokenv0.1.28 No known advisories OverviewToolsSecurityAlternatives We have not seen this server list its tools yet.