Initial pi-devin package: Devin Local models inside Pi.

Auth and catalog come from the local Devin CLI. Pi stays the harness.
2026-08-16 20:29:56 -07:00
commit d36c0b3705
15 changed files with 1658 additions and 0 deletions
@@ -0,0 +1,24 @@
+# AGENTS.md — pi-devin
+
+Pi package that registers the `devin` provider. Auth and the model catalog come from the local Devin CLI. Pi remains the harness.
+
+## Layout
+
+```
+extensions/index.ts   # registerProvider("devin"), /login, /devin-status, /devin-refresh
+src/cli.ts            # locate + spawn `devin`
+src/credentials.ts    # ~/.local/share/devin/credentials.toml
+src/models.ts         # `devin models list --format json` → ProviderModelConfig[]
+src/stream.ts         # streamSimple via GetChatMessage (Connect/protobuf)
+src/jwt.ts            # GetUserJwt cache
+src/metadata.ts       # Metadata proto (ide_name=devin)
+src/wire.ts           # protobuf + Connect framing
+src/context-map.ts    # Pi Context → Cognition chat history
+```
+
+## Contract
+
+- `/login devin` must call `devin auth login` when credentials are missing, not a custom Windsurf paste flow.
+- Model IDs must come from `devin models list`, not a hardcoded cloud allowlist.
+- Do not spawn `devin acp` as the session owner. Pi keeps tools, permissions, and the session tree.
+- Package must stay installable as a Pi package: `keywords: ["pi-package"]` and `pi.extensions`.