{
  "api_version": "1",
  "updated": "2026-10-19",
  "latest_event": "2026-10-18",
  "rights": "© Frontier Log, all rights reserved.",
  "event": {
    "slug": "2026-03-16-leanstral",
    "date": "2026-03-16",
    "lab": "mistral",
    "kind": "model",
    "importance": "minor",
    "title": "Leanstral",
    "detail": "Open-source code agent for the Lean 4 proof assistant, with 6B active parameters and weights under Apache 2.0.",
    "tags": [
      "open-weights",
      "coding"
    ],
    "related": [],
    "source": "https://mistral.ai/news/leanstral/",
    "source_title": "Leanstral: Open-Source foundation for trustworthy vibe-coding",
    "source_archived": null,
    "source_http_status": null,
    "followups": [],
    "url": "https://frontierlog.ai/event/2026-03-16-leanstral",
    "image": "https://frontierlog.ai/og/2026-03-16-leanstral.png"
  }
}