crates.io
aretta-ai/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.
MITJul 23, 2026 · metrics 2.10.0
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.