A typed, replayable, budget-aware programming language for LLM agents.
- Typed LLM calls with schema validation
- Deterministic replay and trace-based testing
- Budget contracts for cost control
- Compiles to Python & TypeScript
- Zero dependencies, single Rust binary


