{"package":"DafnyRuntimePython","ecosystem":"pypi","latest_version":"4.11.0","description":"Dafny runtime for Python","license":"MIT","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://pypi.org/project/DafnyRuntimePython/","repository":"https://github.com/dafny-lang/dafny","downloads_weekly":47792,"health":{"score":59,"risk":"high","breakdown":{"maintenance":10,"popularity":10,"security":25,"maturity":9,"community":5},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"4.11.0","total_count":11,"recent":["4.4.0","4.5.0","4.6.0","4.7.0","4.8.0","4.8.1","4.8.1.post1","4.9.0","4.9.1","4.10.0","4.11.0"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":0,"first_published":null,"last_published":"2025-08-25T20:54:30.501513Z","dependencies_count":0,"dependencies":[]},"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":"4.11.0","version_hint":null,"summary":"DafnyRuntimePython@4.11.0 is safe to use (health: 59/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}}