certora-patrol
Automated smart contract security analysis powered by formal verification
- Latest release
- Mar 08, 2026
- Releases
- 13
- Known CVEs
- 0
- First release
- Mar 06, 2026
- License
- custom
Insights
Activity
- Total releases
- 13
- Last 12 months
- 13
- Cadence
- ~daily
- Dependencies
- 34
Releases per month
last 12 monthsRelease mix
- patch 12
13
releases
Dependencies
Depends on
0.1.17-
anthropic
>=0.18.0
-
beautifulsoup4
>=4.12.0
-
boto3
>=1.26.0
-
certora-cli-beta-mirror
>=8.10.1
-
chromadb
>=0.4.0
-
claude-agent-sdk
>=0.1.0
-
flask
>=2.3.0
-
isodate
>=0.6.0
-
jinja2
>=3.0.0
-
json5
>=0.9.0
1–10 of 34
Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
0.1.17
patch
|
0.1.17
patch
Dependencies (34)
+ 26 more |
|
0.1.16
patch
|
0.1.16
patch
|
|
0.1.15
patch
|
0.1.15
patch
|
|
0.1.12
patch
|
0.1.12
patch
|
|
0.1.11
patch
|
0.1.11
patch
|
|
0.1.10
patch
|
0.1.10
patch
|
|
0.1.9
patch
|
0.1.9
patch
|
|
0.1.8
patch
|
0.1.8
patch
|
|
0.1.7
patch
|
0.1.7
patch
|
|
0.1.6
patch
|
0.1.6
patch
|
|
0.1.5
patch
|
0.1.5
patch
|
|
0.1.4
patch
|
0.1.4
patch
|
|
0.1.3
initial
|
0.1.3
initial
|