Acorn Prover
BFair💰 Finance · 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.
Install
openclaw plugins install flyingnobita/acorn-proverOn ClawHub, this skill has no security information.
ClawStack independently scans every skill for permissions, network requests, author reputation, and more. Learn how we score →
Security Analysis
Score: 68/100Reviews (14)
No reviews yet
Be the first to review this skill!
Details
- Author
- @flyingnobita
- Source
- GitHub
- ClawHub
- View
- Category
- 💰 Finance
- Rating
- ★ 3.6 (14)
Similar Skills
Insider Wallets Finder
Find and analyze smart money addresses - discover early buyers, track successful traders, identify whale accumulation patterns, and research on-chain alpha.
Proxy Status
Check status of Proxy payment intents and transactions. Usage: /proxy-status [intent-id] or /proxy-status to see all recent.
moneydevkit
Accept payments on any website using moneydevkit. Use when building a site that sells something, adding a checkout/paywall, or integrating payments into a Next.js or Replit app. Supports fixed pricing, pay-what-you-want, products, customers, and orders. Bitcoin Lightning under the hood — works globally, no bank account needed.