Use Case
Acorn Prover is a powerful AI agent skill that extends your assistant with new capabilities. 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 walks you through installing Acorn Prover, configuring it for your setup, and running your first commands β so you can start getting value in minutes.
Install Acorn Prover: npx clawhub@latest --dir ~/.claude/skills install acorn-prover
Restart your AI client (Claude Code, Cursor, Gemini CLI, or OpenClaw)
Type a natural language request related to finance & investment to trigger Acorn Prover
Review the output and refine your prompt for better results
Combine Acorn Prover with other skills to build multi-step workflows
Copy these prompts and use them with your AI agent after installing Acorn Prover
Help me get started with Acorn Prover
What can Acorn Prover do for my finance & investment workflow?
Show me an example of using Acorn Prover
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.