{"schema_version":"onlylabs.public_signal.v1","title":"Mistral AI Repo: mistralai/LeanstralSafeVerify","description":"Mistral AI repo signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/b378d15a-1971-474e-b04f-b5c123a6bb1f","json_url":"https://onlylabs.fyi/signals/b378d15a-1971-474e-b04f-b5c123a6bb1f/signal.json","generated_at":"2026-07-26T18:48:24.567Z","evidence_latest_fetched_at":"2026-07-03T07:01:41.358664+00:00","signal_first_seen_at":"2026-07-03T07:00:31.544192+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/b378d15a-1971-474e-b04f-b5c123a6bb1f","signal_json":"https://onlylabs.fyi/signals/b378d15a-1971-474e-b04f-b5c123a6bb1f/signal.json","source":"https://github.com/mistralai/LeanstralSafeVerify","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":null,"topic_signals_json":null,"topic_feed":null,"data_business":{"radar":"https://onlylabs.fyi/data-radar","radar_json":"https://onlylabs.fyi/data-radar.json","opportunities":"https://onlylabs.fyi/opportunities","opportunities_json":"https://onlylabs.fyi/opportunities.json","lanes":[{"key":"evals","label":"Evals and quality","url":"https://onlylabs.fyi/data-radar/evals","json_url":"https://onlylabs.fyi/data-radar/evals/signals.json"},{"key":"infrastructure","label":"Infrastructure","url":"https://onlylabs.fyi/data-radar/infrastructure","json_url":"https://onlylabs.fyi/data-radar/infrastructure/signals.json"}]}},"answer_pack":{"answer":"Mistral AI published mistralai/LeanstralSafeVerify (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo mistralai/LeanstralSafeVerify · language Lean · New safety verification repo from Mistral AI. onlylabs links this event to 1 captured evidence page and 6 related repo signals. It also maps to Evals and quality, Infrastructure in the data-business radar.","signal_desk":"repos","source_context":{"source_url":"https://github.com/mistralai/LeanstralSafeVerify","source_host":"github.com","occurred_at":"2026-07-01T20:31:06+00:00","first_seen_at":"2026-07-03T07:00:31.544192+00:00","date_source":"source","context":"Lean"},"context_markers":[{"label":"Lab","value":"Mistral AI","source":"signal"},{"label":"Signal desk","value":"repos","source":"signal"},{"label":"Source host","value":"github.com","source":"source"},{"label":"Repository","value":"mistralai/LeanstralSafeVerify","source":"source"},{"label":"Language","value":"Lean","source":"source"},{"label":"Stars","value":"31","source":"traction"},{"label":"Notability","value":"New safety verification repo from Mistral AI","source":"signal"},{"label":"Radar lane","value":"Evals and quality","source":"radar"},{"label":"Radar lane","value":"Infrastructure","source":"radar"},{"label":"Matched term","value":"eval","source":"radar"},{"label":"Matched term","value":"evaluation","source":"radar"},{"label":"Matched term","value":"training","source":"radar"},{"label":"Watch term","value":"Eval methodology","source":"evidence"},{"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://github.com/mistralai/LeanstralSafeVerify"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-07-03T07:01:41.358664+00:00"},"data_business":{"matches":true,"lanes":[{"key":"evals","label":"Evals and quality","url":"https://onlylabs.fyi/data-radar/evals","json_url":"https://onlylabs.fyi/data-radar/evals/signals.json"},{"key":"infrastructure","label":"Infrastructure","url":"https://onlylabs.fyi/data-radar/infrastructure","json_url":"https://onlylabs.fyi/data-radar/infrastructure/signals.json"}],"matched_terms":["eval","evaluation","training"],"score":28,"reason":"Mistral AI has a repo signal matching evals and quality, infrastructure."},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/b378d15a-1971-474e-b04f-b5c123a6bb1f/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":null,"topic_feed":null,"category_signals_json":"https://onlylabs.fyi/signals.json","data_radar_json":"https://onlylabs.fyi/data-radar.json","opportunities_json":"https://onlylabs.fyi/opportunities.json"},"analysis_playbook":{"objective":"Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.","evidence_focus":["repo name","owner","description","language","stars","source URL","first seen time","data, eval, infra, safety, and product terms"],"extraction_questions":["What technical area does this repository expose?","Does the repo imply eval, data, infrastructure, agent, or deployment work?","Is the repo new evidence for a lab direction that is not yet in writing or releases?","Which related signals should an analyst inspect next?"],"signal_questions":["What does this new repository reveal before a formal announcement exists?","What technical area does this repository expose?","Does the repo imply eval, data, infrastructure, agent, or deployment work?","Which data-business lane explains this signal: Evals and quality, Infrastructure?","Do the 6 related repo signals show a repeated pattern?"],"output_fields":["org","repo","technical_theme","data_business_lane","evidence_url"],"data_business_relevance":"New repositories can expose organization build priorities early, especially around internal tooling, eval infrastructure, data systems, deployment, and agent workflows.","required_sources":[{"label":"signal_json","url":"https://onlylabs.fyi/signals/b378d15a-1971-474e-b04f-b5c123a6bb1f/signal.json","required":true},{"label":"source","url":"https://github.com/mistralai/LeanstralSafeVerify","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":null,"required":false},{"label":"data_radar_json","url":"https://onlylabs.fyi/data-radar.json","required":true}],"expected_output":["one-paragraph source-grounded interpretation","data-business 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 repo signal \"mistralai/LeanstralSafeVerify\" for frontier lab strategy and data-business implications."},"semantic_triples":[{"subject":"Mistral AI","predicate":"published repo","object":"mistralai/LeanstralSafeVerify","text":"Mistral AI published repo mistralai/LeanstralSafeVerify."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"is classified as","object":"repo signal","text":"mistralai/LeanstralSafeVerify is classified as repo signal."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"belongs to","object":"repos desk","text":"mistralai/LeanstralSafeVerify belongs to repos desk."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has context","object":"Lean","text":"mistralai/LeanstralSafeVerify has context Lean."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has evidence coverage","object":"1 captured evidence page","text":"mistralai/LeanstralSafeVerify has evidence coverage 1 captured evidence page."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"matches data-business lanes","object":"Evals and quality, Infrastructure","text":"mistralai/LeanstralSafeVerify matches data-business lanes Evals and quality, Infrastructure."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has captured page count","object":"1","text":"mistralai/LeanstralSafeVerify has captured page count 1."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has readable page count","object":"1","text":"mistralai/LeanstralSafeVerify has readable page count 1."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has related signal count","object":"6","text":"mistralai/LeanstralSafeVerify has related signal count 6."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has analysis playbook objective","object":"Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.","text":"mistralai/LeanstralSafeVerify has analysis playbook objective Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has source host","object":"github.com","text":"mistralai/LeanstralSafeVerify has source host github.com."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has lab","object":"Mistral AI","text":"mistralai/LeanstralSafeVerify has lab Mistral AI."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has signal desk","object":"repos","text":"mistralai/LeanstralSafeVerify has signal desk repos."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has source host","object":"github.com","text":"mistralai/LeanstralSafeVerify has source host github.com."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has repository","object":"mistralai/LeanstralSafeVerify","text":"mistralai/LeanstralSafeVerify has repository mistralai/LeanstralSafeVerify."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has language","object":"Lean","text":"mistralai/LeanstralSafeVerify has language Lean."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has stars","object":"31","text":"mistralai/LeanstralSafeVerify has stars 31."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has notability","object":"New safety verification repo from Mistral AI","text":"mistralai/LeanstralSafeVerify has notability New safety verification repo from Mistral AI."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has radar lane","object":"Evals and quality","text":"mistralai/LeanstralSafeVerify has radar lane Evals and quality."}]},"intelligence":{"signal_desk":"repos","answer":"Mistral AI published mistralai/LeanstralSafeVerify (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo mistralai/LeanstralSafeVerify · language Lean · New safety verification repo from Mistral AI. onlylabs links this event to 1 captured evidence page and 6 related repo signals. It also maps to Evals and quality, Infrastructure in the data-business radar.","semantic_triples":[{"subject":"Mistral AI","predicate":"published repo","object":"mistralai/LeanstralSafeVerify","text":"Mistral AI published repo mistralai/LeanstralSafeVerify."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"is classified as","object":"repo signal","text":"mistralai/LeanstralSafeVerify is classified as repo signal."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"belongs to","object":"repos desk","text":"mistralai/LeanstralSafeVerify belongs to repos desk."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has context","object":"Lean","text":"mistralai/LeanstralSafeVerify has context Lean."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"has evidence coverage","object":"1 captured evidence page","text":"mistralai/LeanstralSafeVerify has evidence coverage 1 captured evidence page."},{"subject":"mistralai/LeanstralSafeVerify","predicate":"matches data-business lanes","object":"Evals and quality, Infrastructure","text":"mistralai/LeanstralSafeVerify matches data-business lanes Evals and quality, Infrastructure."}]},"signal":{"id":"b378d15a-1971-474e-b04f-b5c123a6bb1f","url":"https://onlylabs.fyi/signals/b378d15a-1971-474e-b04f-b5c123a6bb1f","json_url":"https://onlylabs.fyi/signals/b378d15a-1971-474e-b04f-b5c123a6bb1f/signal.json","source_url":"https://github.com/mistralai/LeanstralSafeVerify","title":"mistralai/LeanstralSafeVerify","summary":"Mistral AI published a new repository. onlylabs watches repos for tooling, eval, infra, and model-adjacent work.","context":"Lean","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-07-01T20:31:06+00:00","first_seen_at":"2026-07-03T07:00:31.544192+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://github.com/mistralai/LeanstralSafeVerify"]},"facets":{"repo":"mistralai/LeanstralSafeVerify","language":"Lean"},"traction":{"github_stars":31,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":null,"hf_likes":null},"data_radar":{"lanes":[{"key":"evals","label":"Evals and quality","url":"https://onlylabs.fyi/data-radar/evals"},{"key":"infrastructure","label":"Infrastructure","url":"https://onlylabs.fyi/data-radar/infrastructure"}],"score":28,"matched_terms":["eval","evaluation","training"],"reason":"Mistral AI has a repo signal matching evals and quality, infrastructure."}},"primary_evidence_page":{"is_primary":true,"source_match":true,"url":"https://github.com/mistralai/LeanstralSafeVerify","final_url":"https://github.com/mistralai/LeanstralSafeVerify","title":"mistralai/LeanstralSafeVerify repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-07-03T07:01:41.358664+00:00","bytes":13971,"raw_path":"21b1cf55ff6fe3f912b47300aa1a78a2ca195e2c6ac1102f282ca91313cee9e0.json","content_hash":"94d263dafacdc15d8e81218e230a54e24ad199d059dea289677c003ef90a4c51","excerpt_chars":1200,"truncated":true,"excerpt":"mistralai/LeanstralSafeVerify Description: Leanstral's fork of SafeVerify, which we use for code agent training and as part of our evaluation stack. Language: Lean License: Apache-2.0 Stars: 0 Forks: 0 Open issues: 0 Created: 2026-07-01T20:31:06Z Pushed: 2026-07-02T12:11:41Z Default branch: main Fork: no Archived: no README: SafeVerify The purpose of this script is to check whether a file of submitted Lean code and/or proof matches the specifications. This is safer than direct checking with the Lean compiler or REPL, because it guards against potential exploits, including manipulation of environment via metaprogramming, using additional axioms, and exploitation of buggy tactics. Currently it serves as the proof-checking backend of - [Provably-Correct Vibe Coding](http://ProvablyCorrectVibeCoding.com), a web app for vibe coding in Lean, - [Code with Proofs: the Arena](https://github.com/GasStationManager/CodeProofTheArena), a website for coding problems with proofs of correctness, and - [TheoremMarketplace](https://github.com/wadimiusz/lean-contract-interact), smart contracts for theorem bounties. The branch `minif2f-deepseek-check` contains a version backported to Lean 4.9.0. This..."},"evidence_pages":[],"related_signals":[{"id":"69d62d52-8839-42fc-bb79-45900f03d6e0","url":"https://onlylabs.fyi/signals/69d62d52-8839-42fc-bb79-45900f03d6e0","source_url":"https://github.com/mistralai/FLTEval","title":"mistralai/FLTEval","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-07-02T15:38:32+00:00","first_seen_at":"2026-07-03T07:00:31.544192+00:00","date_source":"source"},{"id":"6ec0abae-002a-4903-909f-515e1bef904f","url":"https://onlylabs.fyi/signals/6ec0abae-002a-4903-909f-515e1bef904f","source_url":"https://github.com/mistralai/search-starter-app","title":"mistralai/search-starter-app","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-05-20T15:37:12+00:00","first_seen_at":"2026-06-05T05:42:59.656489+00:00","date_source":"source"},{"id":"3b288627-27c5-4df4-a2a3-8810c9a1ba05","url":"https://onlylabs.fyi/signals/3b288627-27c5-4df4-a2a3-8810c9a1ba05","source_url":"https://github.com/mistralai/demo-medical-doc-processor-workflow","title":"mistralai/demo-medical-doc-processor-workflow","context":"MDX","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-04-22T15:33:22+00:00","first_seen_at":"2026-06-05T05:42:59.656489+00:00","date_source":"source"},{"id":"728d3540-34c3-4aa8-b5b7-9e846a5959d0","url":"https://onlylabs.fyi/signals/728d3540-34c3-4aa8-b5b7-9e846a5959d0","source_url":"https://github.com/mistralai/workflows-starter-app","title":"mistralai/workflows-starter-app","context":"MDX","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2026-03-17T13:22:58+00:00","first_seen_at":"2026-06-05T05:42:59.656489+00:00","date_source":"source"},{"id":"ce7576a4-cc91-4240-bd73-5cfffb121344","url":"https://onlylabs.fyi/signals/ce7576a4-cc91-4240-bd73-5cfffb121344","source_url":"https://github.com/mistralai/mistral-vibe","title":"mistralai/mistral-vibe","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2025-12-08T18:56:59+00:00","first_seen_at":"2026-06-05T05:42:59.656489+00:00","date_source":"source"},{"id":"f1ee76d3-b2a8-4baa-88a0-1b7b17ac6203","url":"https://onlylabs.fyi/signals/f1ee76d3-b2a8-4baa-88a0-1b7b17ac6203","source_url":"https://github.com/mistralai/mistral-evals","title":"mistralai/mistral-evals","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"mistral","name":"Mistral AI","category":"frontier-lab"},"occurred_at":"2024-09-13T18:11:29+00:00","first_seen_at":"2026-06-05T05:42:59.656489+00:00","date_source":"source"}]}