Acorn Prover

Setup (MUST DO WHEN RUNNING FIRST TIME)

If config.env does not exist in the skill directory:

1. Ask the user for the following paths:

   • ACORN_LIB - Path to acornlib (e.g., /path/to/acornprover/acornlib)
   • ACORN_PROJECT - Path to project directory for .ac files (e.g., /path/to/acorn-playground)

2. Verify the paths exist using list_dir or equivalent. If a path is invalid, inform the user and ask again.

3. Run setup.sh with the validated paths:

bash skills/acorn-prover/scripts/setup.sh "<ACORN_LIB>" "<ACORN_PROJECT>"

4. Source the config to get ACORN_LIB, ACORN_PROJECT, and USE_MISE variables: