Show HN: A lightweight compiler for untrusted AI Agent scripts

Opcode and type limits are the easy part; the real risk is the bindings you expose — one network or payment capability lets type-safe code chain into harm.