certora-cli
Runner for the Certora Prover
- Latest release
- May 19, 2026
- Releases
- 112
- Known CVEs
- 0
- First release
- May 27, 2020
- License
- unknown
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
-
certora-cli-alpha-abakst-auto-erc7201-storage-extension
-
certora-cli-alpha-master
-
certora-cli-alpha-oz-license
-
certora-cli-alpha-oz-publish-test
-
certora-cli-alpha-rahav-CERT-9018-solc6.6
-
certora-cli-alpha-rahav-CERT-9297-formatter-publish
-
certora-cli-alpha-rahav-cert-9616-fix-map
-
certora-cli-alpha-shelly-vyper04curveTakeTwo
-
certora-cli-alpha-yoav-real-destructive
-
certora-cli-beta
-
certora-cli-beta-mirror
Insights
Activity
- Total releases
- 112
- Last 12 months
- 15
- Cadence
- ~17 days
- Dependencies
- 12
Releases per month
last 12 monthsRelease mix
- major 8
- minor 46
- patch 55
- pre 2
112
releases
Dependencies
Depends on
8.13.1
1–10 of 12
Used by
1Releases
| Version | Released | |
|---|---|---|
8.13.1
patch
| ||
8.13.0
minor
| ||
8.11.3
minor
| ||
8.8.1
patch
| ||
8.8.0
minor
| ||
8.6.4
patch
| ||
8.6.3
patch
| ||
8.6.1
minor
| ||
8.5.1
minor
| ||
8.3.1
patch
| ||
8.3.0
minor
| ||
8.1.1
patch
| ||
7.31.2
patch
| ||
8.1.0
major
| ||
7.31.1
patch
| ||
7.31.0
minor
| ||
7.29.3
patch
| ||
7.29.2
patch
| ||
7.29.1
minor
| ||
7.28.0
minor
|
1–20 of 112