Sign in Sign up
cargo

aristo

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.

Activity

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

Reach

Downloads
626.6k
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