メニュー
Run comprehensive test suite for propagators-chirho with all feature combinations
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 Kani formal verification proofs for propagators-chirho
| name | test-chirho |
| description | Run comprehensive test suite for propagators-chirho with all feature combinations |
| disable-model-invocation | true |
| allowed-tools | Bash, Read |
Run the comprehensive test suite for propagators-chirho.
./scripts_chirho/test_all_chirho.sh