القائمة
Run Kani formal verification proofs for propagators-chirho
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف 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