<- All Models

Leanstral 1.5

A mid & post-trained version of mistral small 4 for Lean (260618 SFT)

262K context·- in·- out·Jun 2026 release·Vision, Reasoning, Tools / functions

Available on

Providers

Where Leanstral 1.5 runs in Big-AGI, with each service's own model ID and USD-per-1M-token rates. The summary above prefers the creator's claim; rates below are each service's own.

ServiceModel IDContextInputOutput

labs-leanstral-1-5-1

262K

-

-

Specs as reported by each service · usage over the last 2 days · refreshed hourly

Run Leanstral 1.5 in Big-AGI.

Connect your own key on any of the services above, at their rates, no markup - and run it side by side with every other model.

Launch Big-AGI

© 2026 Token Fabrics·Built with passion in San Diego