{"schema_version":"onlylabs.public_signal.v1","title":"Google (DeepMind / Gemini) Repo: google-deepmind/miniF2F","description":"Google (DeepMind / Gemini) repo signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/f79d0c9d-fbcd-42d2-a4e0-5f2ca089dd94","json_url":"https://onlylabs.fyi/signals/f79d0c9d-fbcd-42d2-a4e0-5f2ca089dd94/signal.json","generated_at":"2026-06-11T04:00:13.317074+00:00","org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab","category_label":"Frontier lab","dossier_url":"https://onlylabs.fyi/labs/google-deepmind","dossier_json_url":"https://onlylabs.fyi/labs/google-deepmind/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/f79d0c9d-fbcd-42d2-a4e0-5f2ca089dd94","signal_json":"https://onlylabs.fyi/signals/f79d0c9d-fbcd-42d2-a4e0-5f2ca089dd94/signal.json","source":"https://github.com/google-deepmind/miniF2F","lab_dossier":"https://onlylabs.fyi/labs/google-deepmind","lab_dossier_json":"https://onlylabs.fyi/labs/google-deepmind/dossier.json","analysis":"https://onlylabs.fyi/analysis/google-deepmind","analysis_json":"https://onlylabs.fyi/analysis/google-deepmind/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/google-deepmind/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":null},"answer_pack":{"answer":"Google (DeepMind / Gemini) published google-deepmind/miniF2F (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo google-deepmind/miniF2F · language Lean · Low-stars repo from DeepMind, minor.. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","signal_desk":"repos","source_context":{"source_url":"https://github.com/google-deepmind/miniF2F","source_host":"github.com","occurred_at":"2025-08-01T18:01:14+00:00","first_seen_at":"2026-06-05T05:42:58.453363+00:00","date_source":"source","context":"Lean"},"context_markers":[{"label":"Lab","value":"Google (DeepMind / Gemini)","source":"signal"},{"label":"Signal desk","value":"repos","source":"signal"},{"label":"Source host","value":"github.com","source":"source"},{"label":"Repository","value":"google-deepmind/miniF2F","source":"source"},{"label":"Language","value":"Lean","source":"source"},{"label":"Stars","value":"13","source":"traction"},{"label":"Notability","value":"Low-stars repo from DeepMind, minor.","source":"signal"},{"label":"Watch term","value":"Eval methodology","source":"evidence"},{"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/google-deepmind/miniF2F"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-06-11T04:00:13.317074+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/f79d0c9d-fbcd-42d2-a4e0-5f2ca089dd94/signal.json","dossier_json":"https://onlylabs.fyi/labs/google-deepmind/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/google-deepmind/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/google-deepmind/evidence.json","topic_signals_json":null,"topic_feed":null,"category_signals_json":"https://onlylabs.fyi/signals.json","data_radar_json":null,"opportunities_json":null},"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?","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/f79d0c9d-fbcd-42d2-a4e0-5f2ca089dd94/signal.json","required":true},{"label":"source","url":"https://github.com/google-deepmind/miniF2F","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/google-deepmind/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/google-deepmind/evidence.json","required":true},{"label":"topic_signals_json","url":null,"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 Google (DeepMind / Gemini)'s repo signal \"google-deepmind/miniF2F\" for frontier lab strategy."},"semantic_triples":[{"subject":"Google (DeepMind / Gemini)","predicate":"published repo","object":"google-deepmind/miniF2F","text":"Google (DeepMind / Gemini) published repo google-deepmind/miniF2F."},{"subject":"google-deepmind/miniF2F","predicate":"is classified as","object":"repo signal","text":"google-deepmind/miniF2F is classified as repo signal."},{"subject":"google-deepmind/miniF2F","predicate":"belongs to","object":"repos desk","text":"google-deepmind/miniF2F belongs to repos desk."},{"subject":"google-deepmind/miniF2F","predicate":"has context","object":"Lean","text":"google-deepmind/miniF2F has context Lean."},{"subject":"google-deepmind/miniF2F","predicate":"has evidence coverage","object":"1 captured evidence page","text":"google-deepmind/miniF2F has evidence coverage 1 captured evidence page."},{"subject":"google-deepmind/miniF2F","predicate":"has captured page count","object":"1","text":"google-deepmind/miniF2F has captured page count 1."},{"subject":"google-deepmind/miniF2F","predicate":"has readable page count","object":"1","text":"google-deepmind/miniF2F has readable page count 1."},{"subject":"google-deepmind/miniF2F","predicate":"has related signal count","object":"6","text":"google-deepmind/miniF2F has related signal count 6."},{"subject":"google-deepmind/miniF2F","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":"google-deepmind/miniF2F 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":"google-deepmind/miniF2F","predicate":"has source host","object":"github.com","text":"google-deepmind/miniF2F has source host github.com."},{"subject":"google-deepmind/miniF2F","predicate":"has lab","object":"Google (DeepMind / Gemini)","text":"google-deepmind/miniF2F has lab Google (DeepMind / Gemini)."},{"subject":"google-deepmind/miniF2F","predicate":"has signal desk","object":"repos","text":"google-deepmind/miniF2F has signal desk repos."},{"subject":"google-deepmind/miniF2F","predicate":"has source host","object":"github.com","text":"google-deepmind/miniF2F has source host github.com."},{"subject":"google-deepmind/miniF2F","predicate":"has repository","object":"google-deepmind/miniF2F","text":"google-deepmind/miniF2F has repository google-deepmind/miniF2F."},{"subject":"google-deepmind/miniF2F","predicate":"has language","object":"Lean","text":"google-deepmind/miniF2F has language Lean."},{"subject":"google-deepmind/miniF2F","predicate":"has stars","object":"13","text":"google-deepmind/miniF2F has stars 13."},{"subject":"google-deepmind/miniF2F","predicate":"has notability","object":"Low-stars repo from DeepMind, minor.","text":"google-deepmind/miniF2F has notability Low-stars repo from DeepMind, minor.."},{"subject":"google-deepmind/miniF2F","predicate":"has watch term","object":"Eval methodology","text":"google-deepmind/miniF2F has watch term Eval methodology."}]},"intelligence":{"signal_desk":"repos","answer":"Google (DeepMind / Gemini) published google-deepmind/miniF2F (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo google-deepmind/miniF2F · language Lean · Low-stars repo from DeepMind, minor.. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","semantic_triples":[{"subject":"Google (DeepMind / Gemini)","predicate":"published repo","object":"google-deepmind/miniF2F","text":"Google (DeepMind / Gemini) published repo google-deepmind/miniF2F."},{"subject":"google-deepmind/miniF2F","predicate":"is classified as","object":"repo signal","text":"google-deepmind/miniF2F is classified as repo signal."},{"subject":"google-deepmind/miniF2F","predicate":"belongs to","object":"repos desk","text":"google-deepmind/miniF2F belongs to repos desk."},{"subject":"google-deepmind/miniF2F","predicate":"has context","object":"Lean","text":"google-deepmind/miniF2F has context Lean."},{"subject":"google-deepmind/miniF2F","predicate":"has evidence coverage","object":"1 captured evidence page","text":"google-deepmind/miniF2F has evidence coverage 1 captured evidence page."}]},"signal":{"id":"f79d0c9d-fbcd-42d2-a4e0-5f2ca089dd94","url":"https://onlylabs.fyi/signals/f79d0c9d-fbcd-42d2-a4e0-5f2ca089dd94","json_url":"https://onlylabs.fyi/signals/f79d0c9d-fbcd-42d2-a4e0-5f2ca089dd94/signal.json","source_url":"https://github.com/google-deepmind/miniF2F","title":"google-deepmind/miniF2F","summary":"Google (DeepMind / Gemini) 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":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2025-08-01T18:01:14+00:00","first_seen_at":"2026-06-05T05:42:58.453363+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/google-deepmind/miniF2F"]},"facets":{"repo":"google-deepmind/miniF2F","language":"Lean"},"traction":{"github_stars":13,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"url":"https://github.com/google-deepmind/miniF2F","final_url":"https://github.com/google-deepmind/miniF2F","title":"google-deepmind/miniF2F repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T04:00:13.317074+00:00","bytes":9655,"raw_path":"081e2a40657b5daae29553446b159d4a071186dc302dd308c362fd263170ed42.json","content_hash":"8e8c9ddd21026688e1dedd752986a685dd64bf59dc20e4a3417f2376647401a7","excerpt_chars":1200,"truncated":true,"excerpt":"google-deepmind/miniF2F Description: A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers. Language: Lean License: Apache-2.0 Stars: 13 Forks: 3 Open issues: 2 Created: 2025-08-01T18:01:14Z Pushed: 2026-04-23T14:22:20Z Default branch: main Fork: no Archived: no README: MiniF2F [![.github/workflows/ci.yml](https://github.com/google-deepmind/miniF2F/actions/workflows/ci.yml/badge.svg)](https://github.com/google-deepmind/miniF2F/actions/workflows/ci.yml) [![Gitpod Ready-to-Code](https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod)](https://gitpod.io/#https://github.com/google-deepmind/miniF2F) This repository is a fork of [openai/miniF2F](https://github.com/openai/miniF2F), which is described in [MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics](https://arxiv.org/abs/2109.00110). It contains Lean 4 translations of the Lean 3 problems in the original, translated using [mathport](https://github.com/leanprover-community/mathport). Compared to the original, this: * contains natural language docstrings taken from (best estimates of) the source of the original problems, to make..."},"evidence_pages":[{"url":"https://github.com/google-deepmind/miniF2F","final_url":"https://github.com/google-deepmind/miniF2F","title":"google-deepmind/miniF2F repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T04:00:13.317074+00:00","bytes":9655,"raw_path":"081e2a40657b5daae29553446b159d4a071186dc302dd308c362fd263170ed42.json","content_hash":"8e8c9ddd21026688e1dedd752986a685dd64bf59dc20e4a3417f2376647401a7","excerpt_chars":1200,"truncated":true,"excerpt":"google-deepmind/miniF2F Description: A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers. Language: Lean License: Apache-2.0 Stars: 13 Forks: 3 Open issues: 2 Created: 2025-08-01T18:01:14Z Pushed: 2026-04-23T14:22:20Z Default branch: main Fork: no Archived: no README: MiniF2F [![.github/workflows/ci.yml](https://github.com/google-deepmind/miniF2F/actions/workflows/ci.yml/badge.svg)](https://github.com/google-deepmind/miniF2F/actions/workflows/ci.yml) [![Gitpod Ready-to-Code](https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod)](https://gitpod.io/#https://github.com/google-deepmind/miniF2F) This repository is a fork of [openai/miniF2F](https://github.com/openai/miniF2F), which is described in [MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics](https://arxiv.org/abs/2109.00110). It contains Lean 4 translations of the Lean 3 problems in the original, translated using [mathport](https://github.com/leanprover-community/mathport). Compared to the original, this: * contains natural language docstrings taken from (best estimates of) the source of the original problems, to make..."}],"related_signals":[{"id":"02f8701d-7bfd-41b5-aabe-1ad72a880dfb","url":"https://onlylabs.fyi/signals/02f8701d-7bfd-41b5-aabe-1ad72a880dfb","source_url":"https://github.com/google-deepmind/unpic","title":"google-deepmind/unpic","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-06-04T14:37:24+00:00","first_seen_at":"2026-06-05T05:42:58.453363+00:00","date_source":"source"},{"id":"35320cac-ddbe-4f25-a3b5-384a0ca0030b","url":"https://onlylabs.fyi/signals/35320cac-ddbe-4f25-a3b5-384a0ca0030b","source_url":"https://github.com/google-deepmind/seeing_without_pixels","title":"google-deepmind/seeing_without_pixels","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-06-03T04:04:52+00:00","first_seen_at":"2026-06-05T05:42:58.453363+00:00","date_source":"source"},{"id":"62f799ef-bf1d-4aee-9f87-fa0de8bb5e81","url":"https://onlylabs.fyi/signals/62f799ef-bf1d-4aee-9f87-fa0de8bb5e81","source_url":"https://github.com/google-deepmind/nested","title":"google-deepmind/nested","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-05-18T16:16:42+00:00","first_seen_at":"2026-06-05T05:42:58.453363+00:00","date_source":"source"},{"id":"e67b1d5f-ef62-4574-80df-a72a4bded705","url":"https://onlylabs.fyi/signals/e67b1d5f-ef62-4574-80df-a72a4bded705","source_url":"https://github.com/google-deepmind/science-skills","title":"google-deepmind/science-skills","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-05-13T16:17:41+00:00","first_seen_at":"2026-06-05T05:42:58.453363+00:00","date_source":"source"},{"id":"7b714793-a56e-495b-8d57-85fd2850555a","url":"https://onlylabs.fyi/signals/7b714793-a56e-495b-8d57-85fd2850555a","source_url":"https://github.com/google-deepmind/alphaproof-nexus-results","title":"google-deepmind/alphaproof-nexus-results","context":"Lean","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-05-13T09:59:21+00:00","first_seen_at":"2026-06-05T05:42:58.453363+00:00","date_source":"source"},{"id":"dab748d2-53d6-4972-a594-eb6bfbf727ea","url":"https://onlylabs.fyi/signals/dab748d2-53d6-4972-a594-eb6bfbf727ea","source_url":"https://github.com/google-deepmind/tecci","title":"google-deepmind/tecci","context":"JavaScript","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-05-05T12:22:40+00:00","first_seen_at":"2026-06-05T05:42:58.453363+00:00","date_source":"source"}]}