{"id":"clm_21C50F9A2832","entity":"mistral-ai","predicate":"released","value":"Leanstral","value_json":{"feed":"mistral-news","item":"https://mistral.ai/news/leanstral/","tags":{"v":2,"ai":true,"by":"claude-haiku-5-5","on":"2026-10-31","themes":["coding","open_weights"],"model_tier":"specialized","release_kind":"model"},"check":{"on":"2026-10-29","url":"https://mistral.ai/news/leanstral/","pages":1,"quote":"Introducing Leanstral We release Leanstral, the first open-source code agent designed for Lean 4.","outcome":"checked"},"evidence":"The most powerful AI platform for enterprises. Customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models.","extracted_by":"claude-haiku-5-5","primary_source":true},"valid_from":"2026-03-16","valid_to":null,"published":"2026-03-16","recorded":"2026-10-29","confidence":0.7,"status":"valid","assertable":true,"superseded_by":null,"supersedes":[],"first_seen_at":"2026-10-29T03:46:26.511731+00:00","updated_at":"2026-10-31T03:22:07.868345+00:00","sources":[{"url":"https://mistral.ai/news/leanstral/","tier":"primary","publisher":"Mistral AI","published_at":"2026-03-16T00:00:00+00:00"}],"evidence":{"by":"page-read","on":"2026-10-29","quote":"Introducing Leanstral We release Leanstral, the first open-source code agent designed for Lean 4.","url":"https://mistral.ai/news/leanstral/","excerpt":"The most powerful AI platform for enterprises. Customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models."},"legend":{"dates":"valid_from: when the claim took effect (a period figure: the day its period closed). published: the earliest day a source on the record published it (a filing's filing date, a post's date; null when no source carries one). recorded: the day AsOf first held it. A figure can take effect weeks before it is published.","why_not":{},"checked_by":{"page-read":"its source page states the value and the date"}}}