{"schema_version":"onlylabs.public_signal.v1","title":"Google (DeepMind / Gemini) Repo: google-deepmind/cryptids","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/10344222-1cdc-4987-981c-fc73aefe504d","json_url":"https://onlylabs.fyi/signals/10344222-1cdc-4987-981c-fc73aefe504d/signal.json","generated_at":"2026-10-24T20:21:16.624Z","evidence_latest_fetched_at":"2026-10-13T07:04:11.471406+00:00","signal_first_seen_at":"2026-10-13T07:00:34.377141+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/10344222-1cdc-4987-981c-fc73aefe504d","signal_json":"https://onlylabs.fyi/signals/10344222-1cdc-4987-981c-fc73aefe504d/signal.json","source":"https://github.com/google-deepmind/cryptids","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/cryptids (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/cryptids · language Lean. 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/cryptids","source_host":"github.com","occurred_at":"2026-10-09T10:27:36+00:00","first_seen_at":"2026-10-13T07:00:34.377141+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/cryptids","source":"source"},{"label":"Language","value":"Lean","source":"source"},{"label":"Stars","value":"61","source":"traction"}],"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/cryptids"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-10-13T07:04:11.471406+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/10344222-1cdc-4987-981c-fc73aefe504d/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/10344222-1cdc-4987-981c-fc73aefe504d/signal.json","required":true},{"label":"source","url":"https://github.com/google-deepmind/cryptids","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/cryptids\" for frontier lab strategy."},"semantic_triples":[{"subject":"Google (DeepMind / Gemini)","predicate":"published repo","object":"google-deepmind/cryptids","text":"Google (DeepMind / Gemini) published repo google-deepmind/cryptids."},{"subject":"google-deepmind/cryptids","predicate":"is classified as","object":"repo signal","text":"google-deepmind/cryptids is classified as repo signal."},{"subject":"google-deepmind/cryptids","predicate":"belongs to","object":"repos desk","text":"google-deepmind/cryptids belongs to repos desk."},{"subject":"google-deepmind/cryptids","predicate":"has context","object":"Lean","text":"google-deepmind/cryptids has context Lean."},{"subject":"google-deepmind/cryptids","predicate":"has evidence coverage","object":"1 captured evidence page","text":"google-deepmind/cryptids has evidence coverage 1 captured evidence page."},{"subject":"google-deepmind/cryptids","predicate":"has captured page count","object":"1","text":"google-deepmind/cryptids has captured page count 1."},{"subject":"google-deepmind/cryptids","predicate":"has readable page count","object":"1","text":"google-deepmind/cryptids has readable page count 1."},{"subject":"google-deepmind/cryptids","predicate":"has related signal count","object":"6","text":"google-deepmind/cryptids has related signal count 6."},{"subject":"google-deepmind/cryptids","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/cryptids 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/cryptids","predicate":"has source host","object":"github.com","text":"google-deepmind/cryptids has source host github.com."},{"subject":"google-deepmind/cryptids","predicate":"has lab","object":"Google (DeepMind / Gemini)","text":"google-deepmind/cryptids has lab Google (DeepMind / Gemini)."},{"subject":"google-deepmind/cryptids","predicate":"has signal desk","object":"repos","text":"google-deepmind/cryptids has signal desk repos."},{"subject":"google-deepmind/cryptids","predicate":"has source host","object":"github.com","text":"google-deepmind/cryptids has source host github.com."},{"subject":"google-deepmind/cryptids","predicate":"has repository","object":"google-deepmind/cryptids","text":"google-deepmind/cryptids has repository google-deepmind/cryptids."},{"subject":"google-deepmind/cryptids","predicate":"has language","object":"Lean","text":"google-deepmind/cryptids has language Lean."},{"subject":"google-deepmind/cryptids","predicate":"has stars","object":"61","text":"google-deepmind/cryptids has stars 61."}]},"intelligence":{"signal_desk":"repos","answer":"Google (DeepMind / Gemini) published google-deepmind/cryptids (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/cryptids · language Lean. 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/cryptids","text":"Google (DeepMind / Gemini) published repo google-deepmind/cryptids."},{"subject":"google-deepmind/cryptids","predicate":"is classified as","object":"repo signal","text":"google-deepmind/cryptids is classified as repo signal."},{"subject":"google-deepmind/cryptids","predicate":"belongs to","object":"repos desk","text":"google-deepmind/cryptids belongs to repos desk."},{"subject":"google-deepmind/cryptids","predicate":"has context","object":"Lean","text":"google-deepmind/cryptids has context Lean."},{"subject":"google-deepmind/cryptids","predicate":"has evidence coverage","object":"1 captured evidence page","text":"google-deepmind/cryptids has evidence coverage 1 captured evidence page."}]},"signal":{"id":"10344222-1cdc-4987-981c-fc73aefe504d","url":"https://onlylabs.fyi/signals/10344222-1cdc-4987-981c-fc73aefe504d","json_url":"https://onlylabs.fyi/signals/10344222-1cdc-4987-981c-fc73aefe504d/signal.json","source_url":"https://github.com/google-deepmind/cryptids","title":"google-deepmind/cryptids","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":"2026-10-09T10:27:36+00:00","first_seen_at":"2026-10-13T07:00:34.377141+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/cryptids"]},"facets":{"repo":"google-deepmind/cryptids","language":"Lean"},"traction":{"github_stars":61,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"is_primary":true,"source_match":true,"url":"https://github.com/google-deepmind/cryptids","final_url":"https://github.com/google-deepmind/cryptids","title":"google-deepmind/cryptids repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-10-13T07:04:11.471406+00:00","bytes":17074,"raw_path":"c989a3347041f016b6cfcdcac0e9742576a1cd38cfbe3b0ea058bea82250bb75.json","content_hash":"315b8aed466ed6c286d5d9c7eecdbeba68587be3ea800c3f6d590d84276e24d3","excerpt_chars":1200,"truncated":true,"excerpt":"google-deepmind/cryptids Language: Lean License: Apache-2.0 Stars: 2 Forks: 0 Open issues: 0 Created: 2026-10-09T10:27:36Z Pushed: 2026-10-12T14:31:12Z Default branch: main Fork: no Archived: no README: Certified State Reductions and Semantics of Conjecture-Checking Turing Machines This repository contains formally verified 2-symbol Turing machines and Lean 4 semantics proofs for **Goldbach's Conjecture**, **ZF Set Theory Consistency**, and the **Riemann Hypothesis**, developed by Maxence Faldor and Moritz Firsching using Gemini Argon. Formalized Machines | Conjecture | Machine | States | Source / Provenance | Proved Halting Condition (`Halts M ↔ ...`) | Lean 4 Proofs | | :--- | :--- | :--- | :--- | :--- | :--- | | Goldbach's Conjecture | `goldbach_21` | `21` | Reduced from `goldbach_25` (`25` states, Yao / Leng 2024) | `¬ GoldbachConjecture` | [`Goldbach21.lean`](Cryptids/Goldbach21.lean), [`Semantics/Goldbach.lean`](Cryptids/Semantics/Goldbach.lean) | | ZF Consistency | `zf_380` | `380` | Reduced from `zf_393` (`393` states, Wade Aug 2026) | `ZFInconsistent` (`¬ Halts candidate` proved) | [`Zf380.lean`](Cryptids/Zf380.lean),..."},"evidence_pages":[],"related_signals":[{"id":"740629c0-736e-48a2-a11b-aaf2fcd5af38","url":"https://onlylabs.fyi/signals/740629c0-736e-48a2-a11b-aaf2fcd5af38","source_url":"https://github.com/google-deepmind/motion-forecasting","title":"google-deepmind/motion-forecasting","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-10-07T10:16:48+00:00","first_seen_at":"2026-10-08T07:00:33.942709+00:00","date_source":"source"},{"id":"d37f9961-2e3f-42e2-940e-be4259e4fa08","url":"https://onlylabs.fyi/signals/d37f9961-2e3f-42e2-940e-be4259e4fa08","source_url":"https://github.com/google-deepmind/alphaprotein-novo","title":"google-deepmind/alphaprotein-novo","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-10-05T14:39:58+00:00","first_seen_at":"2026-10-06T07:00:33.469422+00:00","date_source":"source"},{"id":"e49509bc-acda-4200-a178-a8b7bf94ce43","url":"https://onlylabs.fyi/signals/e49509bc-acda-4200-a178-a8b7bf94ce43","source_url":"https://github.com/google-deepmind/synthidbio","title":"google-deepmind/synthidbio","context":null,"kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-09-29T15:22:45+00:00","first_seen_at":"2026-10-01T07:00:34.625437+00:00","date_source":"source"},{"id":"13188ddd-977b-4327-89c4-aa42ce97b0f8","url":"https://onlylabs.fyi/signals/13188ddd-977b-4327-89c4-aa42ce97b0f8","source_url":"https://github.com/google-deepmind/diff-knapsack","title":"google-deepmind/diff-knapsack","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-09-07T13:14:54+00:00","first_seen_at":"2026-09-12T07:00:32.609548+00:00","date_source":"source"},{"id":"e0012928-d4ee-4e51-85f6-2426a9a52e27","url":"https://onlylabs.fyi/signals/e0012928-d4ee-4e51-85f6-2426a9a52e27","source_url":"https://github.com/google-deepmind/life-bench","title":"google-deepmind/life-bench","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-09-04T20:51:52+00:00","first_seen_at":"2026-10-09T07:00:33.191531+00:00","date_source":"source"},{"id":"6d9511ba-e40d-4c88-b478-4ea105d78732","url":"https://onlylabs.fyi/signals/6d9511ba-e40d-4c88-b478-4ea105d78732","source_url":"https://github.com/google-deepmind/polaris-bench","title":"google-deepmind/polaris-bench","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-09-03T23:45:45+00:00","first_seen_at":"2026-09-11T07:00:34.114614+00:00","date_source":"source"}]}