Factual package intelligence from PyPI

certora-patrol 0.1.17 package intelligence

Automated smart contract security analysis powered by formal verification

pip install certora-patrol

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

certora-patrol 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. slither-analyzer ==0.11.3
  10. tqdm >=4.65.0
  11. lark >=1.2.2
  12. pycryptodome >=3.20.0
  13. boto3 >=1.26.0
  14. requests >=2.28.0
  15. urllib3 >=1.26.0
  16. beautifulsoup4 >=4.12.0
  17. chromadb >=0.4.0
  18. langchain ==0.3.27
  19. langchain-anthropic ==0.3.21
  20. langchain-community ==0.3.29
  21. langchain-core ==0.3.79
  22. langchain-text-splitters ==0.3.11
  23. langgraph ==0.6.7
  24. langgraph-checkpoint-postgres ==3.0.0
  25. langgraph-sdk ==0.2.6

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

Compatibility and release files

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

Declared Python classifiers: 3.12, 3.13.

Release activity and sources

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