{"schema_version":"onlylabs.public_signal.v1","title":"Mistral AI Repo: mistralai/FLTEval","description":"Mistral AI repo signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/69d62d52-8839-42fc-bb79-45900f03d6e0","json_url":"https://onlylabs.fyi/signals/69d62d52-8839-42fc-bb79-45900f03d6e0/signal.json","generated_at":"2026-07-26T18:52:16.805Z","evidence_latest_fetched_at":"2026-07-03T07:01:41.196673+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/69d62d52-8839-42fc-bb79-45900f03d6e0","signal_json":"https://onlylabs.fyi/signals/69d62d52-8839-42fc-bb79-45900f03d6e0/signal.json","source":"https://github.com/mistralai/FLTEval","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"}]}},"answer_pack":{"answer":"Mistral AI published mistralai/FLTEval (Python). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo mistralai/FLTEval · language Python · Mistral releases evaluation framework FLTEval.. onlylabs links this event to 1 captured evidence page and 6 related repo signals. It also maps to Evals and quality in the data-business radar.","signal_desk":"repos","source_context":{"source_url":"https://github.com/mistralai/FLTEval","source_host":"github.com","occurred_at":"2026-07-02T15:38:32+00:00","first_seen_at":"2026-07-03T07:00:31.544192+00:00","date_source":"source","context":"Python"},"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/FLTEval","source":"source"},{"label":"Language","value":"Python","source":"source"},{"label":"Stars","value":"5","source":"traction"},{"label":"Notability","value":"Mistral releases evaluation framework FLTEval.","source":"signal"},{"label":"Radar lane","value":"Evals and quality","source":"radar"},{"label":"Matched term","value":"eval","source":"radar"},{"label":"Matched term","value":"evaluation","source":"radar"},{"label":"Watch term","value":"Eval methodology","source":"evidence"},{"label":"Watch term","value":"Model card","source":"model"},{"label":"Watch term","value":"Data pipeline","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/FLTEval"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-07-03T07:01:41.196673+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"}],"matched_terms":["eval","evaluation"],"score":16,"reason":"Mistral AI has a repo signal matching evals and quality."},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/69d62d52-8839-42fc-bb79-45900f03d6e0/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?","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/69d62d52-8839-42fc-bb79-45900f03d6e0/signal.json","required":true},{"label":"source","url":"https://github.com/mistralai/FLTEval","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/FLTEval\" for frontier lab strategy and data-business implications."},"semantic_triples":[{"subject":"Mistral AI","predicate":"published repo","object":"mistralai/FLTEval","text":"Mistral AI published repo mistralai/FLTEval."},{"subject":"mistralai/FLTEval","predicate":"is classified as","object":"repo signal","text":"mistralai/FLTEval is classified as repo signal."},{"subject":"mistralai/FLTEval","predicate":"belongs to","object":"repos desk","text":"mistralai/FLTEval belongs to repos desk."},{"subject":"mistralai/FLTEval","predicate":"has context","object":"Python","text":"mistralai/FLTEval has context Python."},{"subject":"mistralai/FLTEval","predicate":"has evidence coverage","object":"1 captured evidence page","text":"mistralai/FLTEval has evidence coverage 1 captured evidence page."},{"subject":"mistralai/FLTEval","predicate":"matches data-business lanes","object":"Evals and quality","text":"mistralai/FLTEval matches data-business lanes Evals and quality."},{"subject":"mistralai/FLTEval","predicate":"has captured page count","object":"1","text":"mistralai/FLTEval has captured page count 1."},{"subject":"mistralai/FLTEval","predicate":"has readable page count","object":"1","text":"mistralai/FLTEval has readable page count 1."},{"subject":"mistralai/FLTEval","predicate":"has related signal count","object":"6","text":"mistralai/FLTEval has related signal count 6."},{"subject":"mistralai/FLTEval","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/FLTEval 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/FLTEval","predicate":"has source host","object":"github.com","text":"mistralai/FLTEval has source host github.com."},{"subject":"mistralai/FLTEval","predicate":"has lab","object":"Mistral AI","text":"mistralai/FLTEval has lab Mistral AI."},{"subject":"mistralai/FLTEval","predicate":"has signal desk","object":"repos","text":"mistralai/FLTEval has signal desk repos."},{"subject":"mistralai/FLTEval","predicate":"has source host","object":"github.com","text":"mistralai/FLTEval has source host github.com."},{"subject":"mistralai/FLTEval","predicate":"has repository","object":"mistralai/FLTEval","text":"mistralai/FLTEval has repository mistralai/FLTEval."},{"subject":"mistralai/FLTEval","predicate":"has language","object":"Python","text":"mistralai/FLTEval has language Python."},{"subject":"mistralai/FLTEval","predicate":"has stars","object":"5","text":"mistralai/FLTEval has stars 5."},{"subject":"mistralai/FLTEval","predicate":"has notability","object":"Mistral releases evaluation framework FLTEval.","text":"mistralai/FLTEval has notability Mistral releases evaluation framework FLTEval.."},{"subject":"mistralai/FLTEval","predicate":"has radar lane","object":"Evals and quality","text":"mistralai/FLTEval has radar lane Evals and quality."}]},"intelligence":{"signal_desk":"repos","answer":"Mistral AI published mistralai/FLTEval (Python). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo mistralai/FLTEval · language Python · Mistral releases evaluation framework FLTEval.. onlylabs links this event to 1 captured evidence page and 6 related repo signals. It also maps to Evals and quality in the data-business radar.","semantic_triples":[{"subject":"Mistral AI","predicate":"published repo","object":"mistralai/FLTEval","text":"Mistral AI published repo mistralai/FLTEval."},{"subject":"mistralai/FLTEval","predicate":"is classified as","object":"repo signal","text":"mistralai/FLTEval is classified as repo signal."},{"subject":"mistralai/FLTEval","predicate":"belongs to","object":"repos desk","text":"mistralai/FLTEval belongs to repos desk."},{"subject":"mistralai/FLTEval","predicate":"has context","object":"Python","text":"mistralai/FLTEval has context Python."},{"subject":"mistralai/FLTEval","predicate":"has evidence coverage","object":"1 captured evidence page","text":"mistralai/FLTEval has evidence coverage 1 captured evidence page."},{"subject":"mistralai/FLTEval","predicate":"matches data-business lanes","object":"Evals and quality","text":"mistralai/FLTEval matches data-business lanes Evals and quality."}]},"signal":{"id":"69d62d52-8839-42fc-bb79-45900f03d6e0","url":"https://onlylabs.fyi/signals/69d62d52-8839-42fc-bb79-45900f03d6e0","json_url":"https://onlylabs.fyi/signals/69d62d52-8839-42fc-bb79-45900f03d6e0/signal.json","source_url":"https://github.com/mistralai/FLTEval","title":"mistralai/FLTEval","summary":"Mistral AI published a new repository. onlylabs watches repos for tooling, eval, infra, and model-adjacent work.","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","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/FLTEval"]},"facets":{"repo":"mistralai/FLTEval","language":"Python"},"traction":{"github_stars":5,"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"}],"score":16,"matched_terms":["eval","evaluation"],"reason":"Mistral AI has a repo signal matching evals and quality."}},"primary_evidence_page":{"is_primary":true,"source_match":true,"url":"https://github.com/mistralai/FLTEval","final_url":"https://github.com/mistralai/FLTEval","title":"mistralai/FLTEval repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-07-03T07:01:41.196673+00:00","bytes":12778,"raw_path":"89ae17d708100b9a9ca0b5a381005e1c12773340fd4c96130ccde35ef8ce8460.json","content_hash":"b6f05fb220c2fd28a11037afb17998ab6a1d11bc3f16459ecbe1e90d74356f0d","excerpt_chars":1200,"truncated":true,"excerpt":"mistralai/FLTEval Description: Docker-only evaluation harness for FLT Lean tasks Language: Python License: Apache-2.0 Stars: 0 Forks: 0 Open issues: 0 Created: 2026-07-02T15:38:32Z Pushed: 2026-07-02T15:38:53Z Default branch: main Fork: no Archived: no README: FLTEval FLTEval is a minimal, Docker-only evaluation harness for FLT Lean tasks. It is shaped like SWE-bench evaluation: users submit diffs, the harness applies each diff inside the task image, runs Lean/SafeVerify checks, and writes per-instance and aggregate reports. The harness does not run agents or generate traces. License FLTEval is distributed under the Apache License 2.0. SafeVerify source is not vendored in this repository; the evaluator reads it from the SafeVerify repository at the commits pinned in `flteval/resources/safeverify/manifest.json`. Quick Start ```bash uv run python -m flteval.harness.run_evaluation \\ --dataset_name data/flt_sample \\ --predictions_path submissions/leanstral_sweagent_sample_0.jsonl \\ --instance_ids imperialcollegelondon__flt-1611de00afff6d40cdb98aa669258fdaff38edb7 \\ --run_id leanstral-sample-smoke \\ --report_dir evaluation_results \\ --max_workers 1 ``` `preds.json` may be..."},"evidence_pages":[],"related_signals":[{"id":"b378d15a-1971-474e-b04f-b5c123a6bb1f","url":"https://onlylabs.fyi/signals/b378d15a-1971-474e-b04f-b5c123a6bb1f","source_url":"https://github.com/mistralai/LeanstralSafeVerify","title":"mistralai/LeanstralSafeVerify","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"},{"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"}]}