Acorn
Official@acornprover · United States of America
The acorn theorem prover.
Agent Skills by Acorn
Showing 8 vetted skills indexed across 2 GitHub repositories.
acornproverAcorn Installation
Install the Acorn CLI binary to ~/.local/bin/acorn and verify with acorn --version.
acornproverExplicate
Expand complex Acorn proofs by inserting explicit derivation steps.
acornproverformalizing-hard-theorems
Guide dependency-aware decomposition to formalize hard theorems with Acorn-aligned workflows.
acornproverremove-citations
Replace Acorn theorem citations with local proof steps and verify each change.
acornprovertake-notes
Maintain repository notes with a structured roadmap and execution queue.
acornprovermigrate
Orchestrate state-machine workflows for feature-flag and acornlib migrations.
acornproverprofile
Profile Acorn prover execution time with perf or samply.
acornproverInstall ONNX Runtime (ort) in Sandbox
Install ONNX Runtime static libraries for the ort crate in sandboxed environments.
Frequently Asked Questions About Acorn
FAQPage SchemaWhat specific tasks does Acorn enable for researchers?▼
Acorn enables the formalization of complex mathematical theorems through dependency-aware decomposition. It allows users to expand proofs into explicit derivation steps, replace external citations with local proof logic, and maintain structured roadmaps for theorem development within a repository.
Which technical personas benefit from using Acorn?▼
Acorn is designed for formal methods engineers, research mathematicians, and verification specialists. It targets professionals focused on rigorous proof construction, state-machine migration, and performance profiling of verification logic in sandboxed environments.
How is the Acorn binary installed and verified?▼
The binary is installed by placing the executable into the ~/.local/bin/ directory. Once installed, users verify the integrity and versioning of the environment by executing the command acorn --version in the terminal.