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.
1 file for Claude Code: aristo CLAUDE.md — 5,392 tokens loaded in every session.
CLAUDE.md A 5,392 tok These files are aretta-ai/aristo's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.