Menú
Run Kani formal verification proofs for propagators-chirho
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Basado en la clasificación ocupacional SOC
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