使用 Acorn 定理证明器验证并撰写数学与密码学形式化证明。适用于处理 Acorn 证明文件（.ac）、验证定理、形式化数学或密码学协议，以及用 Acorn 语言编写证明。触发场景包括：（1）创建或编辑 .ac 文件，（2）运行 acorn verify 命令，（3）形式化数学或密码学证明，（4）关于 Acorn 语法或标准库的问题