{"package":"boogie","ecosystem":"conda","latest_version":"3.5.6","description":"Boogie is a modeling language, intended as a layer on which to build program verifiers for other languages.","license":"MIT","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://github.com/boogie-org/boogie","repository":"https://github.com/boogie-org/boogie","downloads_weekly":107,"health":{"score":54,"risk":"high","breakdown":{"maintenance":15,"popularity":3,"security":25,"maturity":6,"community":5},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"3.5.6","total_count":8,"recent":["3.2.4","3.4.3","3.5.1","3.5.2","3.5.3","3.5.4","3.5.5","3.5.6"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":"2024-11-28 20:49:30.109000+00:00","last_published":"2025-12-13 00:47:44.762000+00:00","dependencies_count":0,"dependencies":[]},"github_stats":{"stars":580,"forks":123,"open_issues":44,"is_archived":false,"pushed_at":"2026-04-25T19:32:29Z","subscribers_count":28},"bundle":null,"typescript":null,"known_issues":{"bugs_count":0,"bugs_severity":{},"status_breakdown":{},"link":null,"scope":"none"},"historical_compromise":null,"recommendation":{"action":"safe_to_use","issues":[],"use_version":"3.5.6","version_hint":null,"summary":"boogie@3.5.6 is safe to use (health: 54/100)"},"version_scoped":null,"requested_version":null,"_cache":"hit","_response_ms":0,"_powered_by":"depscope.dev — free package intelligence for AI agents","typosquat":{"is_suspected":false},"maintainer_trust":{"available":false},"malicious":{"is_malicious":false},"scorecard":{"available":false},"quality":{"available":false},"version_history_summary":{"total_versions":8,"first_release_age_days":516,"last_release_days_ago":137,"avg_days_between_releases":74,"release_velocity":"moderate"}}