aeneas-cli

v0.1.1npm· JavaScript

CLI tool for managing Aeneas extraction from Rust to Lean

The verdict

Maintained. Niche but maintained, actively maintained.

Live from the npm registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityNiche

SecurityClean

LicensePermissive

DepsModerate

Maintenance

Last published 3 months ago.

Popularity

10 downloads / week

Security

No known advisories for this version (OSV).

License

Apache-2.0

Dependencies

6 direct dependencies

Recent releases