First release of pi-aeon: an agent harness where every tool call is a transition in a refinement-typed state machine, proven by Aeon/Z3 before execution.
Install:
curl -fsSL https://aeon.ucalyptus.me/install.sh | shRequires OPENROUTER_API_KEY for model access and the Aeon toolchain (uvx, auto-invoked) for verification. See the README.