pydantic/monty

A minimal, secure Python interpreter written in Rust for use by AI

解决的问题

Monty 提供了一个高性能且安全的沙箱环境，用于执行 AI 模型生成的 Python 代码。它消除了对重型容器、虚拟机或外部沙箱服务的需求，这些服务通常在启动和运行命令时引入显著延迟。

工作原理

Monty 使用 Rust 编写，是一个 Python 解释器虚拟机，直接在虚拟机内部强制执行内存、时间和递归限制。它创建了一个完整的隔离层，文件系统、环境变量和网络默认情况下均不可用。沙箱仅通过特定提供的函数和挂载与主机系统交互，确保 AI 生成的代码无法访问未经授权的主机资源。

适用人群

需要大规模安全高效地运行 AI 生成的 Python 代码的 AI 代理或应用程序开发者。

主要亮点

  • 超低延迟：启动和运行命令仅需约 5ms，相比 Docker 或沙箱服务的数百或数千毫秒显著更快。
  • 状态持久化：暂停的解释器可以序列化为字节并稍后恢复。
  • 多语言支持：提供 Python、JavaScript/TypeScript 和 Rust 的官方绑定。
  • 严格隔离：沙箱内无法直接访问文件系统、网络或环境变量。

相关

  • 项目
    Dicklesworthstone/pi_agent_rust

    一个基于 Rust 的原生 AI 编码代理 CLI，为依赖运行时的 AI 助手提供了高性能、安全且轻量级的替代方案。

  • 项目
    moltis-org/moltis

    一个用 Rust 编写的安全、持久化个人 AI 代理服务器，运行在您自己的硬件上，并在沙箱容器中执行所有代理命令。

  • 项目
    vinhnx/VTCode

    用 Rust 编写的开源、安全的终端编码代理，提供沙箱运行时和持久会话管理，支持自主 AI 开发。

  • 项目
    getkern/kern

    A fast, rootless, daemonless container runtime and sandbox designed for executing AI agent tool-calls and generated code with kernel-enforced isolation in under 4ms.

  • 项目
    gi-dellav/zerostack

    zerostack 是一个用 Rust 编写的终端 AI 编码助手，可与许多 LLM 提供商通信，提供多种内置提示词（代码、规划、审查、调试等），实施细粒度的权限系统，支持会话持久化、可选的沙箱，以及顾问模型、钩子和状态信号套接字等可扩展功能——同时保持轻量（约 16MiB RAM，26MB 二进制文件）。