skills.rest
acornproveracornproverOfficial·3 Agent Skills Included

acorn

Theorem prover debugging, profiling, and proof migration workflows

Debugs and maintains the Acorn theorem prover and its mathematical proof library. Reproduces prover failures, minimizes failing proofs into test cases, and profiles verifier performance with top-down breakdowns. Guides safe feature-flag migrations and proof fixes without manual trial-and-error or risky cache rewrites.
48|10
↗
npx skills add acornprover/acorn --all -g -y
Available:

Instructs your AI agent on the correct cargo commands for testing, verifying, and debugging Acorn proofs, including when to run full checks and how to isolate prover failures.

All Skills in This Repository (3)

Pure Emerald Level Indicators
📦 In Repo
acornproveracornprover

migrate

Orchestrate state-machine workflows for feature-flag and acornlib migrations.

Official
Advanced
📦 In Repo
acornproveracornprover

profile

Profile Acorn prover execution time with perf or samply.

Official
Advanced
📦 In Repo
acornproveracornprover

Install ONNX Runtime (ort) in Sandbox

Install ONNX Runtime static libraries for the ort crate in sandboxed environments.

Official
Basic

Frequently Asked Questions

FAQPage Schema
How to install Acorn skills?▼

Run `npx skills add acornprover/acorn --all -g -y` in your terminal to install all skills in this repository globally.

How to reproduce an Acorn prover failure?▼

The reproduce-prover-failure skill classifies the failure, rebuilds it in a scratch project, and minimizes it into a self-contained test case.

How to profile Acorn prover performance?▼

The profile skill runs perf on Linux or samply on macOS and generates a top-down tree showing exactly where verification time is spent.

How to migrate Acorn proofs behind a feature flag?▼

The migrate skill walks through a strict state machine that validates proofs in both modes before flipping the default behavior.

Do these skills work with Claude Code and Codex?▼

Yes. All skills follow the standard SKILL.md format and run in Claude Code, Codex, and other compatible coding agents.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills