formal-ai

v0.284.0 Experimental

Formal symbolic AI implementation with OpenAI-compatible APIs

Unlicense Edition 2021 MSRV 1.96

Command line utilities Web programming::HTTP server #links#openai#formal-ai#symbolic-ai

GitHub ↗ Docs ↗ crates.io ↗ Compare with…

Quick Verdict

✓Actively maintained (updated 0d ago)
!Pre-1.0: API may have breaking changes

Security

Checking security advisories...

Downloads

4.2K

Dependents

Releases

259

Size

4.1MB

Deep Insights

📉

Download decline

1.8K downloads in the last 30 days, down 25% from the previous period. May indicate migration to alternatives.

📐

Large crate size

4.1MB is relatively large. May impact download and compile times.

Health Breakdown

Maintenance 19/25

Recency, release consistency, active ratio

Quality 10/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

47/day avg-6%

Version Adoption

v0.277.0

25%

v0.276.0

24%

v0.275.0

21%

v0.278.0

15%

v0.279.0

15%

Release Timeline

10 releasessince 2026

2026

Less

Feature Flags

default =["doublets-native"]

doublets-native*

README

Loading README...

Maintainers

Konstantin Diachenko

31 crates

Dependencies

direct dependencies