Certora CLI
JSON →Command-line tools for running the Certora Prover, a formal verification tool for smart contracts. Current version 8.13.1, with frequent releases on PyPI.
Traffic · last 30 days stale · no recent hits
total hits 10
actors 3 distinct systems
last hit 16d ago AhrefsBot
top countries 🇸🇬 Singapore · 🇺🇸 United States · 🇫🇮 Finland · 🇬🇧 United Kingdom · 🇨🇦 Canada