Sign in Sign up
pypi

certora-cli-alpha-master

Runner for the Certora Prover

Latest release
7h ago
Releases
9
Known CVEs
0
First release
Jun 02, 2026
License
unknown
View on Pypi
Repository

Source

certora/certoraprover
Stars
—
Forks
—
Open issues
—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

No other tracked packages from this repository.

Insights

Activity

Total releases
9
Last 12 months
9
Cadence
~daily
Dependencies
12

Releases per month

last 12 months

Release mix

  • major 5
  • minor 3
9 releases
Dependencies

Depends on

20260610.11.2.719309
1–10 of 12

Used by

Nothing tracked depends on this yet.

Releases
Version Released
20260610.11.2.719309 minor
20260610.10.20.610380 major
20260609.16.18.866576 major
20260606.7.10.701608 minor
20260606.2.56.501394 major
20260604.5.35.265265 minor
20260604.2.58.491470 major
20260603.16.54.616474 major
20260602.19.42.668495 initial