Provable AI agents with behavioral guarantees enforced by formal verification, runtime security, and end-to-end audit trails.
-
Updated
Jun 23, 2026 - Rust
Provable AI agents with behavioral guarantees enforced by formal verification, runtime security, and end-to-end audit trails.
A zero-config, decentralized local compute mesh. Pool RAM, GPU VRAM, and storage across macOS, Linux, Windows, and Raspberry Pis to run distributed AI models and sandboxed tasks locally-with zero cloud billing.
An open-source AI desktop companion with a living 3D character, desktop awareness, voice interaction, memory, and intelligent automation.
Add a description, image, and links to the wasm-sandbox topic page so that developers can more easily learn about it.
To associate your repository with the wasm-sandbox topic, visit your repo's landing page and select "manage topics."