skills.homes logoskills.homescapability registry
home/categories/testing/aztecprotocol-aztec-packages-claude-skills-acir-formal-proofs-skill-md
cd ..
testingtesting-security

acir-formal-proofs

Build and run ACIR formal proof tests with SMT verification. Generates ACIR artifacts from noir's ssa_verification tool, then runs each test individually with user-specified time/memory limits, and updates the README results table.

View Sourcetesting
AztecProtocol
maintainer
AztecProtocol
Updated 3/20/2026
Stars
432
Forks
594
quick start

Installation and usage

Build and run ACIR formal proof tests with SMT verification. Generates ACIR artifacts from noir's ssa_verification tool, then runs each test individually with user-specified time/memory limits, and updates the README results table.

Installation
$ install --globalskills.sh
Usage

Once installed, you can use this skill by running the following command in your terminal:

skills use acir-formal-proofs