{"package":"halmos","ecosystem":"pypi","exists":true,"latest_version":"0.3.3","repository":"https://github.com/a16z/halmos","license":"GNU Affero General Public v3","description":"A symbolic testing tool for EVM smart contracts","downloads_weekly":2562,"deprecated":false,"health":{"score":58},"_cache":"db_only_bot","_partial":true,"_response_ms":1,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}