Leanstral 1.5

Leanstral 1.5

Mistral AI
World ID

World ID

World Foundation
+
+

Related Products

  • TrustInSoft Analyzer
    6 Ratings
    Visit Website
  • Gemini Enterprise Agent Platform
    1,161 Ratings
    Visit Website
  • LTX
    182 Ratings
    Visit Website
  • Virtuoso QA
    131 Ratings
    Visit Website
  • Member365
    48 Ratings
    Visit Website
  • Detrack
    149 Ratings
    Visit Website
  • Epicor Connected Process Control
    4 Ratings
    Visit Website
  • Google AI Studio
    41 Ratings
    Visit Website
  • LM-Kit.NET
    29 Ratings
    Visit Website
  • Breathe
    655 Ratings
    Visit Website

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

World ID is a privacy-preserving protocol that lets people prove facts about themselves online without sharing unrelated personal information. The World ID app lets users claim, manage, and present cryptographic proofs, including Proof of Human, Proof of Presence, and Proof of Attributes such as age or nationality. Proof of Human is obtained through Orb verification, while other proofs can be claimed through supported verification methods. People use World ID with participating apps and services for human verification and access checks. Developers can integrate World ID into web, mobile, and decentralized applications to help limit bots and duplicate accounts and verify human participation. The protocol is open source, and available proofs, integrations, and verification methods vary by location and implementation.

Platforms Supported

Windows Not Supported
Mac Not Supported
Linux Not Supported
Cloud Supported
On-Premises Not Supported
iPhone Not Supported
iPad Not Supported
Android Not Supported
Chromebook Not Supported

Platforms Supported

Windows Not Supported
Mac Not Supported
Linux Not Supported
Cloud Supported
On-Premises Not Supported
iPhone Supported
iPad Not Supported
Android Supported
Chromebook Not Supported

Audience

Engineers and researchers who need an open model for theorem proving, proof debugging, and real-world code verification

Audience

Individuals seeking privacy-preserving proof of humanity, and developers and digital platforms integrating identity or age checks, bot prevention, duplicate-account prevention, and person-specific access into websites, apps, smart contracts, and online services.

Support

Phone Support Not Supported
24/7 Live Support Not Supported
Online Supported

Support

Phone Support Not Supported
24/7 Live Support Not Supported
Online Supported

API

Offers API Supported

API

Offers API Supported

Screenshots and Videos

Screenshots and Videos

Pricing

Free
Free Version Supported
Free Trial Not Supported

Pricing

World ID use is free for end users. The announced fee model expects applications to pay protocol and credential fees in WLD; fee components may depend on the credential issuer and protocol fee policy.
Free Version Supported
Free Trial Not Supported

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Training

Documentation Supported
Webinars Not Supported
Live Online Not Supported
In Person Not Supported

Training

Documentation Supported
Webinars Not Supported
Live Online Not Supported
In Person Not Supported

Company Information

Mistral AI
Founded: 2023
France
mistral.ai/news/leanstral-1-5/

Company Information

World Foundation
Founded: 2022
Cayman Islands
world.org/world-id

Alternatives

Leanstral

Leanstral

Mistral AI

Alternatives

SOURCE.ID

SOURCE.ID

Desmo Labs
IAP Network

IAP Network

Information Assurance Platform
Olmo 3

Olmo 3

Ai2
Theorem

Theorem

Theorem Technologies

Categories

AI Models Supported

Categories

Integrations

Browserbase Not Supported
Exa Not Supported
Vercel Not Supported
Zoom Not Supported

Integrations

Browserbase Supported
Exa Supported
Vercel Supported
Zoom Supported
Claim Leanstral 1.5 and update features and information
Claim Leanstral 1.5 and update features and information
Claim World ID and update features and information
Claim World ID and update features and information