
auto
RightNow-AI
the agi compiler: records llm agent behavior, proves what repeats, and compiles it into verified, sandboxed wasm binaries that run for microdollars. nothing figured out twice, paper: https://arxiv.org/abs/2607.04542
AI 简介
RightNow-AI/auto 是一个面向LLM智能体的编译器系统,将运行时记录的代理行为自动提炼为经形式验证、能力受限的WebAssembly二进制(.cbin),实现低成本、低延迟的确定性推理。其核心包含行为录制、符号性识别、模型蒸馏、契约化验证与分层运行时(编译快路径 + 前沿模型兜底解释器),支持自动回退、重编译与成本收敛。适用于需高频调用、严格成本控制与可验证行为的生产级AI代理场景,如自动化客服、规则敏感型决策服务及边缘侧轻量AI部署。
Rust
Apache License 2.069
Stars
4
Forks
52
Watchers
0
Issues
Star 增长
今日0
近 7 天0
近 30 天+9
综合评分43
默认分支main