https://leanmodels.ai/https://leanmodels.ai/benchmarks/https://leanmodels.ai/docs/https://leanmodels.ai/docs/aider/https://leanmodels.ai/docs/api/https://leanmodels.ai/docs/cli/https://leanmodels.ai/docs/quick-start/https://leanmodels.ai/models/https://leanmodels.ai/models/lean-agent-cruiser/https://leanmodels.ai/models/lean-agent-light/https://leanmodels.ai/models/lean-agent-middle/https://leanmodels.ai/models/lean-coder-welter/https://leanmodels.ai/models/lean-reason-heavy/https://leanmodels.ai/models/lean-think-heavy/https://leanmodels.ai/pricing/