Acorn Prover skill for OpenClaw

What this skill does

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.

The Acorn Prover skill is part of the Automation & Workflows category — automation and workflow skills that schedule, trigger, and orchestrate tasks. You can install it on its own or alongside other automation & workflows skills from the OpenClaw catalog.

How to install the Acorn Prover skill

The easiest path is via the OpenClaw Easy desktop app — one click, no terminal required:

1. Download OpenClaw Easy for macOS or Windows (free, one-click installer, ~30 seconds).
2. Open the in-app Skills panel.
3. Search for acorn-prover and click Install.
4. The skill activates automatically when an incoming message matches its description.

Install from the command line

If you already run the OpenClaw CLI, add the Acorn Prover skill with a single command:

openclaw skills add acorn-prover

This pulls acorn-prover from ClawHub and installs it into ~/.openclaw/skills/acorn-prover/. Restart the OpenClaw gateway afterwards so the new skill is discovered.

How to use the Acorn Prover skill

Once installed, the Acorn Prover skill activates on its own: when an incoming message on WhatsApp, Telegram, Slack, Discord, Feishu or Line matches the skill's description, your OpenClaw agent loads it and runs the workflow. You can also trigger it explicitly by describing the task in chat. No extra configuration is required after install.

Manual install (advanced)

If you prefer manual installation:

1. Click the Download skill .zip button above to grab acorn-prover-1.0.0.zip directly from our S3 mirror.
2. Unzip into ~/.openclaw/skills/acorn-prover/ (create the directory if it does not exist).
3. Restart OpenClaw Easy (or the OpenClaw CLI gateway) so the new skill is discovered.

Frequently asked questions

How do I install Acorn Prover?

Install Acorn Prover in the OpenClaw Easy desktop app by opening the Skills panel, searching for acorn-prover, and clicking Install. From a terminal you can run: openclaw skills add acorn-prover. Either way the skill is placed in ~/.openclaw/skills/acorn-prover/.

Is the Acorn Prover skill free?

Yes. It is free to download and run through ClawHub, with no account or payment required. Each skill is published by its own author under its own licence — see its ClawHub page for the licence and source.

What does Acorn Prover do?

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.

Related: more automation & workflows skills

If the Acorn Prover skill looks useful, you may also want to check out other automation & workflows skills in the OpenClaw catalog:

• ActiveCampaign ⬇ 2.7K
• Photography ⬇ 2.7K
• Glasses to Social ⬇ 2.7K
• Arya Model Router ⬇ 2.7K
• Meshy AI ⬇ 2.7K

Skills in this catalog are community-contributed integrations published on ClawHub and distributed under their own open-source licences. Product and company names, and any third-party service a skill connects to, are trademarks of their respective owners; a listing here does not imply affiliation with, sponsorship by, or endorsement from them. This page does not distribute any third-party application. Rights holders can reach us at hello@openclaw-easy.com.

Browse the full OpenClaw skill catalog

This page covers just one skill. The OpenClaw skill hub has 10,000+ more — search, sort by downloads or stars, and install any of them in one click. There is also a curated awesome-openclaw-skills list grouped by use case.