📡 Idea Radar 每天 8:00 / 18:00 推送 · 18:00 生成精选
reddit · SideProject · 60 分 ← 返回列表

SafeScript - a Turing-incomplete subset of JavaScript you can prove safe before running

SafeScript - a Turing-incomplete subset of JavaScript you can prove safe before running I ran an LLM-written script in production last month without a VM, without a sandbox, without an escape surface. The script came from a model, it made an HTTP request, and I let it run in-process with my server. That felt dramatic enough to write up. The language is a subset of JavaScript. Same syntax, same feel, one structural constraint: when your code calls a host, that host has to be a string lit

五维评分

付费意愿
55
需求真实度
65
个人可落地
55
竞争空间
60
新鲜度
80

AI 分析

痛点:运行 LLM 或陌生人编写的脚本时,传统沙箱/VM 存在运行时逃逸风险、冷启动和编排成本,缺少执行前可证明的安全边界。

目标用户:bot 平台、AI agent 平台、插件/技能市场,以及在 SaaS 中运行用户自定义脚本的开发者。

证据:I use it in a bot platform where agent-written skills arrive from strangers on the internet and used to need VMs. I ran an LLM-written script in production last month without a VM, without a sandbox, without an escape surface.

变现:开源核心 + 企业版策略引擎与审计日志;托管验证 API 按脚本量/验证次数计费;CI/CD 安全门禁;为 agent 平台提供白标安全运行时。

MVP:用 acorn 等现有 JS parser 实现 SafeScript 子集解析器与静态签名提取器:禁止循环、递归和动态 host,输出访问主机、读取密钥和数据流报告;提供 CLI 与 GitHub Action,在 PR 中阻断密钥外泄,先不做完整运行时。

竞品:Deno permissions、WASM/WASI sandboxes、isolated-vm、Firecracker/gVisor、E2B、Modal、Cloudflare Workers、Starlark、CEL

摘要:作者发布 SafeScript:一种图灵不完备 JavaScript 子集,可在执行前静态计算完整签名(访问主机、读取密钥、数据流),声称能让 LLM/陌生人脚本在生产进程内直接运行,无需 VM/沙箱,且零冷启动、零每次执行成本。已在 bot 平台中用于替代 VM 运行 agent 技能。原帖未提供付费意愿或收入数据。