acorn-prover
This skill provides tooling and workflows to write and verify Acorn prover `.ac` proofs. It instructs executing `bash skills/acorn-prover/scripts/setup.sh` and creating/sourcing `skills/acorn-prover/config.env`, which stores `ACORN_LIB`, `ACORN_PROJECT`, and `USE_MISE`.