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.
Initial release of the acorn-prover skill. - Supports verifying and writing proofs using the Acorn theorem prover for mathematical and cryptographic formalization. - Guides user setup: prompts for and validates required Acorn library/project paths; runs setup, and sources config automatically. - Commands for verification, re-verification (CI/CD), training data, and documentation generation, supporting both mise and CLI workflows. - Includes quick Acorn syntax overview and highlights key standard library modules. - Extensive workflow and troubleshooting instructions for users.