skills.homes logoskills.homescapability registry
home/categories/cli-tools/acornprover-acornlib-claude-skills-acorn-installation-skill-md
cd ..
cli-toolstools

acorn-installation

Install and set up the Acorn theorem prover CLI. Use when the environment doesn't have Acorn installed or when the user needs to set up Acorn for the first time.

View Sourcecli-tools
acornprover
maintainer
acornprover
Updated 11/10/2025
Stars
56
Forks
18
quick start

Installation and usage

Install and set up the Acorn theorem prover CLI. Use when the environment doesn't have Acorn installed or when the user needs to set up Acorn for the first time.

Installation
$ install --globalskills.sh
Usage

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

skills use acorn-installation