{"schema_version":"onlylabs.public_signal.v1","title":"Moonshot AI (Kimi) Repo: MoonshotAI/CombiBench","description":"Moonshot AI (Kimi) repo signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/ae039818-8ba1-4bbf-8181-7d831848bcf3","json_url":"https://onlylabs.fyi/signals/ae039818-8ba1-4bbf-8181-7d831848bcf3/signal.json","generated_at":"2026-06-11T03:57:37.557062+00:00","org":{"slug":"moonshot","name":"Moonshot AI (Kimi)","category":"frontier-lab","category_label":"Frontier lab","dossier_url":"https://onlylabs.fyi/labs/moonshot","dossier_json_url":"https://onlylabs.fyi/labs/moonshot/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/ae039818-8ba1-4bbf-8181-7d831848bcf3","signal_json":"https://onlylabs.fyi/signals/ae039818-8ba1-4bbf-8181-7d831848bcf3/signal.json","source":"https://github.com/MoonshotAI/CombiBench","lab_dossier":"https://onlylabs.fyi/labs/moonshot","lab_dossier_json":"https://onlylabs.fyi/labs/moonshot/dossier.json","analysis":"https://onlylabs.fyi/analysis/moonshot","analysis_json":"https://onlylabs.fyi/analysis/moonshot/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/moonshot/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":"Moonshot AI (Kimi) published MoonshotAI/CombiBench (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo MoonshotAI/CombiBench · language Lean · New benchmark repo with low traction.. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","signal_desk":"repos","source_context":{"source_url":"https://github.com/MoonshotAI/CombiBench","source_host":"github.com","occurred_at":"2025-04-28T10:57:32+00:00","first_seen_at":"2026-06-05T20:58:48.769801+00:00","date_source":"source","context":"Lean"},"context_markers":[{"label":"Lab","value":"Moonshot AI (Kimi)","source":"signal"},{"label":"Signal desk","value":"repos","source":"signal"},{"label":"Source host","value":"github.com","source":"source"},{"label":"Repository","value":"MoonshotAI/CombiBench","source":"source"},{"label":"Language","value":"Lean","source":"source"},{"label":"Stars","value":"50","source":"traction"},{"label":"Notability","value":"New benchmark repo with low traction.","source":"signal"},{"label":"Watch term","value":"Eval methodology","source":"evidence"},{"label":"Watch term","value":"Data pipeline","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/MoonshotAI/CombiBench"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-06-11T03:57:37.557062+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/ae039818-8ba1-4bbf-8181-7d831848bcf3/signal.json","dossier_json":"https://onlylabs.fyi/labs/moonshot/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/moonshot/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/moonshot/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/ae039818-8ba1-4bbf-8181-7d831848bcf3/signal.json","required":true},{"label":"source","url":"https://github.com/MoonshotAI/CombiBench","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/moonshot/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/moonshot/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 Moonshot AI (Kimi)'s repo signal \"MoonshotAI/CombiBench\" for frontier lab strategy."},"semantic_triples":[{"subject":"Moonshot AI (Kimi)","predicate":"published repo","object":"MoonshotAI/CombiBench","text":"Moonshot AI (Kimi) published repo MoonshotAI/CombiBench."},{"subject":"MoonshotAI/CombiBench","predicate":"is classified as","object":"repo signal","text":"MoonshotAI/CombiBench is classified as repo signal."},{"subject":"MoonshotAI/CombiBench","predicate":"belongs to","object":"repos desk","text":"MoonshotAI/CombiBench belongs to repos desk."},{"subject":"MoonshotAI/CombiBench","predicate":"has context","object":"Lean","text":"MoonshotAI/CombiBench has context Lean."},{"subject":"MoonshotAI/CombiBench","predicate":"has evidence coverage","object":"1 captured evidence page","text":"MoonshotAI/CombiBench has evidence coverage 1 captured evidence page."},{"subject":"MoonshotAI/CombiBench","predicate":"has captured page count","object":"1","text":"MoonshotAI/CombiBench has captured page count 1."},{"subject":"MoonshotAI/CombiBench","predicate":"has readable page count","object":"1","text":"MoonshotAI/CombiBench has readable page count 1."},{"subject":"MoonshotAI/CombiBench","predicate":"has related signal count","object":"6","text":"MoonshotAI/CombiBench has related signal count 6."},{"subject":"MoonshotAI/CombiBench","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":"MoonshotAI/CombiBench 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":"MoonshotAI/CombiBench","predicate":"has source host","object":"github.com","text":"MoonshotAI/CombiBench has source host github.com."},{"subject":"MoonshotAI/CombiBench","predicate":"has lab","object":"Moonshot AI (Kimi)","text":"MoonshotAI/CombiBench has lab Moonshot AI (Kimi)."},{"subject":"MoonshotAI/CombiBench","predicate":"has signal desk","object":"repos","text":"MoonshotAI/CombiBench has signal desk repos."},{"subject":"MoonshotAI/CombiBench","predicate":"has source host","object":"github.com","text":"MoonshotAI/CombiBench has source host github.com."},{"subject":"MoonshotAI/CombiBench","predicate":"has repository","object":"MoonshotAI/CombiBench","text":"MoonshotAI/CombiBench has repository MoonshotAI/CombiBench."},{"subject":"MoonshotAI/CombiBench","predicate":"has language","object":"Lean","text":"MoonshotAI/CombiBench has language Lean."},{"subject":"MoonshotAI/CombiBench","predicate":"has stars","object":"50","text":"MoonshotAI/CombiBench has stars 50."},{"subject":"MoonshotAI/CombiBench","predicate":"has notability","object":"New benchmark repo with low traction.","text":"MoonshotAI/CombiBench has notability New benchmark repo with low traction.."},{"subject":"MoonshotAI/CombiBench","predicate":"has watch term","object":"Eval methodology","text":"MoonshotAI/CombiBench has watch term Eval methodology."}]},"intelligence":{"signal_desk":"repos","answer":"Moonshot AI (Kimi) published MoonshotAI/CombiBench (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo MoonshotAI/CombiBench · language Lean · New benchmark repo with low traction.. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","semantic_triples":[{"subject":"Moonshot AI (Kimi)","predicate":"published repo","object":"MoonshotAI/CombiBench","text":"Moonshot AI (Kimi) published repo MoonshotAI/CombiBench."},{"subject":"MoonshotAI/CombiBench","predicate":"is classified as","object":"repo signal","text":"MoonshotAI/CombiBench is classified as repo signal."},{"subject":"MoonshotAI/CombiBench","predicate":"belongs to","object":"repos desk","text":"MoonshotAI/CombiBench belongs to repos desk."},{"subject":"MoonshotAI/CombiBench","predicate":"has context","object":"Lean","text":"MoonshotAI/CombiBench has context Lean."},{"subject":"MoonshotAI/CombiBench","predicate":"has evidence coverage","object":"1 captured evidence page","text":"MoonshotAI/CombiBench has evidence coverage 1 captured evidence page."}]},"signal":{"id":"ae039818-8ba1-4bbf-8181-7d831848bcf3","url":"https://onlylabs.fyi/signals/ae039818-8ba1-4bbf-8181-7d831848bcf3","json_url":"https://onlylabs.fyi/signals/ae039818-8ba1-4bbf-8181-7d831848bcf3/signal.json","source_url":"https://github.com/MoonshotAI/CombiBench","title":"MoonshotAI/CombiBench","summary":"Moonshot AI (Kimi) 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":"moonshot","name":"Moonshot AI (Kimi)","category":"frontier-lab"},"occurred_at":"2025-04-28T10:57:32+00:00","first_seen_at":"2026-06-05T20:58:48.769801+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/MoonshotAI/CombiBench"]},"facets":{"repo":"MoonshotAI/CombiBench","language":"Lean"},"traction":{"github_stars":50,"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/MoonshotAI/CombiBench","final_url":"https://github.com/MoonshotAI/CombiBench","title":"MoonshotAI/CombiBench repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T03:57:37.557062+00:00","bytes":11949,"raw_path":"b809a2beca5f3fb97d623b51e1176528a138d6718cdbc403e77da12ea92f1393.json","content_hash":"f5d81a1693051451e4ab6b484e06c8da24269ece2549de46797bceb6dcade7c4","excerpt_chars":1200,"truncated":true,"excerpt":"MoonshotAI/CombiBench Language: Lean License: MIT Stars: 50 Forks: 6 Open issues: 0 Created: 2025-04-28T10:57:32Z Pushed: 2025-12-16T11:53:09Z Default branch: master Fork: no Archived: no README: CombiBench

CombiBench is the first benchmark focused on combinatorial problems, based on the formal language Lean 4. CombiBench is a manually produced benchmark, including 100 combinatorial mathematics problems of varying difficulty and knowledge levels. It aims to provide a benchmark for evaluating the combinatorial mathematics capabilities of automated theorem proving systems to advance the field. For problems that require providing a solution first and then proving its..."},"evidence_pages":[{"url":"https://github.com/MoonshotAI/CombiBench","final_url":"https://github.com/MoonshotAI/CombiBench","title":"MoonshotAI/CombiBench repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T03:57:37.557062+00:00","bytes":11949,"raw_path":"b809a2beca5f3fb97d623b51e1176528a138d6718cdbc403e77da12ea92f1393.json","content_hash":"f5d81a1693051451e4ab6b484e06c8da24269ece2549de46797bceb6dcade7c4","excerpt_chars":1200,"truncated":true,"excerpt":"MoonshotAI/CombiBench Language: Lean License: MIT Stars: 50 Forks: 6 Open issues: 0 Created: 2025-04-28T10:57:32Z Pushed: 2025-12-16T11:53:09Z Default branch: master Fork: no Archived: no README: CombiBench

CombiBench is the first benchmark focused on combinatorial problems, based on the formal language Lean 4. CombiBench is a manually produced benchmark, including 100 combinatorial mathematics problems of varying difficulty and knowledge levels. It aims to provide a benchmark for evaluating the combinatorial mathematics capabilities of automated theorem proving systems to advance the field. For problems that require providing a solution first and then proving its..."}],"related_signals":[{"id":"79251662-bd6e-416b-a102-fa2c0094a732","url":"https://onlylabs.fyi/signals/79251662-bd6e-416b-a102-fa2c0094a732","source_url":"https://github.com/MoonshotAI/kimi-code","title":"MoonshotAI/kimi-code","context":"TypeScript","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"moonshot","name":"Moonshot AI (Kimi)","category":"frontier-lab"},"occurred_at":"2026-05-22T08:02:03+00:00","first_seen_at":"2026-06-05T20:58:48.769801+00:00","date_source":"source"},{"id":"1873c3cc-86bb-4c82-83a2-55e4b9abbf6a","url":"https://onlylabs.fyi/signals/1873c3cc-86bb-4c82-83a2-55e4b9abbf6a","source_url":"https://github.com/MoonshotAI/FlashKDA","title":"MoonshotAI/FlashKDA","context":"Cuda","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"moonshot","name":"Moonshot AI (Kimi)","category":"frontier-lab"},"occurred_at":"2026-04-20T12:59:46+00:00","first_seen_at":"2026-06-05T20:58:48.769801+00:00","date_source":"source"},{"id":"56e737b3-83b8-4d8a-896f-764466e39951","url":"https://onlylabs.fyi/signals/56e737b3-83b8-4d8a-896f-764466e39951","source_url":"https://github.com/MoonshotAI/Attention-Residuals","title":"MoonshotAI/Attention-Residuals","context":null,"kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"moonshot","name":"Moonshot AI (Kimi)","category":"frontier-lab"},"occurred_at":"2026-03-15T13:29:15+00:00","first_seen_at":"2026-06-05T20:58:48.769801+00:00","date_source":"source"},{"id":"8b3ade28-e68c-4b70-83b6-c1ed58d1fa27","url":"https://onlylabs.fyi/signals/8b3ade28-e68c-4b70-83b6-c1ed58d1fa27","source_url":"https://github.com/MoonshotAI/kimi-help-center","title":"MoonshotAI/kimi-help-center","context":null,"kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"moonshot","name":"Moonshot AI (Kimi)","category":"frontier-lab"},"occurred_at":"2026-03-02T10:39:40+00:00","first_seen_at":"2026-06-05T20:58:48.769801+00:00","date_source":"source"},{"id":"5d5d3a8a-3d2f-4b99-a4e1-ce195d537ee8","url":"https://onlylabs.fyi/signals/5d5d3a8a-3d2f-4b99-a4e1-ce195d537ee8","source_url":"https://github.com/MoonshotAI/kimi-agent-rs","title":"MoonshotAI/kimi-agent-rs","context":"Rust","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"moonshot","name":"Moonshot AI (Kimi)","category":"frontier-lab"},"occurred_at":"2026-02-06T13:28:20+00:00","first_seen_at":"2026-06-05T20:58:48.769801+00:00","date_source":"source"},{"id":"73929b19-ab5d-453e-88cc-d499bff38a01","url":"https://onlylabs.fyi/signals/73929b19-ab5d-453e-88cc-d499bff38a01","source_url":"https://github.com/MoonshotAI/Kimi-K2.5","title":"MoonshotAI/Kimi-K2.5","context":null,"kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"moonshot","name":"Moonshot AI (Kimi)","category":"frontier-lab"},"occurred_at":"2026-01-30T14:29:16+00:00","first_seen_at":"2026-06-05T20:58:48.769801+00:00","date_source":"source"}]}