Skip to content

Releases: ucalyptus/pi-aeon

Release list

pi-aeon v0.1.0

Choose a tag to compare

@ucalyptus ucalyptus released this 26 Aug 12:26

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 | sh

Requires OPENROUTER_API_KEY for model access and the Aeon toolchain (uvx, auto-invoked) for verification. See the README.