{
  "schema_version": "1.0.0",
  "verification_stage_contract": "bounded-workflow-v2",
  "entity_id": "gh:openai/math",
  "points": [
    {
      "id": "gh:openai/math",
      "score": 8.6,
      "popularity": 7673.0,
      "stars": 8425,
      "momentum": 9.0,
      "score_components": {
        "usefulness": 8.6,
        "novelty": 9.0,
        "momentum": 9.5,
        "maturity": 8.7,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Silver",
      "verdict": "research_only",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-07T17:10:55.089768Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_c11ffd22460cceca0bb46451",
        "version": "obs_e29b46eb6a18aa75e02d9c89",
        "last_release_at": "obs_4179004eff043c0acf96dbbe",
        "last_release_url": "obs_f9e7fd8238ade05e735a9fac",
        "pushed_at": "obs_865988d67b90334eda1b3665",
        "archived": "obs_6e94319385c9585ed3554657",
        "default_branch": "obs_4779e31ce24bc47490f024ad",
        "default_branch_updated_at": "obs_b3d03cb40e994fdd360798b6",
        "maintenance_status": "obs_052f76f58b7f43e5509907ab",
        "momentum": "obs_55b5de2a1132c0932842b6bf",
        "repository_topics": "obs_f85a5ddcd59ca77485e3939b",
        "integrations": "obs_048abd71efbc60d9def25bcc",
        "integration_fingerprint": "obs_71a3c6a8e498d8242994b889",
        "deployment_models": "obs_56df9498cf64739bb419cc62",
        "extensibility": "obs_1ce3544470f0edfc1357bf89"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-07"
    },
    {
      "id": "gh:openai/math",
      "score": 8.6,
      "popularity": 7673.0,
      "stars": 10273,
      "momentum": 10.0,
      "score_components": {
        "usefulness": 8.6,
        "novelty": 9.0,
        "momentum": 9.5,
        "maturity": 8.7,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Silver",
      "verdict": "research_only",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-08T05:15:53.503430Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_0a0bfbfedc6b0b78ab675aee",
        "version": "obs_146898a3fd4a05b46affb230",
        "last_release_at": "obs_7f9d4f8f3df2f3ff4898d8c0",
        "last_release_url": "obs_10df948912b3d200e50f5bda",
        "pushed_at": "obs_791e38e2c0d4b40638b4d552",
        "archived": "obs_bdcabafaba42b8e295073fda",
        "default_branch": "obs_6101dbcd54633c16461ba58c",
        "default_branch_updated_at": "obs_c4f73128523d9fcfbfa6377e",
        "maintenance_status": "obs_035d7422657f8419f6515ca0",
        "momentum": "obs_7c9ad6650c1336aa695f12ac",
        "repository_topics": "obs_7bd92cd710d1cd4f9945b667",
        "integrations": "obs_98a58d5920058789a9651b6a",
        "integration_fingerprint": "obs_b7b413eab7474c6d9c72fd23",
        "deployment_models": "obs_dd8bf398e79c7372d7ae119e",
        "extensibility": "obs_532264e3e23466a58003bdaa"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-08"
    },
    {
      "id": "gh:openai/math",
      "score": 8.6,
      "popularity": 7673.0,
      "stars": 12929,
      "momentum": 9.0,
      "score_components": {
        "usefulness": 8.6,
        "novelty": 9.0,
        "momentum": 9.5,
        "maturity": 8.7,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Silver",
      "verdict": "research_only",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-09T17:10:43.538271Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_3fc4e7d6af15277d2c8f9c63",
        "version": "obs_690f9089976882f4136e5902",
        "last_release_at": "obs_8959d6e2f2940cc3aea05264",
        "last_release_url": "obs_d5e8ff9238fdb8159034157c",
        "pushed_at": "obs_f4749687542ab73814f79c20",
        "archived": "obs_7a9189e54d5281d110f59d0c",
        "default_branch": "obs_759f2b7a7927a733e95a6ceb",
        "default_branch_updated_at": "obs_7d18cc98ce8186ff729a39cc",
        "maintenance_status": "obs_eaad5f926c2f627c08f3a49b",
        "momentum": "obs_8e700262db24aaa4e6994e23",
        "repository_topics": "obs_d9ea3c550a3f9864d81699ad",
        "integrations": "obs_83e008b49eed88c5a6c1b67c",
        "integration_fingerprint": "obs_c10c0d9bec2607be74c91977",
        "deployment_models": "obs_2c6b08d376587720b923eec0",
        "extensibility": "obs_f4f1fff8b40e2963803227a3"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-09"
    },
    {
      "id": "gh:openai/math",
      "score": 8.6,
      "popularity": 7673.0,
      "stars": 13588,
      "momentum": 9.0,
      "score_components": {
        "usefulness": 8.6,
        "novelty": 9.0,
        "momentum": 9.5,
        "maturity": 8.7,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Silver",
      "verdict": "research_only",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-10T17:09:29.745535Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_91b4d3cd0b5a72bbd6673a39",
        "version": "obs_c5f5c10bd546f49a55efbbb7",
        "last_release_at": "obs_34c8815dca3a80de3b8478e2",
        "last_release_url": "obs_fe1cc2ea6fa6da0164636579",
        "pushed_at": "obs_bce8c6c8ecc6233c0e9b5050",
        "archived": "obs_55bdcd6d80c4f1fce3a141f4",
        "default_branch": "obs_8ed7675fd8004d287e7b77f7",
        "default_branch_updated_at": "obs_fd97a316d2b93fd5b11f5f10",
        "maintenance_status": "obs_14997ab0e84d4694c40d2705",
        "momentum": "obs_1803a60a4cc8e46a5d8979f7",
        "repository_topics": "obs_96232cab8d9f1addcbbe99d9",
        "integrations": "obs_688f855ac00fb8549dccf170",
        "integration_fingerprint": "obs_953694f8f6167b754bdb9147",
        "deployment_models": "obs_d86f8753084d6b39b1f19e17",
        "extensibility": "obs_3820c3f8bb24d3fa10f61e03"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-10"
    }
  ],
  "changes": [
    {
      "id": "evt_b13ed9f8d76f631a354f",
      "entity_id": "gh:openai/math",
      "item_url": "/item/openai-math/",
      "title": "OpenAI Math",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-10T17:09:29.745535Z",
      "before": 13236,
      "after": 13588,
      "explanation": "Stars changed: 13236 → 13588.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Silver",
      "risk": "none",
      "verdict": "research_only",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "researchers studying machine-generated proofs",
        "Lean users"
      ],
      "risk_categories": [],
      "search_text": "openai math openai open_source other research silver none research_only researchers studying machine-generated proofs lean users",
      "material_mover": true
    },
    {
      "id": "evt_35c8c2c4926e91845a95",
      "entity_id": "gh:openai/math",
      "item_url": "/item/openai-math/",
      "title": "OpenAI Math",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-10T05:15:01.956756Z",
      "before": 12929,
      "after": 13236,
      "explanation": "Stars changed: 12929 → 13236.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Silver",
      "risk": "none",
      "verdict": "research_only",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "researchers studying machine-generated proofs",
        "Lean users"
      ],
      "risk_categories": [],
      "search_text": "openai math openai open_source other research silver none research_only researchers studying machine-generated proofs lean users",
      "material_mover": true
    },
    {
      "id": "evt_92fb06f2044db55cde5a",
      "entity_id": "gh:openai/math",
      "item_url": "/item/openai-math/",
      "title": "OpenAI Math",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-09T17:10:43.538271Z",
      "before": 12351,
      "after": 12929,
      "explanation": "Stars changed: 12351 → 12929.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Silver",
      "risk": "none",
      "verdict": "research_only",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "researchers studying machine-generated proofs",
        "Lean users"
      ],
      "risk_categories": [],
      "search_text": "openai math openai open_source other research silver none research_only researchers studying machine-generated proofs lean users",
      "material_mover": true
    },
    {
      "id": "evt_ee8ccc674dacdc959ecc",
      "entity_id": "gh:openai/math",
      "item_url": "/item/openai-math/",
      "title": "OpenAI Math",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-09T05:11:59.425720Z",
      "before": 10273,
      "after": 12351,
      "explanation": "Stars changed: 10273 → 12351.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Silver",
      "risk": "none",
      "verdict": "research_only",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "researchers studying machine-generated proofs",
        "Lean users"
      ],
      "risk_categories": [],
      "search_text": "openai math openai open_source other research silver none research_only researchers studying machine-generated proofs lean users",
      "material_mover": true
    },
    {
      "id": "evt_23275f4bbc6c21a219c1",
      "entity_id": "gh:openai/math",
      "item_url": "/item/openai-math/",
      "title": "OpenAI Math",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-08T05:15:53.503430Z",
      "before": 8425,
      "after": 10273,
      "explanation": "Stars changed: 8425 → 10273.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Silver",
      "risk": "none",
      "verdict": "research_only",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "researchers studying machine-generated proofs",
        "Lean users"
      ],
      "risk_categories": [],
      "search_text": "openai math openai open_source other research silver none research_only researchers studying machine-generated proofs lean users",
      "material_mover": true
    },
    {
      "id": "evt_ab9c5a28cffebbf21570",
      "entity_id": "gh:openai/math",
      "item_url": "/item/openai-math/",
      "title": "OpenAI Math",
      "category": "other",
      "kind": "new_entity",
      "occurred_at": "2026-10-07T17:10:55.089768Z",
      "before": null,
      "after": "research_only",
      "explanation": "Newly added to RepoRadar's decision catalog.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Silver",
      "risk": "none",
      "verdict": "research_only",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "researchers studying machine-generated proofs",
        "Lean users"
      ],
      "risk_categories": [],
      "search_text": "openai math openai open_source other research silver none research_only researchers studying machine-generated proofs lean users",
      "material_mover": false
    }
  ]
}