Sign in Sign up
cargo

aristo-cli

An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.

cargo View on Cargo github View on Github

Activity

Latest release
1w ago
Total releases
27
Cadence
~daily
Last 12 months
27

Reach

Downloads
2.1k
Stars
63

Details

License
MIT
First release
May 29, 2026
Releases
Version Released
0.8.4 patch
0.8.3 patch
0.8.2 patch
0.8.1 patch
0.8.0 minor
0.7.1 patch
0.7.0 minor
0.6.1 unknown
0.6.0 unknown
0.5.2 unknown
0.5.1 unknown
0.5.0 unknown
0.4.1 unknown
0.4.0 unknown
0.3.1 unknown
0.3.0 unknown
0.2.9 unknown
0.2.8 unknown
0.2.7 unknown
0.2.6 unknown
0.2.5 unknown
0.2.4 unknown
0.2.3 unknown
0.2.2 unknown
0.2.1 unknown
0.2.0 unknown
0.1.0 unknown