Factual package intelligence from PyPI

certora-proverlite 0.2.2 package intelligence

Automated smart contract security analysis powered by formal verification

pip install certora-proverlite

Current version
0.2.2
Python requirement
>=3.12
License
Proprietary
Distribution type
Pure Python wheel
Release files
1 (1 wheels, 0 source)
Download size
1019.9 KiB
Release history
15 releases with files
Median release cadence
1 days

certora-proverlite dependencies

PyPI declares 34 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. certora-cli-beta-mirror >=8.10.1
  2. anthropic >=0.18.0
  3. claude-agent-sdk >=0.1.0
  4. Flask >=2.3.0
  5. isodate >=0.6.0
  6. Jinja2 >=3.0.0
  7. json5 >=0.9.0
  8. python-dotenv >=1.0.0
  9. tqdm >=4.65.0
  10. lark >=1.2.2
  11. pycryptodome >=3.20.0
  12. boto3 >=1.26.0
  13. requests >=2.28.0
  14. urllib3 >=1.26.0
  15. beautifulsoup4 >=4.12.0
  16. chromadb >=0.4.0
  17. langchain ==0.3.27
  18. langchain-anthropic ==0.3.21

The compact report shows 18 of 34 declarations. The interactive dependency graph loads the complete metadata.

Compatibility and release files

certora-proverlite publishes 1 wheel and 0 source archives for version 0.2.2. Wheel platform tags: any.

Declared Python classifiers: 3.12, 3.13.

Security snapshot for certora-proverlite 0.2.2

An OSV query completed on and found 0 known vulnerabilities affecting this version. 0 advisories are classified as critical. 0 advisories appear in the CISA Known Exploited Vulnerabilities catalog.

Release activity and sources

PyPI lists 15 releases with files. The first dated release is ; 15 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .