{"data":{"full_name":"leanprover/Pantograph","name":"Pantograph","description":"(Mirror) A Machine-to-Machine Interaction System for Lean 4","stars":56.0,"forks":11.0,"language":"Lean","license":"Apache-2.0","archived":0.0,"subcategory":"black-box-optimization","last_pushed_at":"2026-02-24T19:00:55+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":8.0,"maturity_score":16.0,"community_score":17.0,"quality_score":51.0,"quality_tier":"established","risk_flags":"['no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-10T00:03:01.322838+00:00"}}