rustio rustio.net
56

formal-ai

v0.123.0 Experimental

Formal symbolic AI implementation with OpenAI-compatible APIs

Unlicense Edition 2021 MSRV 1.70
Command line utilitiesWeb programming::HTTP server #links#openai#formal-ai#symbolic-ai

Quick Verdict

  • โœ“Actively maintained (updated 0d ago)
  • !Pre-1.0: API may have breaking changes

Security

Checking security advisories...
Downloads
1.3K
Dependents
0
Releases
102
Size
1.2MB

Deep Insights

๐Ÿ“Š
Download activity

1.4K downloads in the last 30 days (45/day avg).

Health Breakdown

Maintenance 19/25

Recency, release consistency, active ratio

Quality 12/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 4/15

Downloads, momentum, growth trend

Documentation 15/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
15/day avg
0501001502002/263/164/34/215/95/26

Version Adoption

v0.114.0
24%
v0.119.0
22%
v0.115.0
20%
v0.116.0
16%
v0.118.0
16%

Release Timeline

10 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
10
Less
More

Feature Flags

doublets-native

README

Loading README...

Maintainers

Dependencies
11
direct dependencies
Dependents
0
crates depend on formal-ai

Similar Crates