Leanstral

{
  "id": "labs-leanstral-2603",
  "object": "model",
  "created": 1773619200,
  "owned_by": "mistral",
  "name": "Leanstral",
  "api": {
    "types": [
      "chat"
    ]
  },
  "limits": {
    "context": 262144,
    "input": null,
    "output": null
  },
  "modalities": {
    "input": [
      "text",
      "image"
    ],
    "output": [
      "text"
    ]
  },
  "reasoning": {
    "supported": null,
    "efforts": []
  },
  "pricing": null,
  "features": [
    "tools",
    "structured_output"
  ],
  "info": {
    "status": "retired",
    "release_date": "2026-03-16",
    "knowledge_cutoff": null,
    "description": "Our first open-source code agent designed for Lean 4, built for formal proof engineering in realistic repositories. 119B parameters with 6.5B active.",
    "docs": "https://docs.mistral.ai/models/leanstral-26-03",
    "verified_at": "2026-10-11"
  }
}