# SJTU-IPADS

> Open-source publisher. Listings imported from github.com/SJTU-IPADS — credited to the original author with their license.

- **Listings:** 2
- **Total installs:** 0
- **Profile:** https://agentstack.voostack.com/s/sjtu-ipads
- **Website:** https://github.com/SJTU-IPADS

## Published listings

- [Skvm Jit](https://agentstack.voostack.com/l/skill-sjtu-ipads-skvm-skvm-jit) — Skill · Free — `agentstack add skill-sjtu-ipads-skvm-skvm-jit`
  Trigger `skvm jit-optimize` with post-task evidence so it generates a reviewable optimization proposal for a skill. Use after finishing a task that was driven by any skill (not just SkVM-compiled ones) when the outcome was a failure, was partial, or the skill's instructions clearly caused confusion or an unnecessary detour. Clean successful runs usually do not need an optimization pass. For gener…
- [Skvm General](https://agentstack.voostack.com/l/skill-sjtu-ipads-skvm-skvm-general) — Skill · Free — `agentstack add skill-sjtu-ipads-skvm-skvm-general`
  Drive the skvm CLI on behalf of a user to profile models, AOT-compile skills, run skill-assisted tasks, run benchmarks, and manage compiled proposals. Trigger when the user asks to "profile", "aot-compile", "bench", "run a single ad-hoc task with a skill", or asks about skvm proposals. Do NOT trigger for `jit-optimize` or when the user wants to optimize/improve a skill — use the sibling `skvm-jit…

---
Seller on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Install any with `agentstack add <slug>`.