Trytet

by bneb

293 downloads Not rated yet
GitHub

About

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.

Explore

- Neuro-Symbolic Cartridges: Load deterministic Wasm Components (solvers, verifiers, constraint engines) into an agent's execution graph. Each cartridge runs in a fuel-bounded sub-sandbox with $O(1)$ teardown. The agent reasons; the cartridge computes.
- Teleportation: Serialize agent state into a .tet artifact, transfer over P2P, revive on a remote node.
- Copy-on-Write VFS: Isolated Vector File System with sub-1µs reads and native deduplication on fork.
- Market Scheduling: Elastic resource market. Nodes bid for agent workloads using Fuel Vouchers scaled by thermal pressure and CPU availability.
- Fuel Determinism: Strict instruction-level fuel limits. Infinite loops are trapped, not timed out.
- Consensus Locks: $O(1)$ multi-phase commit prevents double-execution during migration.
- Northstar Benchmarks: Built-in latency instrumentation across five critical paths.
- Path Jailing: Host filesystem isolation, OOB bounds checking, and preemptive watchdogs for inference loads.

Setting up with Highlight

This MCP is not yet compatible with Highlight’s one-click setup. However, you can still use it with Highlight by following these steps:

  1. Download and install Highlight from highlightai.com/download
  2. Navigate to the plugins tab and select "Add Custom Plugin"
  3. Configure the plugin with the settings below
    Plugin Name Trytet
    Command (node, npx, python, etc.)

    Please refer to the README for specific instructions on how to obtain API keys or other required environment variables.

  4. Enable "Start Automatically" if you want the plugin to start when Highlight launches

From the repository

Experience Trytet's uncrashable determinism in under 60 seconds.

curl -sL https://trytet.io/install.sh | bash

Claude Desktop / Cursor

Paste into your MCP client config file to install this server.

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

McpServers

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

> The optimally solved agentic sandbox.

Agents call solvers. Solvers hang. Trytet makes sure the agent doesn't. Deterministic Wasm execution with fuel-bounded traps, live state migration, and $O(1)$ teardown. Rust. Component Model. Sub-200µs cold start.

Metrics Console

Why

| Technology | Cold Start | Solver Safety | Live Migration | Per-Agent Overhead |
|---|---|---|---|---|
| Docker/K8s | 2-5s | None | Extremely Difficult | Whole OS Stack |
| Agent Frameworks (LangChain, CrewAI) | Variable | None (process-level) | No | Unbounded |
| V8 Isolates | 5ms | None | No | High Memory |
| Trytet | < 200µs | Fuel-bounded traps | Native | < 5MB |

Architecture

Multi-layer stack. Technical details in the Architecture Guide.

graph TD
    A[Mesh Gateway] -->|Ingress| B(Trytet API)
    B --> C{Mesh Router}
    C -->|Local Execution| D[Wasmtime Sandbox]
    C -->|P2P RPC| E[Hive Peers]
    D -->|Persistent VFS| F[(LSM-Vector Store)]
    D -->|Pricing| G[Market Scheduler]
    E -->|Arbitrage| G
    
    style A fill:#00d4ff,stroke:#1e1e2e,color:#0a0a0f
    style D fill:#00ff88,stroke:#1e1e2e,color:#0a0a0f
    style F fill:#ff4466,stroke:#1e1e2e,color:#0a0a0f

Features (v33.1)

- Neuro-Symbolic Cartridges: Load deterministic Wasm Components (solvers, verifiers, constraint engines) into an agent's execution graph. Each cartridge runs in a fuel-bounded sub-sandbox with $O(1)$ teardown. The agent reasons; the cartridge computes.
- Teleportation: Serialize agent state into a .tet artifact, transfer over P2P, revive on a remote node.
- Copy-on-Write VFS: Isolated Vector File System with sub-1µs reads and native deduplication on fork.
- Market Scheduling: Elastic resource market. Nodes bid for agent workloads using Fuel Vouchers scaled by thermal pressure and CPU availability.
- Fuel Determinism: Strict instruction-level fuel limits. Infinite loops are trapped, not timed out.
- Consensus Locks: $O(1)$ multi-phase commit prevents double-execution during migration.
- Northstar Benchmarks: Built-in latency instrumentation across five critical paths.
- Path Jailing: Host filesystem isolation, OOB bounds checking, and preemptive watchdogs for inference loads.

Frictionless Quickstart

Experience Trytet's uncrashable determinism in under 60 seconds.

Option 1: The "Wow" Demo (2 Commands)

Launch the Time-Travel Debugger or the Sub-Millisecond Wasm benchmark instantly.

```bash

No reviews yet — be the first

Sign in to leave a review

Use Google, GitHub, or an email account so ratings stay tied to real people.

Email sign in

No reviews posted yet.