Leanstral 1.5

{
  "id": "labs-leanstral-1-5",
  "object": "model",
  "created": 1782777600,
  "owned_by": "mistral",
  "name": "Leanstral 1.5",
  "api": {
    "types": [
      "chat"
    ]
  },
  "limits": {
    "context": 262144,
    "input": null,
    "output": 131072
  },
  "modalities": {
    "input": [
      "text",
      "image"
    ],
    "output": [
      "text"
    ]
  },
  "reasoning": {
    "supported": null,
    "efforts": []
  },
  "pricing": null,
  "features": [
    "tools",
    "structured_output"
  ],
  "info": {
    "status": "retired",
    "release_date": "2026-06-30",
    "knowledge_cutoff": null,
    "description": "An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.",
    "docs": "https://docs.mistral.ai/models/leanstral-1-5",
    "verified_at": "2026-10-11"
  }
}