rustio rustio.net

Decision Workspace

formal-ai

Side-by-side comparison of Rust crates

54
formal-ai
experimentalv0.284.0

Formal symbolic AI implementation with OpenAI-compatible APIs

Core Metrics

formal-ai
Health Score54
Total Downloads4.2K
30d Downloads1.2K
Dependents0
Releases259
Last Updatedtoday
Age2m

Health Breakdown

formal-ai
Maintenance
19
Quality
10
Community
6
Popularity
4
Documentation
15

Technical Details

formal-ai
Version0.284.0
Stable (≥1.0)✗ No
LicenseUnlicense
Dependencies16
Crate Size4.1MB
Features2
Yanked %0.0%
Edition2021
MSRV1.96
Owners1

Links

formal-ai detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •formal-ai leads with a health score of 54/100, but none of the options score above 80.