BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

dev-tools

v0.9.9crates.io· Rust

Rust verification toolkit. Tests, benches, coverage, fuzz, security audit, dep hygiene, mutation, chaos, async, stress — one crate, opt in with feature flags.

The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
13 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0
Dependencies
No runtime dependencies
Recent releases
  • 0.9.9this month
  • 0.9.8this month
  • 0.9.7this month
  • 0.9.6this month
  • 0.9.5this month
  • 0.9.4this month
  • 0.9.3this month
  • 0.9.2this month
dev-tools — Rust verification toolkit. Tests, benches, coverage, fuzz, security audit, dep hygiene, mutation, chaos, async, stress — one crate, opt in with feature flags. (Rust / crates.io) — verdict, alternatives & security · Modules