{"data":{"full_name":"Beneficial-AI-Foundation/NumpySpec","name":"NumpySpec","description":"numpy -> lean 4 through ai ","stars":3.0,"forks":1.0,"language":"Lean","license":"Apache-2.0","archived":0.0,"subcategory":"robotics-control-optimization","last_pushed_at":"2025-07-28T15:24:14+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":2.0,"adoption_score":3.0,"maturity_score":16.0,"community_score":12.0,"quality_score":33.0,"quality_tier":"emerging","risk_flags":"['stale_6m', 'no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-14T22:02:41.781917+00:00"}}