🎁 Get the FREE AI Skills Starter Guide β€” Subscribe β†’
BytesAgainBytesAgain
BytesAgain β€Ί Skills β€Ί Acorn Prover
πŸ¦€ ClawHub

Acorn Prover

by @flyingnobita

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.

Versionv1.0.0
#crypto-defi#writing#translation#finance#legal
Source

Use this skill with your agent

Most visitors already have an agent. Pick your environment, install or copy the workflow, then run the smoke-test prompt above.

Manus
Task-oriented agent. Great for testing AI skills end-to-end.
Try Manus β†’
OpenClaw
Local-first agent. Install skills via ClawHub CLI.
Set up OpenClaw β†’
Claude Code
Anthropic's coding agent. Paste the prompt or SKILL.md into your session.
Claude Code docs β†’
Cursor
AI-powered IDE. Use the smoke-test prompt in Cursor Agent.
Open Cursor β†’
Continue.dev
Open-source AI code assistant. Add SKILL.md as a custom tool.
Continue docs β†’
Windsurf
Agentic IDE by Codeium. Paste the prompt into Cascade.
Try Windsurf β†’
Cline
VS Code extension for autonomous coding with MCP tools.
Cline on GitHub β†’
Copilot Workspace
GitHub's AI dev environment. Suitable for code-generation skills.
Copilot Workspace β†’

πŸ” Can't find the right skill?

Search 60,000+ AI agent skills β€” free, no login needed.

Search Skills β†’

What to do next

Skills are meant to be used inside your own AI agent. Install it, run a quick smoke test, then ask your agent to apply it to your real task.

1
Install into your agentCopy the ClawHub install command and run it where your OpenClaw/agent environment is configured.
2
Run a smoke testUse the test prompt below to confirm the skill loads and understands the workflow before relying on it.
3
Use it in your own agentPaste your actual task into Manus, OpenClaw, Claude Code, Cursor, or another agent that supports skills.
I just installed the Acorn Prover skill. Please run a quick smoke test: explain what this skill can do, ask me for the minimum input it needs, then produce one small sample output for a realistic task.