Acorn Installation Skill
This skill helps install the Acorn theorem prover CLI in various environments.
Installation
Simply run the installation script:
bash .claude/skills/acorn-installation/install-acorn.sh
The script will:
- Check if Acorn is already installed (if so, it exits successfully)
- Download the latest Acorn binary from GitHub releases
- Install it to
~/.local/bin/acorn - Verify the installation works
Running the Verifier
Once installed, you can verify Acorn proofs by running:
acorn
This should be run after every change to ensure proofs are verifiable.
Instructions for the Agent
When this skill is invoked:
- Run the installation script:
bash .claude/skills/acorn-installation/install-acorn.sh - The script handles checking for existing installation automatically
- After the script completes successfully, run
acornto verify proofs in the current project
Converted and distributed by TomeVault — claim your Tome and manage your conversions.