rustio rustio.net

Decision Workspace

formal-ai

Side-by-side comparison of Rust crates

56
formal-ai
experimentalv0.123.0

Formal symbolic AI implementation with OpenAI-compatible APIs

Core Metrics

formal-ai
Health Score56
Total Downloads1.3K
30d Downloads1.4K
Dependents0
Releases102
Last Updatedtoday
Age13d

Health Breakdown

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

Technical Details

formal-ai
Version0.123.0
Stable (≥1.0)✗ No
LicenseUnlicense
Dependencies11
Crate Size1.2MB
Features2
Yanked %0.0%
Edition2021
MSRV1.70
Owners1

Links

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

Quick Verdict

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