Trytet
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.
Details
- Author
- bneb
- Downloads
- 293
- Categories
- AI, Security
Jump to
- 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.
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:
- Download and install Highlight from highlightai.com/download
- Navigate to the plugins tab and select "Add Custom Plugin"
-
Configure the plugin with the settings below
Plugin Name
TrytetCommand (node, npx, python, etc.)Please refer to the README for specific instructions on how to obtain API keys or other required environment variables.
- Enable "Start Automatically" if you want the plugin to start when Highlight launches
From the repository
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.
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"
]
}
}Trytet Engine
> 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.
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
Sign in to leave a review
Use Google, GitHub, or an email account so ratings stay tied to real people.
No reviews posted yet.
