Agent Skills: 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.

UncategorizedID: majiayu000/claude-skill-registry/Acorn Installation

Author

majiayu000

https://github.com/majiayu000 View all skills

Repository

majiayu000/claude-skill-registry

majiayu000License: MIT

11819

Install this agent skill to your local

pnpm dlx add-skill https://github.com/majiayu000/claude-skill-registry/Acorn Installation

Skill Files

Browse the full folder contents for Acorn Installation.

Download Skill

Loading file tree…

Select a file to preview its contents.