{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreieiirokha7vudbeylgy2ja4jnfdbv4dpdaajbw6j45xjft4ywx2aa",
    "uri": "at://did:plc:bbwgwecw2vdijmj42eealwtt/app.bsky.feed.post/3mptz4o7mlbd2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreihk3sxfwu66hnnewza3gjjyrad7efsb45mjtbmoncfcvwbacrtmty"
    },
    "mimeType": "image/webp",
    "size": 73966
  },
  "path": "/mistral-releases-leanstral-1-5-open-model-for-proof-engineering/",
  "publishedAt": "2026-07-04T12:52:08.000Z",
  "site": "https://www.testingcatalog.com",
  "tags": [
    "Mistral",
    "Latest AI News",
    "AI Announcements"
  ],
  "textContent": "Mistral AI introduces Leanstral 1.5, an open-source code agent for Lean 4 formal proof engineering, now available via Labs API and Hugging Face.",
  "title": "Mistral releases Leanstral 1.5 open model for proof engineering"
}