rustio rustio.net

Decision Workspace

specgate

Side-by-side comparison of Rust crates

55
specgate
experimentalv0.5.0

Deterministic spec-based verification for LLM-implemented code

Core Metrics

specgate
Health Score55
Total Downloads94
30d Downloads0
Dependents4
Releases5
Last Updated21d ago
Age23d

Health Breakdown

specgate
Maintenance
18
Quality
16
Community
7
Popularity
2
Documentation
12

Technical Details

specgate
Version0.5.0
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies2
Crate Size5KB
Features3
Yanked %0.0%
Edition2024
MSRV1.93.0
Owners1

Links

specgate detail →GitHub ↗crates.io ↗

Quick Verdict

  • •specgate leads with a health score of 55/100, but none of the options score above 80.