acornprover
5 verified skills223 total stars
migrate
Use when asked to migrate to a feature flag or roll out a manifest-gated acornlib certificate/build-cache or proof-format change. This skill covers feature-flag migrations, including the state-machine workflow for verifier, proof, and cache migrations.
development45
explicate-feature-flag
Use when a proof/module verifies in baseline mode but reproving under a prover-affecting feature flag fails. Add explicit proof detail based on the working baseline proof until `cargo run --features <feature> -- verify ...` succeeds.
development45
profile
Use when asked to profile Acorn prover or verifier performance, investigate where time is spent, or generate a top-down runtime breakdown from `perf` or `samply`.
tools45
.claude/skills/profile
Profile the prover and generate a top-down performance summary
tools45
.claude/skills/install-ort
Install ONNX Runtime for the ort crate in a sandboxed environment
databases43