Komputer 是一个用于有状态 WebAssembly 程序的持久化运行时,通过捕获延续点并记录交互来支持故障恢复或进程迁移。

Stars

6

7 天增长

暂无数据

Fork 数

0

开放 Issue

0

开源协议

MIT

最近更新

2026-07-30

AI 仓库情报摘要
FR-AI / ANALYSIS

为什么值得关注

它能够处理智能体大脑(agent brain)的执行框架,无需应用层恢复逻辑或持久化状态机,而是基于操作重放而非会话模式。

适合谁使用

  • WebAssembly 智能体开发者
  • 弹性 AI/ML 系统构建者
  • 探索有状态 Wasm 持久化的运行时工程师
  • 需要进程迁移和恢复的平台团队

典型使用场景

  • 编排具有对话、规划和工具状态的 AI 智能体大脑
  • 推理期间在主机间迁移活跃的 Wasm 执行器
  • 通过重放恢复崩溃后的有状态 Wasm 程序
  • 运行带有日志化输入/输出的持久化网络 Wasm 程序

项目优势

  • 对运行中有状态 Wasm 程序进行飞行中的延续点检查点
  • 为无法暴露延续点的运行时提供重放恢复
  • 为时钟、定时器、网络及外部效果提供日志先于可见性的排序
  • 支持显式检查点、迁移、移交和主机间移动

使用前须知

  • 早期软件,公共 API 尚未稳定
  • 仅限于 WebAssembly,不支持原生二进制或完整 POSIX
  • 不能替代通用容器,仅适用于允许的程序形态

README 快速开始

Komputer

Komputer is a durable runtime for stateful WebAssembly programs. It captures admitted continuations and journals their interactions so a fresh process can continue after failure or movement; broader Wasm runtimes can recover by replay instead.

The current product focus is agent brains: ordinary async harnesses with conversation, planning, tool, and stream state in memory. The harness does not need an application reducer, recovery callback, or persisted state machine for every await point.

Komputer is early software. Its durable formats and compatibility profiles are versioned, but the public API is not yet stable.

Agent brains

For this use case, the brain is the Wasm harness: its control loop, in-memory state, pending futures, model stream, and tool orchestration. Hands such as sandboxes, MCP servers, model providers, and credentialed services stay outside it and are reached through explicit network or policy gateways. Credentials are never given to the guest.

Komputer's journal is operational recovery history, not an application session schema. A product may still keep a semantic conversation log for context, audit, and brain upgrades; it does not need to encode every internal harness transition there just to survive a process failure.

Komputer is committed to Wasm and does not aim to support native binaries, full POSIX, or act as a general container replacement. See Compatibility for the admitted program shapes and capability limits.

Agent demo

The primary demo runs an ordinary Rust WASI brain with a real streaming model. It relocates the executor during inference and keeps the same WebSocket, provider response, conversation, plan, and local tool state. The guest contains no recovery path or application-level state encoding:

export OPENAI_API_KEY=...
./demos/agent/run.sh

Prerequisites are Rust with the declared Wasm targets, Binaryen's wasm-opt, the S2 CLI with local mode, curl, and Python 3. The key stays in a native policy gateway and is not supplied to the guest, executor, or computer specification. See the demo contract.

For a credential-free smoke test of relocation with a smaller TCP counter guest, run ./demos/relocation/run.sh.

What Komputer supplies

  • In-flight continuation checkpoints for admitted stateful Wasm programs.
  • Replay recovery fo

项目描述

A durable runtime for stateful WebAssembly programs

相关仓库与替代方案

根据分类、Topic 和编程语言匹配的相似项目。

mereyabdenbekuly-ctrl
精选
mereyabdenbekuly-ctrl GitHub avatar

clodex-ide

Clodex is an open-source, local-first agentic IDE that combines persistent AI tasks, code, terminal, browser, Git, models, memory, and governed execution in one Electron workspace, currently in technical preview.

AI 与机器学习AI 智能体
859
deerwork-ai
精选
deerwork-ai GitHub avatar

deer-workflow

An open-source Dynamic Workflow runtime that combines deterministic TypeScript orchestration with replaceable Agent runtimes.

AI 与机器学习大语言模型
312
MoonshotAI
精选
MoonshotAI GitHub avatar

Kimi-K3

Kimi K3 is an open-weight, 2.8T-parameter native multimodal agentic model with a 1M-token context window, designed for frontier coding, knowledge work, and reasoning tasks.

AI 与机器学习AI 智能体
3,348