Trytet

Name: Trytet
Author: bneb

@bneb

Trytet について

Wasm sandbox runtime for AI agent code execution. Executes JavaScript, regex, JMESPath, and SQL inside fuel-metered WebAssembly cartridges. Infinite loops trap in microseconds instead of hanging — deterministic failure for LLM-generated code.

#wasm #sandbox #code-execution #javascript #security

基本情報

カテゴリ

AI とエージェント

トランスポート

stdio

公開者

bneb

投稿者

bneb

設定

以下の設定を使って、このサーバーを MCP 対応クライアントに追加してください。

{
  "mcpServers": {
    "trytet": {
      "command": "tet",
      "args": [
        "mcp"
      ]
    }
  }
}

ツール

ツールは検出されませんでした

ツールは README から自動的に抽出されます。メンテナーは ## Tools という見出しの下に記載することで、このタブに反映できます。

概要

What is Trytet?

Trytet is a deterministic WebAssembly sandbox for agentic workloads. It ensures that agents calling solvers never hang, using fuel-bounded traps, live state migration, and O(1) teardown. Built in Rust with sub‑200µs cold starts, it targets developers who need safe, high‑performance execution of untrusted agent code.

How to use Trytet?

Install the CLI with curl -sL https://trytet.io/install.sh | bash. Run tet mcp for an interactive demo, or build and execute your own agent with tet build agent.ts -o agent.tet followed by tet up agent.tet --fuel 1000000. A dashboard is available at http://localhost:3000/console.

Key features of Trytet

Neuro‑Symbolic Cartridges: deterministic Wasm solvers in fuel‑bounded sub‑sandboxes.
Teleportation: serialize agent state into .tet artifacts for P2P transfer.
Copy‑on‑Write VFS: isolated vector file system with sub‑1µs reads.
Market Scheduling: elastic resource market using Fuel Vouchers.
Fuel Determinism: strict instruction‑level fuel limits trap infinite loops.
Consensus Locks: O(1) multi‑phase commit prevents double‑execution during migration.
Path Jailing: host filesystem isolation and OOB bounds checking.

Use cases of Trytet

Run untrusted agent solvers with guaranteed deterministic execution.
Migrate live agent state between nodes without downtime.
Execute inference or constraint‑checking workloads under strict fuel budgets.
Build high‑density agent sandboxes with 5MB per‑agent overhead.

FAQ from Trytet

How does Trytet prevent infinite loops?

Strict instruction‑level fuel limits trap infinite loops instead of timing them out, ensuring deterministic teardown.

What is teleportation in Trytet?

Teleportation serializes the full agent state into a .tet artifact, transfers it over P2P, and revives it on a remote node.

How do I install Trytet?

Run curl -sL https://trytet.io/install.sh | bash to install the CLI, then use tet commands.

What is the cold start time?

Trytet achieves sub‑200µs cold start, significantly faster than Docker or V8 isolates.

What language is Trytet built in?

Trytet is built in Rust using the Component Model for WebAssembly.

「AI とエージェント」の他のコンテンツ

MCP-NixOS - Because Your AI Assistant Shouldn't Hallucinate About Packages

utensils

MCP-NixOS - Model Context Protocol Server for NixOS resources

739

Solon Ai

opensolon

Java AI application development framework (supports LLM-tool,skill; RAG; MCP; Agent-ReAct,Team-Agent). Compatible with java8 ~ java25. It can also be embedded in SpringBoot, jFinal, Vert.x, Quarkus, and other frameworks.

416