ReddRadar
Agent skill
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 this agent skill to your Project
npx add-skill https://github.com/majiayu000/claude-skill-registry/tree/main/skills/development/acorn-installation-acornprover-acornlib
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
acornto verify proofs in the current project
Recommended Agent Skills
Expand your agent's capabilities with these related and highly-rated skills.
majiayu000/claude-skill-registry
agent-ops-spec
Manage specification documents in .agent/specs/. Use when user provides requirements, acceptance criteria, or feature descriptions that need to be tracked and validated against implementation.
majiayu000/claude-skill-registry
agent-ops-state
Maintain .agent state files. Use at session start, after meaningful steps, and before concluding: read/update constitution/memory/focus/issues/baseline consistently.
majiayu000/claude-skill-registry
agent-ops-spec
Manage specification documents in .agent/specs/. Use when user provides requirements, acceptance criteria, or feature descriptions that need to be tracked and validated against implementation.
majiayu000/claude-skill-registry
agent-ops-testing
Test strategy, execution, and coverage analysis. Use when designing tests, running test suites, or analyzing test results beyond baseline checks.
majiayu000/claude-skill-registry
agent-ops-testing
Test strategy, execution, and coverage analysis. Use when designing tests, running test suites, or analyzing test results beyond baseline checks.
majiayu000/claude-skill-registry
agent-ops-state
Maintain .agent state files. Use at session start, after meaningful steps, and before concluding: read/update constitution/memory/focus/issues/baseline consistently.
Didn't find tool you were looking for?