Certora Patrol
Automated smart contract security analysis powered by formal verification.
Prerequisites
- Python 3.12+
- Java 21+ (required by the Certora prover)
- Foundry (
forge buildmust succeed on your project) CERTORAKEY— Sign up at certora.com and store the API key from your signup email as an environment variable.ANTHROPIC_API_KEY— Beta testers will receive a Claude API key from Certora to cover LLM-related costs. Set it as an environment variable.
Install
uv venv patrol-env && source patrol-env/bin/activate
uv pip install certora-patrol
Or with pip:
python -m venv patrol-env && source patrol-env/bin/activate
pip install certora-patrol
Usage
cd /path/to/your/contracts
patrol src/Token.sol
With explicit contract name (in case contract name does not match the file name):
patrol src/Vault.sol:MyVault
What it does
- Builds your project and sets up verification infrastructure
- Runs formal verification checks (generic rules and AI-inferred rules)
- Analyzes results with AI and generates an HTML report
Once complete, Patrol prints the path to the generated HTML report in the current working directory.
1 maintainer
Metadata
1 maintainer
Release files for certora-patrol 0.1.17
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Actions Reset |
|---|---|---|---|---|
| certora_patrol-0.1.17-py3-none-any.whl | Python 3 | none | any | Details for certora_patrol-0.1.17-py3-none-any.whl |
Release files / certora_patrol-0.1.17-py3-none-any.whl
| Download URL | certora_patrol-0.1.17-py3-none-any.whl |
|---|---|
| Size | 994.8 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
0f7f35d207ac2f3382c9c8fecee11e4b9fd65f8dd7cf93113c744b3bd8c001f4
|
|
BLAKE2b-256 checksum How to use checksums |
fb88b698d4806ecbdc72af54169c696103f30e45932804f1caf89ffaf9888c0b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 8, 2026.
Transparency logSecurity for certora-patrol 0.1.17
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
Full provenance
All 1 file in this release has been uploaded with provenance metadata.
Attestation for certora_patrol-0.1.17-py3-none-any.whl
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 8, 2026.
Transparency logA note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
To learn more about protecting yourself from malicious actors, visit our package security documentation.
