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