feat(core): add default agent plugin

packages/core/src/agent.ts

@@ -1,6 +1,6 @@
 export * as AgentV2 from "./agent"
 
-import { Array, Context, Effect, Layer, Schema } from "effect"
+import { Array, Context, Effect, Layer, Schema, Scope } from "effect"
 import { castDraft, enableMapSet, type Draft } from "immer"
 import { ModelV2 } from "./model"
 import { PermissionV2 } from "./permission"
@@ -59,7 +59,7 @@ export type Editor = {
 
 export interface Interface {
   readonly transform: State.Interface<Data, Editor>["transform"]
-  readonly update: State.Interface<Data, Editor>["update"]
+  readonly update: (update: State.Transform<Editor>) => Effect.Effect<void, never, Scope.Scope>
   readonly get: (id: ID) => Effect.Effect<Info | undefined>
   readonly all: () => Effect.Effect<Info[]>
 }
@@ -90,7 +90,10 @@ export const layer = Layer.effect(
 
     return Service.of({
       transform: state.transform,
-      update: state.update,
+      update: Effect.fn("AgentV2.update")(function* (update) {
+        const transform = yield* state.transform()
+        yield* transform(update)
+      }),
       get: Effect.fn("AgentV2.get")(function* (id) {
         return state.get().agents.get(id)
       }),

packages/core/src/config/plugin/agent.ts

@@ -12,10 +12,9 @@ export const Plugin = PluginV2.define({
   effect: Effect.gen(function* () {
     const agent = yield* AgentV2.Service
     const config = yield* Config.Service
-    const transform = yield* agent.transform()
     const files = yield* config.get()
 
-    yield* transform((editor) => {
+    yield* agent.update((editor) => {
       const permissions = new Map<AgentV2.ID, PermissionV2.Ruleset>()
 
       for (const file of files) {

packages/core/src/plugin/agent.ts

@@ -0,0 +1,220 @@
+export * as AgentPlugin from "./agent"
+
+import path from "path"
+import { Effect } from "effect"
+import { AgentV2 } from "../agent"
+import { Global } from "../global"
+import { Location } from "../location"
+import { PermissionV2 } from "../permission"
+import { PluginV2 } from "../plugin"
+
+const TRUNCATION_GLOB = path.join(Global.Path.data, "tool-output", "*")
+
+const PROMPT_EXPLORE = `You are a file search specialist. You excel at thoroughly navigating and exploring codebases.
+
+Your strengths:
+- Rapidly finding files using glob patterns
+- Searching code and text with powerful regex patterns
+- Reading and analyzing file contents
+
+Guidelines:
+- Use Glob for broad file pattern matching
+- Use Grep for searching file contents with regex
+- Use Read when you know the specific file path you need to read
+- Use Bash for file operations like copying, moving, or listing directory contents
+- Adapt your search approach based on the thoroughness level specified by the caller
+- Return file paths as absolute paths in your final response
+- For clear communication, avoid using emojis
+- Do not create any files, or run bash commands that modify the user's system state in any way
+
+Complete the user's search request efficiently and report your findings clearly.`
+
+const PROMPT_COMPACTION = `You are an anchored context summarization assistant for coding sessions.
+
+Summarize only the conversation history you are given. The newest turns may be kept verbatim outside your summary, so focus on the older context that still matters for continuing the work.
+
+If the prompt includes a <previous-summary> block, treat it as the current anchored summary. Update it with the new history by preserving still-true details, removing stale details, and merging in new facts.
+
+Always follow the exact output structure requested by the user prompt. Keep every section, preserve exact file paths and identifiers when known, and prefer terse bullets over paragraphs.
+
+Do not answer the conversation itself. Do not mention that you are summarizing, compacting, or merging context. Respond in the same language as the conversation.`
+
+const PROMPT_TITLE = `You are a title generator. You output ONLY a thread title. Nothing else.
+
+<task>
+Generate a brief title that would help the user find this conversation later.
+
+Follow all rules in <rules>
+Use the <examples> so you know what a good title looks like.
+Your output must be:
+- A single line
+- <=50 characters
+- No explanations
+</task>
+
+<rules>
+- you MUST use the same language as the user message you are summarizing
+- Title must be grammatically correct and read naturally - no word salad
+- Never include tool names in the title (e.g. "read tool", "bash tool", "edit tool")
+- Focus on the main topic or question the user needs to retrieve
+- Vary your phrasing - avoid repetitive patterns like always starting with "Analyzing"
+- When a file is mentioned, focus on WHAT the user wants to do WITH the file, not just that they shared it
+- Keep exact: technical terms, numbers, filenames, HTTP codes
+- Remove: the, this, my, a, an
+- Never assume tech stack
+- Never use tools
+- NEVER respond to questions, just generate a title for the conversation
+- The title should NEVER include "summarizing" or "generating" when generating a title
+- DO NOT SAY YOU CANNOT GENERATE A TITLE OR COMPLAIN ABOUT THE INPUT
+- Always output something meaningful, even if the input is minimal.
+- If the user message is short or conversational (e.g. "hello", "lol", "what's up", "hey"):
+  -> create a title that reflects the user's tone or intent (such as Greeting, Quick check-in, Light chat, Intro message, etc.)
+</rules>
+
+<examples>
+"debug 500 errors in production" -> Debugging production 500 errors
+"refactor user service" -> Refactoring user service
+"why is app.js failing" -> app.js failure investigation
+"implement rate limiting" -> Rate limiting implementation
+"how do I connect postgres to my API" -> Postgres API connection
+"best practices for React hooks" -> React hooks best practices
+"@src/auth.ts can you add refresh token support" -> Auth refresh token support
+"@utils/parser.ts this is broken" -> Parser bug fix
+"look at @config.json" -> Config review
+"@App.tsx add dark mode toggle" -> Dark mode toggle in App
+</examples>`
+
+const PROMPT_SUMMARY = `Summarize what was done in this conversation. Write like a pull request description.
+
+Rules:
+- 2-3 sentences max
+- Describe the changes made, not the process
+- Do not mention running tests, builds, or other validation steps
+- Do not explain what the user asked for
+- Write in first person (I added..., I fixed...)
+- Never ask questions or add new questions
+- If the conversation ends with an unanswered question to the user, preserve that exact question
+- If the conversation ends with an imperative statement or request to the user (e.g. "Now please run the command and paste the console output"), always include that exact request in the summary`
+
+export const Plugin = PluginV2.define({
+  id: PluginV2.ID.make("agent"),
+  effect: Effect.gen(function* () {
+    const agent = yield* AgentV2.Service
+    const location = yield* Location.Service
+    const worktree = location.directory
+    const whitelistedDirs = [TRUNCATION_GLOB, path.join(Global.Path.tmp, "*")]
+    const readonlyExternalDirectory = rules({
+      external_directory: {
+        "*": "ask",
+        ...Object.fromEntries(whitelistedDirs.map((dir) => [dir, "allow"])),
+      },
+    })
+    const defaults = rules({
+      "*": "allow",
+      doom_loop: "ask",
+      external_directory: {
+        "*": "ask",
+        ...Object.fromEntries(whitelistedDirs.map((dir) => [dir, "allow"])),
+      },
+      question: "deny",
+      plan_enter: "deny",
+      plan_exit: "deny",
+      repo_clone: "deny",
+      repo_overview: "deny",
+      read: {
+        "*": "allow",
+        "*.env": "ask",
+        "*.env.*": "ask",
+        "*.env.example": "allow",
+      },
+    })
+
+    yield* agent.update((editor) => {
+      editor.update(AgentV2.ID.make("build"), (item) => {
+        item.description = "The default agent. Executes tools based on configured permissions."
+        item.mode = "primary"
+        item.permissions.push(...PermissionV2.merge(defaults, rules({ question: "allow", plan_enter: "allow" })))
+      })
+
+      editor.update(AgentV2.ID.make("plan"), (item) => {
+        item.description = "Plan mode. Disallows all edit tools."
+        item.mode = "primary"
+        item.permissions.push(
+          ...PermissionV2.merge(
+            defaults,
+            rules({
+              question: "allow",
+              plan_exit: "allow",
+              external_directory: {
+                [path.join(Global.Path.data, "plans", "*")]: "allow",
+              },
+              edit: {
+                "*": "deny",
+                [path.join(".opencode", "plans", "*.md")]: "allow",
+                [path.relative(worktree, path.join(Global.Path.data, "plans", "*.md"))]: "allow",
+              },
+            }),
+          ),
+        )
+      })
+
+      editor.update(AgentV2.ID.make("general"), (item) => {
+        item.description =
+          "General-purpose agent for researching complex questions and executing multi-step tasks. Use this agent to execute multiple units of work in parallel."
+        item.mode = "subagent"
+        item.permissions.push(...PermissionV2.merge(defaults, rules({ todowrite: "deny" })))
+      })
+
+      editor.update(AgentV2.ID.make("explore"), (item) => {
+        item.description =
+          'Fast agent specialized for exploring codebases. Use this when you need to quickly find files by patterns (eg. "src/components/**/*.tsx"), search code for keywords (eg. "API endpoints"), or answer questions about the codebase (eg. "how do API endpoints work?"). When calling this agent, specify the desired thoroughness level: "quick" for basic searches, "medium" for moderate exploration, or "very thorough" for comprehensive analysis across multiple locations and naming conventions.'
+        item.system = PROMPT_EXPLORE
+        item.mode = "subagent"
+        item.permissions.push(
+          ...PermissionV2.merge(
+            defaults,
+            rules({
+              "*": "deny",
+              grep: "allow",
+              glob: "allow",
+              list: "allow",
+              bash: "allow",
+              webfetch: "allow",
+              websearch: "allow",
+              read: "allow",
+            }),
+            readonlyExternalDirectory,
+          ),
+        )
+      })
+
+      editor.update(AgentV2.ID.make("compaction"), (item) => {
+        item.mode = "primary"
+        item.hidden = true
+        item.system = PROMPT_COMPACTION
+        item.permissions.push(...PermissionV2.merge(defaults, rules({ "*": "deny" })))
+      })
+
+      editor.update(AgentV2.ID.make("title"), (item) => {
+        item.mode = "primary"
+        item.hidden = true
+        item.system = PROMPT_TITLE
+        item.permissions.push(...PermissionV2.merge(defaults, rules({ "*": "deny" })))
+      })
+
+      editor.update(AgentV2.ID.make("summary"), (item) => {
+        item.mode = "primary"
+        item.hidden = true
+        item.system = PROMPT_SUMMARY
+        item.permissions.push(...PermissionV2.merge(defaults, rules({ "*": "deny" })))
+      })
+    })
+  }),
+})
+
+function rules(input: Record<string, PermissionV2.Action | Record<string, PermissionV2.Action>>) {
+  return Object.entries(input).flatMap(([permission, value]) => {
+    if (typeof value === "string") return [{ permission, pattern: "*", action: value }]
+    return Object.entries(value).map(([pattern, action]) => ({ permission, pattern, action }))
+  })
+}

packages/core/src/plugin/boot.ts

@@ -7,9 +7,11 @@ import { Catalog } from "../catalog"
 import { Config } from "../config"
 import { ConfigAgentPlugin } from "../config/plugin/agent"
 import { EventV2 } from "../event"
+import { Location } from "../location"
 import { Npm } from "../npm"
 import { PluginV2 } from "../plugin"
 import { AccountPlugin } from "./account"
+import { AgentPlugin } from "./agent"
 import { ConfigProviderPlugin } from "../config/plugin/provider"
 import { EnvPlugin } from "./env"
 import { ModelsDevPlugin } from "./models-dev"
@@ -23,6 +25,7 @@ type Plugin = {
     | AgentV2.Service
     | Npm.Service
     | EventV2.Service
+    | Location.Service
     | PluginV2.Service
     | Config.Service
   >
@@ -42,6 +45,7 @@ export const layer = Layer.effect(
     const accounts = yield* AccountV2.Service
     const agents = yield* AgentV2.Service
     const config = yield* Config.Service
+    const location = yield* Location.Service
     const npm = yield* Npm.Service
     const events = yield* EventV2.Service
     const done = yield* Deferred.make<void>()
@@ -54,6 +58,7 @@ export const layer = Layer.effect(
           Effect.provideService(AccountV2.Service, accounts),
           Effect.provideService(AgentV2.Service, agents),
           Effect.provideService(Config.Service, config),
+          Effect.provideService(Location.Service, location),
           Effect.provideService(Npm.Service, npm),
           Effect.provideService(EventV2.Service, events),
           Effect.provideService(PluginV2.Service, plugin),
@@ -64,6 +69,7 @@ export const layer = Layer.effect(
     const boot = Effect.gen(function* () {
       yield* add(EnvPlugin)
       yield* add(AccountPlugin)
+      yield* add(AgentPlugin.Plugin)
       for (const item of ProviderPlugins) {
         yield* add(item)
       }

packages/core/test/agent.test.ts

@@ -76,12 +76,10 @@ describe("AgentV2", () => {
       const id = AgentV2.ID.make("build")
 
       yield* agent.update((editor) =>
-        Effect.sync(() =>
-          editor.update(id, (info) => {
-            info.mode = "primary"
-            info.hidden = true
-          }),
-        ),
+        editor.update(id, (info) => {
+          info.mode = "primary"
+          info.hidden = true
+        }),
       )
 
       expect(yield* agent.get(id)).toMatchObject({ id, mode: "primary", hidden: true })
@@ -93,10 +91,10 @@ describe("AgentV2", () => {
       const agent = yield* AgentV2.Service
       const id = AgentV2.ID.make("custom")
 
-      yield* agent.update((editor) => Effect.sync(() => editor.update(id, () => {})))
+      yield* agent.update((editor) => editor.update(id, () => {}))
       expect(yield* agent.get(id)).toEqual(AgentV2.Info.empty(id))
 
-      yield* agent.update((editor) => Effect.sync(() => editor.remove(id)))
+      yield* agent.update((editor) => editor.remove(id))
       expect(yield* agent.get(id)).toBeUndefined()
     }),
   )