SJTU-IPADS/SkVM

Registry 信息

项目简介

SkVM 是一个专为执行代理技能而设计的语言虚拟机。由上海交通大学 IPADS 实验室开发，它为代理高效、安全地运行基于技能的程序提供了运行时环境。

要点

• 专为代理技能执行设计的虚拟机
• 基于 TypeScript 实现，适配现代开发
• 针对代理工作流优化的轻量级运行时
• 为技能程序提供安全隔离

使用场景

• 在受控环境中运行代理技能
• 构建具有技能隔离的模块化代理系统
• 原型设计新的代理技能语言
• 虚拟机设计相关的教育项目

README 摘要

<div align="center"> # SkVM **Compile and run LLM agent skills across heterogeneous models and harnesses** [English](./README.md) | [中文](./README.zh-CN.md) [Website](https://skillvm.ai) · [GitHub](https://github.com/SJTU-IPADS/SkVM) · [Paper](https://arxiv.org/abs/2604.03088) [](https://www.npmjs.com/package/@ipads-skvm/skvm) [](./LICENSE) [](https://github.com/SJTU-IPADS/SkVM/releases) [](https://github.com/SJTU-IPADS/SkVM/commits) </div> SkVM is a compilation and runtime system that makes LLM agent skills portable across heterogeneous models and harnesses. It has four major parts: - **Profiling** — measure a model+harness against pre-defined primitive capabilities - **AOT-Compilation** — compile a skill with multiple passes in AOT compiler - **JIT-Optimization** — improve runtime speed (JIT-boost) and skill content (JIT-optimize) - **Benchmark** — evaluate original, compiled, and optimized skills across tasks, conditions, and models <p align="center"> <img src="./docs/skvm_arch.png" alt="SkVM architecture" width="66%" /> </p> Reference: **SkVM: Revisiting Language VM for Skills across Heterogenous LLMs and Harnesses** — https://arxiv.org/abs/2604.03088 ## News - **2026-05-18 — Headless pi driver, on by default.** `jit-optimize` and `jit-boost` now run their internal coding agent via [`@mariozechner/pi-coding-agent`](https://www.npmjs.com/package/@mariozechner/pi-coding-agent) in-process by default. Opencode remains a first-class peer — set `headlessAgent.driver: "opencode"` in `s

话题

暂无话题