2Mistral.ai Leanstral: open-source model designed for engineering (opens in new tab)(docs.mistral.ai)5james2doyle1mo ago3