Kani Proof
Author, run, and interpret Kani model-checker proofs for critical Rust paths—especially unsafe, concurrency, or spec-generated code—before release.
npx skills add https://github.com/workersio/spec --skill kani-proof| Installs | 137 |
|---|---|
| Repository | workersio/spec ↗ |
Related skills
Rust Async PatternsShip concurrent network services and async I/O in Rust with Tokio without guessing poll/waker semantics or error boundaries.14.4k36.5k
Rust Best PracticesKeep Rust services and CLIs idiomatic by borrowing instead of cloning, avoiding loop clones, and knowing when owned data is actually required.12.2k80Memory Safety PatternsApply RAII, ownership, and smart-pointer patterns when writing or hardening systems code in Rust, C++, or C.8.3k36.5k
Fix ErrorsClear Warp monorepo presubmit failures—fmt, clippy, WASM targets, and tests—before you open or update a PR.6.6k18
Tauri V2Ship a cross-platform desktop or mobile app with a web UI and Rust-native APIs using Tauri v2 without guessing IPC, capabilities, or release signing.5.3k11
Rust TestingRun RED-GREEN-REFACTOR TDD in Rust with mocks, async tests, proptest, and llvm-cov toward strong coverage on new crates.4.8k210k