رسالة من CoinWorld، تبلغ تكلفة حل كل مسألة في نموذج Leanstral 1.5 مفتوح المصدر من Mistral حوالي 4 دولارات أمريكية، ويبلغ إجمالي عدد معلمات النموذج 119 مليارًا، مع حوالي 6.5 مليار معلمة نشطة، ويعتمد بروتوكول Apache-2.0، ويوفر واجهة برمجة تطبيقات مجانية. تظهر التقييمات الرسمية أن Leanstral 1.5 حل 587 مسألة من أصل 672 مسألة في Putnambench، وبلغت نسبته 87% و34% على معياري الجبر التجريدي Fate-H وFate-X على التوالي، محققًا أفضل أداء بين النماذج المماثلة. بالإضافة إلى ذلك، تم استخدام Leanstral 1.5 للتحقق من الكود، حيث اكتشف الفريق 11 خللاً حقيقيًا في 57 مستودعًا مفتوح المصدر لـ Rust، منها 5 لم يتم الإبلاغ عنها من قبل.