{"package":"lean-explore","ecosystem":"pypi","exists":true,"latest_version":"1.2.1","repository":"https://github.com/justincasher/lean-explore","license":"Apache-2.0","description":"A search engine for Lean 4 declarations.","downloads_weekly":0,"deprecated":false,"health":{"score":49},"_cache":"db_only_bot","_partial":true,"_response_ms":1,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}