# 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. Use when this capability is needed. - Skill: `tomevault-io/acorn-installation` (Agent Skill, multi-file: 2 files) - Install (CLI): `npx skillmds@latest add tomevault-io/acorn-installation` - Raw SKILL.md: https://api.skillmd.com/api/skills/tomevault-io/acorn-installation/raw - Safety review: pending (external: skill-scanner PASS, skillspector PASS) - Works with: Claude Code, Claude.ai, OpenAI Codex - Category: Coding & Dev Tools - Author: tomevault-io (https://skillmd.com/u/tomevault-io) - Updated: 2026-09-17 - Page: https://skillmd.com/skills/tomevault-io/acorn-installation --- # Acorn Installation Skill This skill helps install the Acorn theorem prover CLI in various environments. ## Installation Simply run the installation script: ```bash 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: ```bash acorn ``` This should be run after every change to ensure proofs are verifiable. ## Instructions for the Agent When this skill is invoked: 1. Run the installation script: `bash .claude/skills/acorn-installation/install-acorn.sh` 2. The script handles checking for existing installation automatically 3. After the script completes successfully, run `acorn` to verify proofs in the current project --- > Converted and distributed by [TomeVault](https://tomevault.io/claim/acornprover) — claim your Tome and manage your conversions.