将记录的 LLM 代理行为自动编译成经过验证的 WASM 二进制文件 · HackerLangs