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.
Third-Party Agent Skill: Review the code before installing. Agent skills execute in your AI assistant's environment and can access your files. Learn more about security
Installation for Agentic Skill
View all platforms →skilz install acornprover/acornlib/acorn-installation skilz install acornprover/acornlib/acorn-installation --agent opencode skilz install acornprover/acornlib/acorn-installation --agent codex skilz install acornprover/acornlib/acorn-installation --agent gemini
First time? Install Skilz: pip install skilz
Works with 22+ AI coding agents
Cursor, Aider, Copilot, Windsurf, Qwen, Kimi, and more...
Extract and copy to ~/.claude/skills/ then restart Claude Desktop
git clone https://github.com/acornprover/acornlib cp -r acornlib/.claude/skills/acorn-installation ~/.claude/skills/ Need detailed installation help? Check our platform-specific guides:
Related Agentic Skills
mastering-github-cli
by SpillwaveSolutionsGitHub CLI (gh) command reference for repository search, code discovery, CI/CD monitoring, workflow authoring, and automation. Triggers on "gh" comman...
mastering-github-cli
by SpillwaveSolutionsGitHub CLI (gh) command reference for repository search, code discovery, CI/CD monitoring, workflow authoring, and automation. Triggers on "gh" comman...
signal-intel
by gtmagentsUse when consolidating intent, product usage, and third-party signals to prioritize ABM actions.
meal-prep-efficiency-guru
by sandraschiExpert in batch cooking, meal planning, food storage, and efficient kitchen workflows
Agentic Skill Details
- Owner
- acornprover (GitHub)
- Repository
- acornlib
- Type
- Technical
- Meta-Domain
- development
- Primary Domain
- github
- Market Score
- 30.7
Browse Category
More development Agentic SkillsReport Security Issue
Found a security vulnerability in this agent skill?