Use Case
Acorn Prover isn't just for solo use β teams can share skills and build consistent AI workflows across the organization. Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization. Use when working with Acorn proof files (.ac), verifying theorems, formalizing mathematical or cryptographic protocols, or writing proofs in the Acorn language. Triggers on: (1) Creating or editing .ac files, (2) Running acorn verify commands, (3) Formalizing math or crypto proofs, (4) Questions about Acorn syntax or standard library. This guide covers how to deploy Acorn Prover for your team, standardize prompts, and create shared workflows that everyone can use.
Install Acorn Prover in your project directory: .claude/skills/acorn-prover/
Commit the skill folder to your repository so the whole team has access
Document your team's standard prompts in a shared README
Use Acorn Prover in code reviews, standups, and planning sessions
Iterate: collect feedback from the team and refine your prompts
Copy these prompts and use them with your AI agent after installing Acorn Prover
How can my team use Acorn Prover together?
Set up Acorn Prover for our project so everyone can use it
Create a shared workflow using Acorn Prover for our team
Select your agent
Option 1: Install via CLI (recommended)
Recommended (no pre-install needed)
npx clawhub@latest --dir ~/.claude/skills install acorn-proverOr via clawhub CLI (if already installed)
clawhub --dir ~/.claude/skills install acorn-proverβ οΈ Requires Node.js 18+. No Node? Use Option 2 below to download the ZIP instead. Install Node.js β
Option 2: Manual install (no Node required)
Download the ZIP, extract it, and place the folder at the path below. Restart your agent to activate.
Install path
~/.claude/skills/acorn-prover/π‘Extract and place the folder at the path above, then restart your agent.