acornlib
Formal mathematical proof writing, verification, and library maintenance
All Skills in This Repository (5)
Pure Emerald Level Indicators
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.
Frequently Asked Questions
FAQPage SchemaHow to install acornlib?▼
Run `npx skills add acornprover/acornlib --all -g -y` in your terminal to install all skills in this suite globally.
How to formalize a hard theorem with Acorn?▼
The formalizing-hard-theorems skill guides the agent to research dependencies, cite theorems explicitly, and split the proof into smaller helper lemmas until it verifies.
How to fix an Acorn proof that fails verification?▼
Check whether the statement is false or just missing intermediate steps, then cite the relevant theorem and state its conclusion as its own line before running `acorn` again.
Does acornlib work with Claude Code and Codex?▼
Yes. All skills follow the universal SKILL.md standard and run in Claude Code, OpenAI Codex, and other compatible coding environments.
Can I contribute math proofs without knowing Acorn syntax?▼
Yes. Describe the theorem or math area in plain English and the agent uses the work-on-project skill to plan, write, and verify the Acorn code for you.
Related Repositories in Education & Research
View All in Education & Research→
shareAI-lablearn-claude-code
Learn to build AI agent harnesses from scratch
microsoftai-agents-for-beginners
Learn to build, deploy, and secure AI agents step by step
leonardomso33-js-concepts
Master 33 essential JavaScript concepts with tested, verified guides