Leanstral 1.5Mistral AI
|
Vesta Control PanelVesta
|
|||||
Related Products
|
||||||
About
Leanstral 1.5 is an Apache-2.0 licensed model for practical proof engineering in Lean 4, built to make formal verification more powerful and accessible. With 119B total parameters and only 6B active parameters, it delivers a major performance upgrade for theorem proving, agentic proof engineering, and real-world code verification. Leanstral 1.5 was trained through a three-stage process: mid-training, supervised fine-tuning, and reinforcement learning with CISPO. In the multiturn environment, the model receives a theorem statement, submits a proof, gets Lean compiler feedback, and refines its approach until the proof compiles or the budget is exhausted. In the code agent environment, Leanstral works like a developer in a raw filesystem: it edits files, runs bash commands, and uses the Lean language server to inspect goals, errors, and type information in real time.
|
About
Vesta core is written in bash. It is native programming language of linux server administrators. They see dreams in bash, thats why vesta grows so fast. Server admins are those people who know how to fix problems and how server inner structure should look like. Bash and gpl allows Vesta to fix problems and implement new features very fast. Built in firewall resolves all common issues. It’s packed with enterprise-class features. For example it comes with smart filters for various services (apache, exim, ssh, etc) in order to ban any host IP address that makes too many login attempts. You can manage backups the way you want to. You can exclude some files or directories or specific account or even domain. Number of copies or backup frequency can be easily changed. By default you get 3 backups created by cron job at night.
|
|||||
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
|||||
Audience
Engineers and researchers who need an open model for theorem proving, proof debugging, and real-world code verification
|
Audience
IT teams looking for a Control Panel solution
|
|||||
Support
Phone Support
24/7 Live Support
Online
|
Support
Phone Support
24/7 Live Support
Online
|
|||||
API
Offers API
|
API
Offers API
|
|||||
Screenshots and Videos |
Screenshots and Videos |
|||||
Pricing
Free
Free Version
Free Trial
|
Pricing
$3 per month
Free Version
Free Trial
|
|||||
Reviews/
|
Reviews/
|
|||||
Training
Documentation
Webinars
Live Online
In Person
|
Training
Documentation
Webinars
Live Online
In Person
|
|||||
Company InformationMistral AI
Founded: 2023
France
mistral.ai/news/leanstral-1-5/
|
Company InformationVesta
vestacp.com
|
|||||
Alternatives |
Alternatives |
|||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
|
|||||
Categories |
Categories |
|||||
Integrations
Amazon EC2
Kamatera
MySQL
PostgreSQL
Site.pro
SkySilk
Softaculous
|
Integrations
Amazon EC2
Kamatera
MySQL
PostgreSQL
Site.pro
SkySilk
Softaculous
|
|||||
|
|
|