{"schema_version":"onlylabs.public_signal.v1","title":"ByteDance (Doubao/Seed) Repo: ByteDance-Seed/Seed-Prover","description":"ByteDance (Doubao/Seed) repo signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/b8ca1839-0a15-4666-81e9-ab9ee414c0cf","json_url":"https://onlylabs.fyi/signals/b8ca1839-0a15-4666-81e9-ab9ee414c0cf/signal.json","generated_at":"2026-06-11T03:58:32.935473+00:00","org":{"slug":"bytedance","name":"ByteDance (Doubao/Seed)","category":"frontier-lab","category_label":"Frontier lab","dossier_url":"https://onlylabs.fyi/labs/bytedance","dossier_json_url":"https://onlylabs.fyi/labs/bytedance/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/b8ca1839-0a15-4666-81e9-ab9ee414c0cf","signal_json":"https://onlylabs.fyi/signals/b8ca1839-0a15-4666-81e9-ab9ee414c0cf/signal.json","source":"https://github.com/ByteDance-Seed/Seed-Prover","lab_dossier":"https://onlylabs.fyi/labs/bytedance","lab_dossier_json":"https://onlylabs.fyi/labs/bytedance/dossier.json","analysis":"https://onlylabs.fyi/analysis/bytedance","analysis_json":"https://onlylabs.fyi/analysis/bytedance/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/bytedance/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":"ByteDance (Doubao/Seed) published ByteDance-Seed/Seed-Prover (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo ByteDance-Seed/Seed-Prover · language Lean · New repo with decent traction from major AI lab.. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","signal_desk":"repos","source_context":{"source_url":"https://github.com/ByteDance-Seed/Seed-Prover","source_host":"github.com","occurred_at":"2025-07-16T07:37:21+00:00","first_seen_at":"2026-06-05T20:58:46.965734+00:00","date_source":"source","context":"Lean"},"context_markers":[{"label":"Lab","value":"ByteDance (Doubao/Seed)","source":"signal"},{"label":"Signal desk","value":"repos","source":"signal"},{"label":"Source host","value":"github.com","source":"source"},{"label":"Repository","value":"ByteDance-Seed/Seed-Prover","source":"source"},{"label":"Language","value":"Lean","source":"source"},{"label":"Stars","value":"433","source":"traction"},{"label":"Notability","value":"New repo with decent traction from major AI lab.","source":"signal"}],"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/ByteDance-Seed/Seed-Prover"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-06-11T03:58:32.935473+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/b8ca1839-0a15-4666-81e9-ab9ee414c0cf/signal.json","dossier_json":"https://onlylabs.fyi/labs/bytedance/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/bytedance/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/bytedance/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/b8ca1839-0a15-4666-81e9-ab9ee414c0cf/signal.json","required":true},{"label":"source","url":"https://github.com/ByteDance-Seed/Seed-Prover","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/bytedance/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/bytedance/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 ByteDance (Doubao/Seed)'s repo signal \"ByteDance-Seed/Seed-Prover\" for frontier lab strategy."},"semantic_triples":[{"subject":"ByteDance (Doubao/Seed)","predicate":"published repo","object":"ByteDance-Seed/Seed-Prover","text":"ByteDance (Doubao/Seed) published repo ByteDance-Seed/Seed-Prover."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"is classified as","object":"repo signal","text":"ByteDance-Seed/Seed-Prover is classified as repo signal."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"belongs to","object":"repos desk","text":"ByteDance-Seed/Seed-Prover belongs to repos desk."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has context","object":"Lean","text":"ByteDance-Seed/Seed-Prover has context Lean."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has evidence coverage","object":"1 captured evidence page","text":"ByteDance-Seed/Seed-Prover has evidence coverage 1 captured evidence page."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has captured page count","object":"1","text":"ByteDance-Seed/Seed-Prover has captured page count 1."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has readable page count","object":"1","text":"ByteDance-Seed/Seed-Prover has readable page count 1."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has related signal count","object":"6","text":"ByteDance-Seed/Seed-Prover has related signal count 6."},{"subject":"ByteDance-Seed/Seed-Prover","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":"ByteDance-Seed/Seed-Prover 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":"ByteDance-Seed/Seed-Prover","predicate":"has source host","object":"github.com","text":"ByteDance-Seed/Seed-Prover has source host github.com."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has lab","object":"ByteDance (Doubao/Seed)","text":"ByteDance-Seed/Seed-Prover has lab ByteDance (Doubao/Seed)."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has signal desk","object":"repos","text":"ByteDance-Seed/Seed-Prover has signal desk repos."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has source host","object":"github.com","text":"ByteDance-Seed/Seed-Prover has source host github.com."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has repository","object":"ByteDance-Seed/Seed-Prover","text":"ByteDance-Seed/Seed-Prover has repository ByteDance-Seed/Seed-Prover."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has language","object":"Lean","text":"ByteDance-Seed/Seed-Prover has language Lean."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has stars","object":"433","text":"ByteDance-Seed/Seed-Prover has stars 433."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has notability","object":"New repo with decent traction from major AI lab.","text":"ByteDance-Seed/Seed-Prover has notability New repo with decent traction from major AI lab.."}]},"intelligence":{"signal_desk":"repos","answer":"ByteDance (Doubao/Seed) published ByteDance-Seed/Seed-Prover (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo ByteDance-Seed/Seed-Prover · language Lean · New repo with decent traction from major AI lab.. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","semantic_triples":[{"subject":"ByteDance (Doubao/Seed)","predicate":"published repo","object":"ByteDance-Seed/Seed-Prover","text":"ByteDance (Doubao/Seed) published repo ByteDance-Seed/Seed-Prover."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"is classified as","object":"repo signal","text":"ByteDance-Seed/Seed-Prover is classified as repo signal."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"belongs to","object":"repos desk","text":"ByteDance-Seed/Seed-Prover belongs to repos desk."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has context","object":"Lean","text":"ByteDance-Seed/Seed-Prover has context Lean."},{"subject":"ByteDance-Seed/Seed-Prover","predicate":"has evidence coverage","object":"1 captured evidence page","text":"ByteDance-Seed/Seed-Prover has evidence coverage 1 captured evidence page."}]},"signal":{"id":"b8ca1839-0a15-4666-81e9-ab9ee414c0cf","url":"https://onlylabs.fyi/signals/b8ca1839-0a15-4666-81e9-ab9ee414c0cf","json_url":"https://onlylabs.fyi/signals/b8ca1839-0a15-4666-81e9-ab9ee414c0cf/signal.json","source_url":"https://github.com/ByteDance-Seed/Seed-Prover","title":"ByteDance-Seed/Seed-Prover","summary":"ByteDance (Doubao/Seed) 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":"bytedance","name":"ByteDance (Doubao/Seed)","category":"frontier-lab"},"occurred_at":"2025-07-16T07:37:21+00:00","first_seen_at":"2026-06-05T20:58:46.965734+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/ByteDance-Seed/Seed-Prover"]},"facets":{"repo":"ByteDance-Seed/Seed-Prover","language":"Lean"},"traction":{"github_stars":433,"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/ByteDance-Seed/Seed-Prover","final_url":"https://github.com/ByteDance-Seed/Seed-Prover","title":"ByteDance-Seed/Seed-Prover repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T03:58:32.935473+00:00","bytes":12261,"raw_path":"034715a01cba1e897ef0d971a810463e4b4d08ba1ac9f49aa49c29e3885923db.json","content_hash":"bdce00295a262f6404279ee0bc409d504bb76d21f82fb1caf9a24ab02be46911","excerpt_chars":1200,"truncated":true,"excerpt":"ByteDance-Seed/Seed-Prover Language: Lean License: Apache-2.0 Stars: 433 Forks: 28 Open issues: 3 Created: 2025-07-16T07:37:21Z Pushed: 2026-02-13T15:03:35Z Default branch: main Fork: no Archived: no README: <div align=\"center\"> 👋 Hi, everyone! <br> We are <b>ByteDance Seed team.</b> </div> <p align=\"center\"> You can get to know us better through the following channels👇 <br> <a href=\"https://team.doubao.com/\"> <img src=\"https://img.shields.io/badge/Website-%231e37ff?style=for-the-badge&logo=bytedance&logoColor=white\"></a> <a href=\"https://github.com/user-attachments/assets/93481cda-a7f3-47f3-b333-fe6b3da86b78\"> <img src=\"https://img.shields.io/badge/WeChat-07C160?style=for-the-badge&logo=wechat&logoColor=white\"></a> <a href=\"Seed研究员 - 小红书\"> <img src=\"https://img.shields.io/badge/Xiaohongshu-%23FF2442?style=for-the-badge&logo=xiaohongshu&logoColor=white\"></a> <a href=\"https://www.zhihu.com/org/dou-bao-da-mo-xing-tuan-dui/\"> <img src=\"https://img.shields.io/badge/zhihu-%230084FF?style=for-the-badge&logo=zhihu&logoColor=white\"></a> </p> ![seed logo](https://github.com/user-attachments/assets/c42e675e-497c-4508-8bb9-093ad4d1f216) <img src=\"./imgs/logo.png\" height=\"25\"> Seed-Prover..."},"evidence_pages":[{"url":"https://github.com/ByteDance-Seed/Seed-Prover","final_url":"https://github.com/ByteDance-Seed/Seed-Prover","title":"ByteDance-Seed/Seed-Prover repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T03:58:32.935473+00:00","bytes":12261,"raw_path":"034715a01cba1e897ef0d971a810463e4b4d08ba1ac9f49aa49c29e3885923db.json","content_hash":"bdce00295a262f6404279ee0bc409d504bb76d21f82fb1caf9a24ab02be46911","excerpt_chars":1200,"truncated":true,"excerpt":"ByteDance-Seed/Seed-Prover Language: Lean License: Apache-2.0 Stars: 433 Forks: 28 Open issues: 3 Created: 2025-07-16T07:37:21Z Pushed: 2026-02-13T15:03:35Z Default branch: main Fork: no Archived: no README: <div align=\"center\"> 👋 Hi, everyone! <br> We are <b>ByteDance Seed team.</b> </div> <p align=\"center\"> You can get to know us better through the following channels👇 <br> <a href=\"https://team.doubao.com/\"> <img src=\"https://img.shields.io/badge/Website-%231e37ff?style=for-the-badge&logo=bytedance&logoColor=white\"></a> <a href=\"https://github.com/user-attachments/assets/93481cda-a7f3-47f3-b333-fe6b3da86b78\"> <img src=\"https://img.shields.io/badge/WeChat-07C160?style=for-the-badge&logo=wechat&logoColor=white\"></a> <a href=\"Seed研究员 - 小红书\"> <img src=\"https://img.shields.io/badge/Xiaohongshu-%23FF2442?style=for-the-badge&logo=xiaohongshu&logoColor=white\"></a> <a href=\"https://www.zhihu.com/org/dou-bao-da-mo-xing-tuan-dui/\"> <img src=\"https://img.shields.io/badge/zhihu-%230084FF?style=for-the-badge&logo=zhihu&logoColor=white\"></a> </p> ![seed logo](https://github.com/user-attachments/assets/c42e675e-497c-4508-8bb9-093ad4d1f216) <img src=\"./imgs/logo.png\" height=\"25\"> Seed-Prover..."}],"related_signals":[{"id":"55e0369a-bd79-48f1-a004-0cd4fdfb03e4","url":"https://onlylabs.fyi/signals/55e0369a-bd79-48f1-a004-0cd4fdfb03e4","source_url":"https://github.com/ByteDance-Seed/TaskMem","title":"ByteDance-Seed/TaskMem","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"bytedance","name":"ByteDance (Doubao/Seed)","category":"frontier-lab"},"occurred_at":"2026-05-29T03:03:17+00:00","first_seen_at":"2026-06-05T20:58:46.965734+00:00","date_source":"source"},{"id":"957704c5-24c9-4360-aafa-f8382010ed1d","url":"https://onlylabs.fyi/signals/957704c5-24c9-4360-aafa-f8382010ed1d","source_url":"https://github.com/ByteDance-Seed/Cola-DLM","title":"ByteDance-Seed/Cola-DLM","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"bytedance","name":"ByteDance (Doubao/Seed)","category":"frontier-lab"},"occurred_at":"2026-05-15T07:09:04+00:00","first_seen_at":"2026-06-05T20:58:46.965734+00:00","date_source":"source"},{"id":"22ca2261-1970-4664-95e2-1c4d404c0eb3","url":"https://onlylabs.fyi/signals/22ca2261-1970-4664-95e2-1c4d404c0eb3","source_url":"https://github.com/ByteDance-Seed/THEMol","title":"ByteDance-Seed/THEMol","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"bytedance","name":"ByteDance (Doubao/Seed)","category":"frontier-lab"},"occurred_at":"2026-05-15T05:36:08+00:00","first_seen_at":"2026-06-05T20:58:46.965734+00:00","date_source":"source"},{"id":"6a0854bb-9654-4e4e-92dc-e8fff1d6c7b9","url":"https://onlylabs.fyi/signals/6a0854bb-9654-4e4e-92dc-e8fff1d6c7b9","source_url":"https://github.com/ByteDance-Seed/felis","title":"ByteDance-Seed/felis","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"bytedance","name":"ByteDance (Doubao/Seed)","category":"frontier-lab"},"occurred_at":"2026-05-06T08:54:43+00:00","first_seen_at":"2026-06-05T20:58:46.965734+00:00","date_source":"source"},{"id":"05e5f295-f84c-41c4-89df-baa3606008b1","url":"https://onlylabs.fyi/signals/05e5f295-f84c-41c4-89df-baa3606008b1","source_url":"https://github.com/ByteDance-Seed/SimArt","title":"ByteDance-Seed/SimArt","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"bytedance","name":"ByteDance (Doubao/Seed)","category":"frontier-lab"},"occurred_at":"2026-04-23T03:25:52+00:00","first_seen_at":"2026-06-05T20:58:46.965734+00:00","date_source":"source"},{"id":"106937f9-35dd-41e2-adde-98e74527e1b8","url":"https://onlylabs.fyi/signals/106937f9-35dd-41e2-adde-98e74527e1b8","source_url":"https://github.com/ByteDance-Seed/In-Place-TTT","title":"ByteDance-Seed/In-Place-TTT","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"bytedance","name":"ByteDance (Doubao/Seed)","category":"frontier-lab"},"occurred_at":"2026-04-07T05:50:45+00:00","first_seen_at":"2026-06-05T20:58:46.965734+00:00","date_source":"source"}]}