Package Details: certora-cli 8.19.2-1

Git Clone URL: https://aur.archlinux.org/certora-cli.git (read-only, click to copy)
Package Base: certora-cli
Description: Runner for the Certora Prover: formal verification of EVM, Solana and Stellar smart contracts
Upstream URL: https://www.certora.com
Licenses: GPL-3.0-only
Submitter: lapsus
Maintainer: lapsus
Last Packager: lapsus
Votes: 0
Popularity: 0.000000
First Submitted: 2026-07-30 15:06 (UTC)
Last Updated: 2026-09-07 15:03 (UTC)

Dependencies (22)

Sources (1)