{"schema_version":"onlylabs.public_signal.v1","title":"Mistral AI Model: mistralai/Leanstral-2603","description":"Mistral AI model signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/4dfa7d54-9ffd-4cde-a2a3-4a14ee152242","json_url":"https://onlylabs.fyi/signals/4dfa7d54-9ffd-4cde-a2a3-4a14ee152242/signal.json","generated_at":"2026-06-11T02:49:40.589944+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/4dfa7d54-9ffd-4cde-a2a3-4a14ee152242","signal_json":"https://onlylabs.fyi/signals/4dfa7d54-9ffd-4cde-a2a3-4a14ee152242/signal.json","source":"https://huggingface.co/mistralai/Leanstral-2603","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-2603. This model signal is evidence of what shipped on model infrastructure and how the release is positioned. High-signal details: license apache-2.0 · 116 HF downloads · Low traction model release by Mistral. 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-2603","source_host":"huggingface.co","occurred_at":"2026-03-11T14:01:29+00:00","first_seen_at":"2026-06-06T01:49:31.522951+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":"116","source":"traction"},{"label":"Likes","value":"157","source":"traction"},{"label":"Notability","value":"Low traction model release by Mistral","source":"signal"},{"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-2603/raw/main/README.md"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-06-11T02:49:40.589944+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/4dfa7d54-9ffd-4cde-a2a3-4a14ee152242/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/4dfa7d54-9ffd-4cde-a2a3-4a14ee152242/signal.json","required":true},{"label":"source","url":"https://huggingface.co/mistralai/Leanstral-2603","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-2603\" for frontier lab strategy."},"semantic_triples":[{"subject":"Mistral AI","predicate":"published model","object":"mistralai/Leanstral-2603","text":"Mistral AI published model mistralai/Leanstral-2603."},{"subject":"mistralai/Leanstral-2603","predicate":"is classified as","object":"model signal","text":"mistralai/Leanstral-2603 is classified as model signal."},{"subject":"mistralai/Leanstral-2603","predicate":"belongs to","object":"releases desk","text":"mistralai/Leanstral-2603 belongs to releases desk."},{"subject":"mistralai/Leanstral-2603","predicate":"has evidence coverage","object":"1 captured evidence page","text":"mistralai/Leanstral-2603 has evidence coverage 1 captured evidence page."},{"subject":"mistralai/Leanstral-2603","predicate":"has captured page count","object":"1","text":"mistralai/Leanstral-2603 has captured page count 1."},{"subject":"mistralai/Leanstral-2603","predicate":"has readable page count","object":"1","text":"mistralai/Leanstral-2603 has readable page count 1."},{"subject":"mistralai/Leanstral-2603","predicate":"has related signal count","object":"6","text":"mistralai/Leanstral-2603 has related signal count 6."},{"subject":"mistralai/Leanstral-2603","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-2603 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-2603","predicate":"has source host","object":"huggingface.co","text":"mistralai/Leanstral-2603 has source host huggingface.co."},{"subject":"mistralai/Leanstral-2603","predicate":"has lab","object":"Mistral AI","text":"mistralai/Leanstral-2603 has lab Mistral AI."},{"subject":"mistralai/Leanstral-2603","predicate":"has signal desk","object":"releases","text":"mistralai/Leanstral-2603 has signal desk releases."},{"subject":"mistralai/Leanstral-2603","predicate":"has source host","object":"huggingface.co","text":"mistralai/Leanstral-2603 has source host huggingface.co."},{"subject":"mistralai/Leanstral-2603","predicate":"has license","object":"apache-2.0","text":"mistralai/Leanstral-2603 has license apache-2.0."},{"subject":"mistralai/Leanstral-2603","predicate":"has library","object":"vllm","text":"mistralai/Leanstral-2603 has library vllm."},{"subject":"mistralai/Leanstral-2603","predicate":"has downloads","object":"116","text":"mistralai/Leanstral-2603 has downloads 116."},{"subject":"mistralai/Leanstral-2603","predicate":"has likes","object":"157","text":"mistralai/Leanstral-2603 has likes 157."},{"subject":"mistralai/Leanstral-2603","predicate":"has notability","object":"Low traction model release by Mistral","text":"mistralai/Leanstral-2603 has notability Low traction model release by Mistral."}]},"intelligence":{"signal_desk":"releases","answer":"Mistral AI published mistralai/Leanstral-2603. This model signal is evidence of what shipped on model infrastructure and how the release is positioned. High-signal details: license apache-2.0 · 116 HF downloads · Low traction model release by Mistral. 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-2603","text":"Mistral AI published model mistralai/Leanstral-2603."},{"subject":"mistralai/Leanstral-2603","predicate":"is classified as","object":"model signal","text":"mistralai/Leanstral-2603 is classified as model signal."},{"subject":"mistralai/Leanstral-2603","predicate":"belongs to","object":"releases desk","text":"mistralai/Leanstral-2603 belongs to releases desk."},{"subject":"mistralai/Leanstral-2603","predicate":"has evidence coverage","object":"1 captured evidence page","text":"mistralai/Leanstral-2603 has evidence coverage 1 captured evidence page."}]},"signal":{"id":"4dfa7d54-9ffd-4cde-a2a3-4a14ee152242","url":"https://onlylabs.fyi/signals/4dfa7d54-9ffd-4cde-a2a3-4a14ee152242","json_url":"https://onlylabs.fyi/signals/4dfa7d54-9ffd-4cde-a2a3-4a14ee152242/signal.json","source_url":"https://huggingface.co/mistralai/Leanstral-2603","title":"mistralai/Leanstral-2603","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-03-11T14:01:29+00:00","first_seen_at":"2026-06-06T01:49:31.522951+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-2603/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":116,"hf_likes":157},"data_radar":null},"primary_evidence_page":{"url":"https://huggingface.co/mistralai/Leanstral-2603/raw/main/README.md","final_url":"https://huggingface.co/mistralai/Leanstral-2603/raw/main/README.md","title":"mistralai/Leanstral-2603 model card","http_status":200,"content_type":"text/plain; charset=utf-8","capture_method":"plain","fetched_at":"2026-06-11T02:49:40.589944+00:00","bytes":12199,"raw_path":"960844514be56459a489cd6f7deb2292c5f45c16c5993384f2259e9a84b9655e.md","content_hash":"939b6f3d6d1a3008f4badb559ecc2fa0c292398dfa5146ce2a4deeebd5f66c31","excerpt_chars":1200,"truncated":true,"excerpt":"--- license: apache-2.0 library_name: vllm --- Leanstral 119B A6B Leanstral is the first open-source code agent 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. For more details about the model and its scope, please read the related [blog post](https://mistral.ai/news/leanstral). 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 and image input, producing text output Leanstral offers these capabilities: - **Proof Agentic**: Designed..."},"evidence_pages":[{"url":"https://huggingface.co/mistralai/Leanstral-2603/raw/main/README.md","final_url":"https://huggingface.co/mistralai/Leanstral-2603/raw/main/README.md","title":"mistralai/Leanstral-2603 model card","http_status":200,"content_type":"text/plain; charset=utf-8","capture_method":"plain","fetched_at":"2026-06-11T02:49:40.589944+00:00","bytes":12199,"raw_path":"960844514be56459a489cd6f7deb2292c5f45c16c5993384f2259e9a84b9655e.md","content_hash":"939b6f3d6d1a3008f4badb559ecc2fa0c292398dfa5146ce2a4deeebd5f66c31","excerpt_chars":1200,"truncated":true,"excerpt":"--- license: apache-2.0 library_name: vllm --- Leanstral 119B A6B Leanstral is the first open-source code agent 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. For more details about the model and its scope, please read the related [blog post](https://mistral.ai/news/leanstral). 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 and image input, producing text output Leanstral offers these capabilities: - **Proof Agentic**: Designed..."}],"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":"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"},{"id":"ee5eb3ca-8f16-4ea0-a9be-5002019116c0","url":"https://onlylabs.fyi/signals/ee5eb3ca-8f16-4ea0-a9be-5002019116c0","source_url":"https://huggingface.co/mistralai/Voxtral-Mini-4B-Realtime-2602","title":"mistralai/Voxtral-Mini-4B-Realtime-2602","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-01-21T17:22:02+00:00","first_seen_at":"2026-06-06T01:49:31.522951+00:00","date_source":"source"}]}