Menu
Run Kani formal verification proofs for propagators-chirho
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Add a new propagator type to propagators-chirho
Run criterion benchmarks for propagators-chirho performance analysis
Generate and review documentation for propagators-chirho
Publish a new version of propagators-chirho to crates.io
Run comprehensive test suite for propagators-chirho with all feature combinations
| name | verify-chirho |
| description | Run Kani formal verification proofs for propagators-chirho |
| disable-model-invocation | true |
| allowed-tools | Bash, Read |
Run Kani formal verification proofs for propagators-chirho.
cargo kani --versioncargo install --locked kani-verifier
cargo kani setup
cargo kani --features kani