{"schema_version":"onlylabs.public_signal.v1","title":"Mistral AI Model: mistralai/Leanstral-1.5-119B-A6B","description":"Mistral AI model signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/7da27923-1861-4d75-beb2-7b0d19fa4b00","json_url":"https://onlylabs.fyi/signals/7da27923-1861-4d75-beb2-7b0d19fa4b00/signal.json","generated_at":"2026-07-26T18:47:07.018Z","evidence_latest_fetched_at":"2026-07-04T07:20:22.596766+00:00","signal_first_seen_at":"2026-07-04T07:20:09.030634+00:00","org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab","category_label":"Frontier lab","dossier_url":"https://onlylabs.fyi/labs/mistral","dossier_json_url":"https://onlylabs.fyi/labs/mistral/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/7da27923-1861-4d75-beb2-7b0d19fa4b00","signal_json":"https://onlylabs.fyi/signals/7da27923-1861-4d75-beb2-7b0d19fa4b00/signal.json","source":"https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B","lab_dossier":"https://onlylabs.fyi/labs/mistral","lab_dossier_json":"https://onlylabs.fyi/labs/mistral/dossier.json","analysis":"https://onlylabs.fyi/analysis/mistral","analysis_json":"https://onlylabs.fyi/analysis/mistral/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/mistral/evidence.json","category":"https://onlylabs.fyi/frontier","category_json":"https://onlylabs.fyi/frontier.json","category_feed":"https://onlylabs.fyi/frontier/feed.xml","category_signals_json":"https://onlylabs.fyi/signals.json","topic":"https://onlylabs.fyi/topics/releases","topic_signals_json":"https://onlylabs.fyi/topics/releases/signals.json","topic_feed":"https://onlylabs.fyi/topics/releases/feed.xml","data_business":null},"answer_pack":{"answer":"Mistral AI published mistralai/Leanstral-1.5-119B-A6B. This model signal is evidence of what shipped on model infrastructure and how the release is positioned. High-signal details: license apache-2.0 · 531 HF downloads · Negligible traction (4 downloads), not a major release.. onlylabs links this event to 1 captured evidence page and 6 related model signals.","signal_desk":"releases","source_context":{"source_url":"https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B","source_host":"huggingface.co","occurred_at":"2026-07-01T16:43:19+00:00","first_seen_at":"2026-07-04T07:20:09.030634+00:00","date_source":"source","context":null},"context_markers":[{"label":"Lab","value":"Mistral AI","source":"signal"},{"label":"Signal desk","value":"releases","source":"signal"},{"label":"Source host","value":"huggingface.co","source":"source"},{"label":"License","value":"apache-2.0","source":"model"},{"label":"Library","value":"vllm","source":"model"},{"label":"Downloads","value":"531","source":"traction"},{"label":"Likes","value":"208","source":"traction"},{"label":"Notability","value":"Negligible traction (4 downloads), not a major release.","source":"signal"},{"label":"Watch term","value":"Eval methodology","source":"evidence"},{"label":"Watch term","value":"Model card","source":"model"},{"label":"Watch term","value":"Infrastructure","source":"evidence"},{"label":"Watch term","value":"Safety and alignment","source":"evidence"},{"label":"Watch term","value":"Agents and tool use","source":"evidence"}],"evidence_coverage":{"target_pages":1,"captured_pages":1,"readable_pages":1,"capture_methods":["plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B/raw/main/README.md"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-07-04T07:20:22.596766+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/7da27923-1861-4d75-beb2-7b0d19fa4b00/signal.json","dossier_json":"https://onlylabs.fyi/labs/mistral/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/mistral/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/mistral/evidence.json","topic_signals_json":"https://onlylabs.fyi/topics/releases/signals.json","topic_feed":"https://onlylabs.fyi/topics/releases/feed.xml","category_signals_json":"https://onlylabs.fyi/signals.json","data_radar_json":null,"opportunities_json":null},"analysis_playbook":{"objective":"Turn model cards, repository releases, and launch artifacts into a current view of what shipped and what changed.","evidence_focus":["model card","release note","version or tag","pipeline tag","license","downloads, likes, stars, and linked papers"],"extraction_questions":["What actually shipped, and through which public artifact?","Which releases include inspectable model, repo, paper, or package evidence?","Which launches create new eval, data, infra, or deployment needs?","Which shipped signals are missing captured page context?"],"signal_questions":["What shipped in this model artifact, and what evidence describes its capability, license, or traction?","What actually shipped, and through which public artifact?","Which releases include inspectable model, repo, paper, or package evidence?","Do the 6 related model signals show a repeated pattern?"],"output_fields":["org","release_type","artifact","traction","data_business_lane","evidence_url"],"data_business_relevance":"Release signals show the hard edge of lab execution and help connect data-business opportunities to concrete model, repo, and deployment changes.","required_sources":[{"label":"signal_json","url":"https://onlylabs.fyi/signals/7da27923-1861-4d75-beb2-7b0d19fa4b00/signal.json","required":true},{"label":"source","url":"https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/mistral/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/mistral/evidence.json","required":true},{"label":"topic_signals_json","url":"https://onlylabs.fyi/topics/releases/signals.json","required":false},{"label":"data_radar_json","url":null,"required":false}],"expected_output":["one-paragraph source-grounded interpretation","category-specific implication","confidence and missing evidence","recommended next source to inspect"],"prompt_seed":"Using only the linked onlylabs JSON, captured source context, and cited evidence, analyze Mistral AI's model signal \"mistralai/Leanstral-1.5-119B-A6B\" for frontier lab strategy."},"semantic_triples":[{"subject":"Mistral AI","predicate":"published model","object":"mistralai/Leanstral-1.5-119B-A6B","text":"Mistral AI published model mistralai/Leanstral-1.5-119B-A6B."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"is classified as","object":"model signal","text":"mistralai/Leanstral-1.5-119B-A6B is classified as model signal."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"belongs to","object":"releases desk","text":"mistralai/Leanstral-1.5-119B-A6B belongs to releases desk."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has evidence coverage","object":"1 captured evidence page","text":"mistralai/Leanstral-1.5-119B-A6B has evidence coverage 1 captured evidence page."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has captured page count","object":"1","text":"mistralai/Leanstral-1.5-119B-A6B has captured page count 1."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has readable page count","object":"1","text":"mistralai/Leanstral-1.5-119B-A6B has readable page count 1."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has related signal count","object":"6","text":"mistralai/Leanstral-1.5-119B-A6B has related signal count 6."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has analysis playbook objective","object":"Turn model cards, repository releases, and launch artifacts into a current view of what shipped and what changed.","text":"mistralai/Leanstral-1.5-119B-A6B has analysis playbook objective Turn model cards, repository releases, and launch artifacts into a current view of what shipped and what changed.."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has source host","object":"huggingface.co","text":"mistralai/Leanstral-1.5-119B-A6B has source host huggingface.co."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has lab","object":"Mistral AI","text":"mistralai/Leanstral-1.5-119B-A6B has lab Mistral AI."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has signal desk","object":"releases","text":"mistralai/Leanstral-1.5-119B-A6B has signal desk releases."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has source host","object":"huggingface.co","text":"mistralai/Leanstral-1.5-119B-A6B has source host huggingface.co."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has license","object":"apache-2.0","text":"mistralai/Leanstral-1.5-119B-A6B has license apache-2.0."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has library","object":"vllm","text":"mistralai/Leanstral-1.5-119B-A6B has library vllm."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has downloads","object":"531","text":"mistralai/Leanstral-1.5-119B-A6B has downloads 531."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has likes","object":"208","text":"mistralai/Leanstral-1.5-119B-A6B has likes 208."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has notability","object":"Negligible traction (4 downloads), not a major release.","text":"mistralai/Leanstral-1.5-119B-A6B has notability Negligible traction (4 downloads), not a major release.."}]},"intelligence":{"signal_desk":"releases","answer":"Mistral AI published mistralai/Leanstral-1.5-119B-A6B. This model signal is evidence of what shipped on model infrastructure and how the release is positioned. High-signal details: license apache-2.0 · 531 HF downloads · Negligible traction (4 downloads), not a major release.. onlylabs links this event to 1 captured evidence page and 6 related model signals.","semantic_triples":[{"subject":"Mistral AI","predicate":"published model","object":"mistralai/Leanstral-1.5-119B-A6B","text":"Mistral AI published model mistralai/Leanstral-1.5-119B-A6B."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"is classified as","object":"model signal","text":"mistralai/Leanstral-1.5-119B-A6B is classified as model signal."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"belongs to","object":"releases desk","text":"mistralai/Leanstral-1.5-119B-A6B belongs to releases desk."},{"subject":"mistralai/Leanstral-1.5-119B-A6B","predicate":"has evidence coverage","object":"1 captured evidence page","text":"mistralai/Leanstral-1.5-119B-A6B has evidence coverage 1 captured evidence page."}]},"signal":{"id":"7da27923-1861-4d75-beb2-7b0d19fa4b00","url":"https://onlylabs.fyi/signals/7da27923-1861-4d75-beb2-7b0d19fa4b00","json_url":"https://onlylabs.fyi/signals/7da27923-1861-4d75-beb2-7b0d19fa4b00/signal.json","source_url":"https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B","title":"mistralai/Leanstral-1.5-119B-A6B","summary":"Mistral AI published a model signal. onlylabs watches model cards, launch context, and traction.","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-07-01T16:43:19+00:00","first_seen_at":"2026-07-04T07:20:09.030634+00:00","date_source":"source","evidence_coverage":{"target_pages":1,"captured_pages":1,"readable_pages":1,"capture_methods":["plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B/raw/main/README.md"]},"facets":{"license":"apache-2.0"},"traction":{"github_stars":null,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":531,"hf_likes":208},"data_radar":null},"primary_evidence_page":{"is_primary":true,"source_match":true,"url":"https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B/raw/main/README.md","final_url":"https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B/raw/main/README.md","title":"mistralai/Leanstral-1.5-119B-A6B model card","http_status":200,"content_type":"text/plain; charset=utf-8","capture_method":"plain","fetched_at":"2026-07-04T07:20:22.596766+00:00","bytes":11956,"raw_path":"fa8e6c9ba37865d291bd9f41741ee215c207040bc99bb6b8bc36367a527c6837.md","content_hash":"47cd16682705fc03a475e6e7466eaa6fc6704ea812fb59ce432fc8415ac5ea14","excerpt_chars":1200,"truncated":true,"excerpt":"Leanstral 1.5 119B A6B ![leanstral_benchmark_comparison](https://cdn-uploads.huggingface.co/production/uploads/66775fab8c58c5a12ae629ac/u5R3aWfUizTaxGemat-lU.png) Leanstral 1.5 is an open-source code agent model designed for [Lean 4](https://github.com/leanprover/lean4), a proof assistant capable of expressing complex mathematical objects such as [perfectoid spaces](https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/) and software specifications like [properties of Rust fragments](https://github.com/AeneasVerif/aeneas). Built as part of the [Mistral Small 4 family](https://huggingface.co/collections/mistralai/mistral-small-4), it combines multimodal capabilities and an efficient architecture, making it both performant and cost-effective compared to existing closed-source alternatives. > [!Note] > This is an updated model of our previously released [Leanstral model](https://huggingface.co/mistralai/Leanstral-2603). Key Features Leanstral incorporates the following architectural choices: - **MoE**: 128 experts, 4 active per token - **Model Size**: 119B parameters with 6.5B activated per token - **Context Length**: 256k tokens - **Multimodal Input**: Accepts text..."},"evidence_pages":[],"related_signals":[{"id":"898a6f2d-cd4a-4d67-b3b0-8054b9227606","url":"https://onlylabs.fyi/signals/898a6f2d-cd4a-4d67-b3b0-8054b9227606","source_url":"https://huggingface.co/mistralai/Mistral-Medium-3.5-128B-EAGLE","title":"mistralai/Mistral-Medium-3.5-128B-EAGLE","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-04-27T13:35:34+00:00","first_seen_at":"2026-06-06T01:49:31.522951+00:00","date_source":"source"},{"id":"c1ffa5c4-6931-43ef-ba30-6128b447db79","url":"https://onlylabs.fyi/signals/c1ffa5c4-6931-43ef-ba30-6128b447db79","source_url":"https://huggingface.co/mistralai/Mistral-Medium-3.5-128B","title":"mistralai/Mistral-Medium-3.5-128B","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-03-31T09:50:20+00:00","first_seen_at":"2026-06-06T01:49:31.522951+00:00","date_source":"source"},{"id":"4dfa7d54-9ffd-4cde-a2a3-4a14ee152242","url":"https://onlylabs.fyi/signals/4dfa7d54-9ffd-4cde-a2a3-4a14ee152242","source_url":"https://huggingface.co/mistralai/Leanstral-2603","title":"mistralai/Leanstral-2603","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-03-11T14:01:29+00:00","first_seen_at":"2026-06-06T01:49:31.522951+00:00","date_source":"source"},{"id":"11f51dc4-4f03-4711-b31f-732b4b74f580","url":"https://onlylabs.fyi/signals/11f51dc4-4f03-4711-b31f-732b4b74f580","source_url":"https://huggingface.co/mistralai/Mistral-Small-4-119B-2603-eagle","title":"mistralai/Mistral-Small-4-119B-2603-eagle","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-03-04T16:38:14+00:00","first_seen_at":"2026-06-06T01:49:31.522951+00:00","date_source":"source"},{"id":"576816e8-c697-438b-a72d-3f264c51cd96","url":"https://onlylabs.fyi/signals/576816e8-c697-438b-a72d-3f264c51cd96","source_url":"https://huggingface.co/mistralai/Mistral-Small-4-119B-2603-NVFP4","title":"mistralai/Mistral-Small-4-119B-2603-NVFP4","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-03-03T10:51:08+00:00","first_seen_at":"2026-06-06T01:49:31.522951+00:00","date_source":"source"},{"id":"745bae91-ddab-4a26-b0b9-fa28ececd6a3","url":"https://onlylabs.fyi/signals/745bae91-ddab-4a26-b0b9-fa28ececd6a3","source_url":"https://huggingface.co/mistralai/Mistral-Small-4-119B-2603","title":"mistralai/Mistral-Small-4-119B-2603","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-01-23T13:14:14+00:00","first_seen_at":"2026-06-06T01:49:31.522951+00:00","date_source":"source"}]}