{"data":{"full_name":"JGalego/torchlib","name":"torchlib","description":"Deep learning meets Lean4 🔥✅","stars":5.0,"forks":2.0,"language":"Lean","license":"MIT","archived":0.0,"subcategory":"gradient-descent-optimizers","last_pushed_at":"2026-03-10T01:20:09+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":4.0,"maturity_score":11.0,"community_score":13.0,"quality_score":38.0,"quality_tier":"emerging","risk_flags":"['no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-10T17:53:54.357468+00:00"}}