What tools does this skill help me implement?

This skill provides patterns and guidance for proptest (property testing), cargo-fuzz (fuzzing), Criterion (benchmarking), and Miri (undefined behavior detection).

Can I use this for benchmarking performance?

Yes, it includes detailed patterns for Criterion, including statistical analysis, throughput measurement, and allocation tracking for critical code paths.

How does this improve Rust code security?

By using fuzz testing and Miri, the skill helps identify potential crashes, panics, and undefined behavior that could lead to security vulnerabilities in Rust applications.

What is contract testing in the context of Rust traits?

Contract testing ensures that different implementations of a specific Trait all satisfy the same set of behavioral requirements and invariants, ensuring consistency across your codebase.

Rust Testing & Verification

Name: Rust Testing & Verification
Author: matthewharwood

bymatthewharwood

•

Security & Testing

Implements comprehensive testing strategies for Rust including property-based testing, fuzzing, and performance benchmarking.

The Rust Testing & Verification skill provides a robust framework for ensuring the correctness, safety, and performance of Rust applications. It guides developers through advanced verification techniques such as property-based testing with proptest for edge case discovery, fuzz testing with cargo-fuzz for robustness, and Miri for detecting undefined behavior. By providing standardized patterns for contract testing and Criterion benchmarks, this skill helps engineering teams ship production-grade code with high confidence in its reliability and execution speed.

Key Features

01Memory safety and undefined behavior detection using Miri

02Fuzzing integration for detecting panics and input-driven crashes

032 GitHub stars

04Property-based testing patterns for automated edge-case discovery

05High-precision performance benchmarking with Criterion and throughput analysis

06Trait contract testing to ensure consistent interface implementations

Use Cases

01Detecting subtle memory leaks or race conditions in unsafe or concurrent code

02Benchmarking critical paths to prevent performance regressions in high-scale systems

03Verifying complex data serialization and logic invariants across large input sets

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add matthewharwood/engmanager.xyz rust-testing-verification

For use in Claude.ai and ChatGPT

Download Skill