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.

by acornprover· Repository·development

acorn

installation

Run in AgentArea Browse All Skills

Also installable via skills CLI

npx skills add acornprover/acornlib/.claude/skills/acorn-installation

Source

Repo:SkillsMP Synced Skills

Path:.claude/skills/acorn-installation(master)

Related in development

fix-facebook-react

Use when you have lint errors, formatting issues, or before committing code to ensure it passes CI.

by facebook

242,476

update-docs-vercel-next-js

This skill should be used when the user asks to "update documentation for my changes", "check docs for this PR", "what docs need u...

by vercel

137,316

docstring-pytorch-pytorch

Write docstrings for PyTorch functions and methods following PyTorch conventions. Use when writing or updating docstrings in PyTor...

by pytorch

96,875