A typed, replayable, budget-aware programming language for LLM agents. Compiles to Python & TypeScript.