@rivet-dev/agent-os-pi is not assignable to SoftwareInput in agentOs() options

[turisanapo]

Description

When using agentOs() from rivetkit/agent-os with the pi software from @rivet-dev/agent-os-pi, TypeScript reports a type error even though it works correctly at runtime.

Steps to reproduce

import { agentOs } from "rivetkit/agent-os";
import { setup } from "rivetkit";
import pi from "@rivet-dev/agent-os-pi";

const vm = agentOs({
  options: {
    software: [pi],
  },
});

export const registry = setup({ use: { vm } });
registry.start();

With:

• rivetkit@2.3.0-rc.11
• @rivet-dev/agent-os-pi@0.1.2-rc.1
• @rivet-dev/agent-os-core@0.1.2-rc.1
• TypeScript 6.0

Expected

No type error — pi should be assignable to SoftwareInput.

Observed

error TS2322: Type '{ name: string; type: "agent"; packageDir: string; requires: string[];
agent: { ...; prepareInstructions: (kernel: Kernel, ...) => Promise<...>; }; }'
is not assignable to type 'SoftwareInput'.

[linear]

RVT-6324