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 二進位檔）。