Use Case
Stop doing repetitive finance & investment tasks manually. Acorn Prover lets your AI agent handle them automatically through natural conversation. 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 shows practical examples of using Acorn Prover to automate common finance & investment workflows and save hours every week.
Install Acorn Prover: npx clawhub@latest --dir ~/.claude/skills install acorn-prover
Identify the repetitive finance & investment tasks you want to automate
Describe the task to your AI in plain English
Acorn Prover will execute the task and return results directly in the chat
Chain multiple tasks: ask your AI to run a sequence of operations
Copy these prompts and use them with your AI agent after installing Acorn Prover
Automate my finance & investment tasks using Acorn Prover
What repetitive tasks can Acorn Prover handle for me?
Set up a workflow that runs Acorn Prover every morning
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.