formal-ai
v0.176.0crates.io· RustFormal symbolic AI implementation with OpenAI-compatible APIs
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
165 downloads / week
Security
No known advisories for this version (OSV).
License
Unlicense
Dependencies
No runtime dependencies
Recent releases
- 0.176.0this month
- 0.175.0this month
- 0.174.0this month
- 0.173.0this month
- 0.172.0this month
- 0.171.0this month
- 0.170.0this month
- 0.169.0this month