{"data":{"full_name":"stanford-centaur/PyPantograph","name":"PyPantograph","description":"A Machine-to-Machine Interaction System for Lean 4.","stars":136.0,"forks":31.0,"language":"Python","license":"Apache-2.0","archived":0.0,"subcategory":"gradient-descent-optimizers","last_pushed_at":"2026-02-24T23:13:06+00:00","pypi_package":null,"npm_package":null,"downloads_monthly":0.0,"dependency_count":0.0,"commits_30d":null,"reverse_dep_count":0.0,"maintenance_score":10.0,"adoption_score":10.0,"maturity_score":16.0,"community_score":20.0,"quality_score":56.0,"quality_tier":"established","risk_flags":"['no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-07T06:58:34.085353+00:00"}}