Downloads in the 30 and 7 days to October 10, 2026. Refreshed weekly.
Package Information
No reported malware or high/critical advisories · Details
The current version has no OSV.dev malware reports and no critical or high-severity vulnerabilities.
Package Insights
((week_daily_avg - month_daily_avg) / month_daily_avg) * 100More insights and metrics
Downloads by OS
Python Versions
Top Countries
Weekly Downloads
GitHub Stars
Dependencies
Used By
- certora-cli-alpha-oz-publish-test 1.0K/mo
- certora-cli-alpha-cert-7596-execute-cargo-build 432/mo
- certora-cli-alpha-niv-fix-path-in-soroban-entry 415/mo
- certora-cli-alpha-rahav-cert-9297-formatter-publish 317/mo
- certora-cli-alpha-oz-license 187/mo
- certora-cli-alpha-rahav-support-external-build-rahav 182/mo
- certora-cli-alpha-abakst-auto-erc7201-storage-extension 120/mo
- certora-cli-alpha-rahav-cert-9018-solc6-6 117/mo
- certora-cli-alpha-oz-setuptools 112/mo
- certora-cli-alpha-oz-beta 111/mo