{"data":{"full_name":"lean-dojo/LeanCopilot","name":"LeanCopilot","description":"LLMs as Copilots for Theorem Proving in Lean","stars":1244.0,"forks":122.0,"language":"C++","license":"MIT","archived":0.0,"subcategory":"llm-agent-training-gyms","last_pushed_at":"2026-02-17T01:15:05+00:00","pypi_package":null,"npm_package":null,"downloads_monthly":0.0,"dependency_count":0.0,"commits_30d":0.0,"reverse_dep_count":0.0,"maintenance_score":10.0,"adoption_score":10.0,"maturity_score":16.0,"community_score":19.0,"quality_score":55.0,"quality_tier":"established","risk_flags":"['no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-06T19:26:32.601051+00:00"}}