Skillscript: 专为AI代理编排工具的安全声明式语言

Show HN: Skillscript – A declarative, sandboxed language for tool orchestration

Skillscript 是一个专为 AI 代理设计的声明式沙盒语言，旨在解决代理任务重复推理带来的高成本与低效率问题。它让代理能够编写持久化、可审计且安全的自动化工作流，而非每次重新推导。通过限制语言的图灵完备性，Skillscript 确保代理代码在沙盒中运行，防止危险操作，同时提供静态验证和签名审批机制。开发者只需简单几行代码，即可定义复杂的工具调用、数据查询和模型交互逻辑，让 AI 代理真正具备自我进化的能力。

"代理即代码，而 Skillscript 正是它们用来书写自身的语言。"