Claude-skill-registry 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.

install

source · Clone the upstream repo

git clone https://github.com/majiayu000/claude-skill-registry

Claude Code · Install into ~/.claude/skills/

T=$(mktemp -d) && git clone --depth=1 https://github.com/majiayu000/claude-skill-registry "$T" && mkdir -p ~/.claude/skills && cp -r "$T/skills/data/acorn-installation" ~/.claude/skills/majiayu000-claude-skill-registry-acorn-installation && rm -rf "$T"

manifest: skills/data/acorn-installation/SKILL.md

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
```
acorn
```
to verify proofs in the current project