Rust Sanitizers Miri
mohitmishra786/low-level-dev-skills/skills/rust/rust-sanitizers-miriby mohitmishra786bdc58472fa9fNo license253 starsListed Oct 9, 2026Updated Oct 9, 2026Repository updated 3 months ago
Rust sanitizers and Miri skill for memory safety validation. Use when running AddressSanitizer or ThreadSanitizer on Rust code, interpreting sanitizer reports, using Miri to detect undefined behaviour in unsafe Rust, or validating unsafe code correctness. Activates on queries about Rust ASan, Rust TSan, Miri, RUSTFLAGS sanitize, cargo miri, unsafe Rust UB, or interpreting Rust sanitizer output.
Only the file list is public. File contents are available once the skill is installed in a workspace.
| Path | Size | Type |
|---|---|---|
| references/miri-ub-patterns.md | 3.8 KB | text/markdown |
| SKILL.md | 6.2 KB | text/markdown |
Source and attribution
Source:mohitmishra786/low-level-dev-skillsinskills/rust/rust-sanitizers-miriat commitbdc5847
License: No license
Content belongs to its original authors. SourceWeft indexes it from a public repository.
More from mohitmishra786/low-level-dev-skills
Zig Debugging
mohitmishra786
Guides debugging of Zig programs with GDB, LLDB, panic interpretation, error return traces, logging, and IDE setup.
Simd Intrinsics
mohitmishra786
Guides writing and diagnosing SIMD vectorization with x86 SSE/AVX and ARM NEON intrinsics.
Zig Cross
mohitmishra786
Guides Zig cross-compilation: target triples, CPU features, zig cc for C, embedded and WASM targets.
Rustc Basics
mohitmishra786
Guides Rust compiler configuration: RUSTFLAGS, Cargo profiles, build tuning, and inspecting MIR or assembly output.
Zig Cinterop
mohitmishra786
Guides Zig C interoperability: @cImport, translate-c, extern and packed structs, and mixed C/Zig builds.
Zig Build System
mohitmishra786
Guides writing and debugging Zig build.zig files, including targets, C sources, options, tests and package manifests.
More in Software Development
Playground
anthropics
Builds self-contained interactive HTML playgrounds with controls, live preview, and copyable prompt output.
M5 Onboard
anthropics
Provisions M5Stack ESP32 boards by detecting them on USB, flashing UIFlow 2.0 firmware, and installing a MicroPython app bundle.
Cardputer Buddy
anthropics
Guides iterating on a Cardputer-Adv MicroPython app bundle: adding apps, pushing files over USB-serial, tailing logs, and running REPL commands.
Web Design Guidelines
vercel-labs
Reviews UI code against Web Interface Guidelines fetched from a remote source and reports findings as file:line entries.
Vercel React Native Skills
vercel-labs
React Native and Expo best-practice rules covering list performance, animation, navigation, UI patterns, state, and monorepo setup.
Vercel React Best Practices
vercel-labs
Vercel's React and Next.js performance guidelines, organized as 70 rules for writing, reviewing, and refactoring code.