soraacode 0.2.0 → 0.2.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/bin/soraacode.exe +10 -0
- package/package.json +17 -25
- package/{script/postinstall.mjs → postinstall.mjs} +5 -5
- package/AGENTS.md +0 -131
- package/Dockerfile +0 -18
- package/README.md +0 -15
- package/bin/opencode +0 -199
- package/bin/soraacode +0 -199
- package/bunfig.toml +0 -7
- package/git +0 -0
- package/migration/20260511173437_session-metadata/migration.sql +0 -1
- package/migration/20260511173437_session-metadata/snapshot.json +0 -1500
- package/parsers-config.ts +0 -1
- package/script/bench-search.ts +0 -94
- package/script/bench-test-suite.ts +0 -52
- package/script/build-headless.ts +0 -51
- package/script/build.ts +0 -245
- package/script/generate.ts +0 -14
- package/script/httpapi-exercise.ts +0 -1
- package/script/profile-test-files.ts +0 -42
- package/script/publish.ts +0 -213
- package/script/run-workspace-server +0 -106
- package/script/schema.ts +0 -77
- package/script/time.ts +0 -6
- package/script/trace-imports.ts +0 -153
- package/soraacode-0.1.7.tgz +0 -0
- package/specs/effect/error-boundaries-plan.md +0 -235
- package/specs/effect/errors.md +0 -207
- package/specs/effect/facades.md +0 -218
- package/specs/effect/guide.md +0 -247
- package/specs/effect/instance-context.md +0 -13
- package/specs/effect/loose-ends.md +0 -30
- package/specs/effect/migration.md +0 -62
- package/specs/effect/routes.md +0 -61
- package/specs/effect/schema.md +0 -88
- package/specs/effect/server-package.md +0 -58
- package/specs/effect/todo.md +0 -241
- package/specs/effect/tools.md +0 -88
- package/specs/openapi-translation-cleanup.md +0 -204
- package/specs/tui-plugins.md +0 -544
- package/specs/v2/api.ts +0 -67
- package/specs/v2/message-shape.md +0 -136
- package/specs/v2/notifications.md +0 -13
- package/specs/v2/tui-command-shim.md +0 -67
- package/src/account/account.ts +0 -481
- package/src/account/repo.ts +0 -171
- package/src/account/schema.ts +0 -99
- package/src/account/url.ts +0 -8
- package/src/acp/agent.ts +0 -95
- package/src/acp/config-option.ts +0 -206
- package/src/acp/content.ts +0 -269
- package/src/acp/directory.ts +0 -212
- package/src/acp/error.ts +0 -97
- package/src/acp/event.ts +0 -421
- package/src/acp/permission.ts +0 -254
- package/src/acp/profile.ts +0 -42
- package/src/acp/service.ts +0 -1226
- package/src/acp/session.ts +0 -232
- package/src/acp/tool.ts +0 -364
- package/src/acp/usage.ts +0 -243
- package/src/agent/agent.ts +0 -450
- package/src/agent/generate.txt +0 -75
- package/src/agent/prompt/compaction.txt +0 -5
- package/src/agent/prompt/explore.txt +0 -18
- package/src/agent/prompt/summary.txt +0 -11
- package/src/agent/prompt/title.txt +0 -44
- package/src/agent/subagent-permissions.ts +0 -27
- package/src/audio.d.ts +0 -14
- package/src/auth/index.ts +0 -97
- package/src/background/job.ts +0 -37
- package/src/bus/global.ts +0 -22
- package/src/cli/bootstrap.ts +0 -11
- package/src/cli/cmd/cmd.ts +0 -7
- package/src/cli/cmd/serve.ts +0 -24
- package/src/cli/effect/prompt.ts +0 -37
- package/src/cli/effect-cmd.ts +0 -96
- package/src/cli/error.ts +0 -130
- package/src/cli/heap.ts +0 -45
- package/src/cli/logo.ts +0 -2
- package/src/cli/network.ts +0 -80
- package/src/cli/ui.ts +0 -132
- package/src/command/index.ts +0 -177
- package/src/command/template/initialize.txt +0 -66
- package/src/command/template/review.txt +0 -101
- package/src/config/agent.ts +0 -59
- package/src/config/command.ts +0 -39
- package/src/config/config.ts +0 -707
- package/src/config/entry-name.ts +0 -19
- package/src/config/managed.ts +0 -69
- package/src/config/markdown.ts +0 -36
- package/src/config/parse.ts +0 -61
- package/src/config/paths.ts +0 -45
- package/src/config/plugin.ts +0 -79
- package/src/config/v2-compat.ts +0 -449
- package/src/config/variable.ts +0 -91
- package/src/control-plane/adapters/index.ts +0 -41
- package/src/control-plane/adapters/worktree.ts +0 -96
- package/src/control-plane/dev/README.md +0 -19
- package/src/control-plane/dev/debug-workspace-plugin.ts +0 -73
- package/src/control-plane/types.ts +0 -59
- package/src/control-plane/util.ts +0 -39
- package/src/control-plane/workspace-adapter-runtime.ts +0 -51
- package/src/control-plane/workspace-context.ts +0 -26
- package/src/control-plane/workspace.ts +0 -966
- package/src/effect/app-node-builder-v1.ts +0 -12
- package/src/effect/app-runtime.ts +0 -135
- package/src/effect/bootstrap-runtime.ts +0 -19
- package/src/effect/bridge.ts +0 -84
- package/src/effect/config-service.ts +0 -67
- package/src/effect/instance-ref.ts +0 -11
- package/src/effect/instance-registry.ts +0 -12
- package/src/effect/instance-state.ts +0 -69
- package/src/effect/promise.ts +0 -17
- package/src/effect/run-service.ts +0 -47
- package/src/effect/runner.ts +0 -217
- package/src/effect/runtime-flags.ts +0 -78
- package/src/env/index.ts +0 -41
- package/src/event-manifest.ts +0 -3
- package/src/event-v2-bridge.ts +0 -71
- package/src/format/formatter.ts +0 -404
- package/src/format/index.ts +0 -203
- package/src/git/index.ts +0 -348
- package/src/id/id.ts +0 -80
- package/src/ide/index.ts +0 -54
- package/src/image/image.ts +0 -172
- package/src/index-headless.ts +0 -89
- package/src/index.ts +0 -93
- package/src/installation/index.ts +0 -336
- package/src/lsp/client.ts +0 -650
- package/src/lsp/diagnostic.ts +0 -29
- package/src/lsp/language.ts +0 -121
- package/src/lsp/launch.ts +0 -21
- package/src/lsp/lsp.ts +0 -507
- package/src/lsp/server.ts +0 -1983
- package/src/markdown.d.ts +0 -4
- package/src/mcp/auth.ts +0 -163
- package/src/mcp/browser.ts +0 -37
- package/src/mcp/catalog.ts +0 -170
- package/src/mcp/index.ts +0 -1004
- package/src/mcp/oauth-callback.ts +0 -194
- package/src/mcp/oauth-provider.ts +0 -259
- package/src/node.ts +0 -4
- package/src/patch/index.ts +0 -686
- package/src/permission/arity.ts +0 -163
- package/src/permission/evaluate.ts +0 -1
- package/src/permission/index.ts +0 -223
- package/src/plugin/github-copilot/copilot.ts +0 -415
- package/src/plugin/github-copilot/models.ts +0 -261
- package/src/plugin/index.ts +0 -298
- package/src/plugin/install.ts +0 -439
- package/src/plugin/loader.ts +0 -237
- package/src/plugin/meta.ts +0 -188
- package/src/plugin/openai/README.md +0 -31
- package/src/plugin/openai/codex.ts +0 -575
- package/src/plugin/openai/ws-pool.ts +0 -271
- package/src/plugin/openai/ws.ts +0 -383
- package/src/plugin/pty-environment.ts +0 -24
- package/src/plugin/shared.ts +0 -323
- package/src/project/bootstrap-service.ts +0 -9
- package/src/project/bootstrap.ts +0 -58
- package/src/project/instance-context.ts +0 -24
- package/src/project/instance-runtime.ts +0 -16
- package/src/project/instance-store.ts +0 -213
- package/src/project/project.ts +0 -483
- package/src/project/vcs.ts +0 -423
- package/src/provider/auth.ts +0 -229
- package/src/provider/error.ts +0 -195
- package/src/provider/model-status.ts +0 -8
- package/src/provider/provider.ts +0 -1955
- package/src/provider/transform.ts +0 -1923
- package/src/question/index.ts +0 -161
- package/src/question/schema.ts +0 -4
- package/src/server/auth.ts +0 -48
- package/src/server/event.ts +0 -10
- package/src/server/global-lifecycle.ts +0 -28
- package/src/server/mdns.ts +0 -47
- package/src/server/proxy-util.ts +0 -48
- package/src/server/routes/instance/httpapi/AGENTS.md +0 -39
- package/src/server/routes/instance/httpapi/api.ts +0 -97
- package/src/server/routes/instance/httpapi/errors.ts +0 -193
- package/src/server/routes/instance/httpapi/groups/config.ts +0 -65
- package/src/server/routes/instance/httpapi/groups/control-plane.ts +0 -35
- package/src/server/routes/instance/httpapi/groups/control.ts +0 -76
- package/src/server/routes/instance/httpapi/groups/event.ts +0 -29
- package/src/server/routes/instance/httpapi/groups/experimental.ts +0 -275
- package/src/server/routes/instance/httpapi/groups/file.ts +0 -185
- package/src/server/routes/instance/httpapi/groups/global.ts +0 -139
- package/src/server/routes/instance/httpapi/groups/instance.ts +0 -206
- package/src/server/routes/instance/httpapi/groups/mcp.ts +0 -156
- package/src/server/routes/instance/httpapi/groups/metadata.ts +0 -18
- package/src/server/routes/instance/httpapi/groups/permission.ts +0 -61
- package/src/server/routes/instance/httpapi/groups/project-copy.ts +0 -32
- package/src/server/routes/instance/httpapi/groups/project.ts +0 -93
- package/src/server/routes/instance/httpapi/groups/provider.ts +0 -101
- package/src/server/routes/instance/httpapi/groups/pty.ts +0 -172
- package/src/server/routes/instance/httpapi/groups/query.ts +0 -12
- package/src/server/routes/instance/httpapi/groups/question.ts +0 -74
- package/src/server/routes/instance/httpapi/groups/session.ts +0 -462
- package/src/server/routes/instance/httpapi/groups/sync.ts +0 -113
- package/src/server/routes/instance/httpapi/groups/tui.ts +0 -208
- package/src/server/routes/instance/httpapi/groups/workspace.ts +0 -141
- package/src/server/routes/instance/httpapi/handlers/config.ts +0 -34
- package/src/server/routes/instance/httpapi/handlers/control-plane.ts +0 -37
- package/src/server/routes/instance/httpapi/handlers/control.ts +0 -43
- package/src/server/routes/instance/httpapi/handlers/event.ts +0 -99
- package/src/server/routes/instance/httpapi/handlers/experimental.ts +0 -193
- package/src/server/routes/instance/httpapi/handlers/file.ts +0 -139
- package/src/server/routes/instance/httpapi/handlers/global.ts +0 -126
- package/src/server/routes/instance/httpapi/handlers/instance.ts +0 -110
- package/src/server/routes/instance/httpapi/handlers/mcp.ts +0 -111
- package/src/server/routes/instance/httpapi/handlers/permission.ts +0 -41
- package/src/server/routes/instance/httpapi/handlers/project-copy.ts +0 -83
- package/src/server/routes/instance/httpapi/handlers/project.ts +0 -63
- package/src/server/routes/instance/httpapi/handlers/provider.ts +0 -116
- package/src/server/routes/instance/httpapi/handlers/pty.ts +0 -273
- package/src/server/routes/instance/httpapi/handlers/question.ts +0 -54
- package/src/server/routes/instance/httpapi/handlers/session-errors.ts +0 -21
- package/src/server/routes/instance/httpapi/handlers/session.ts +0 -442
- package/src/server/routes/instance/httpapi/handlers/sync.ts +0 -89
- package/src/server/routes/instance/httpapi/handlers/tui.ts +0 -131
- package/src/server/routes/instance/httpapi/handlers/workspace.ts +0 -102
- package/src/server/routes/instance/httpapi/lifecycle.ts +0 -54
- package/src/server/routes/instance/httpapi/middleware/authorization.ts +0 -150
- package/src/server/routes/instance/httpapi/middleware/compression.ts +0 -64
- package/src/server/routes/instance/httpapi/middleware/cors-vary.ts +0 -29
- package/src/server/routes/instance/httpapi/middleware/error.ts +0 -44
- package/src/server/routes/instance/httpapi/middleware/fence.ts +0 -25
- package/src/server/routes/instance/httpapi/middleware/instance-context.ts +0 -43
- package/src/server/routes/instance/httpapi/middleware/proxy.ts +0 -131
- package/src/server/routes/instance/httpapi/middleware/schema-error.ts +0 -41
- package/src/server/routes/instance/httpapi/middleware/workspace-routing.ts +0 -250
- package/src/server/routes/instance/httpapi/public.ts +0 -537
- package/src/server/routes/instance/httpapi/server.ts +0 -325
- package/src/server/routes/instance/httpapi/websocket-tracker.ts +0 -60
- package/src/server/server.ts +0 -224
- package/src/server/shared/fence.ts +0 -60
- package/src/server/shared/pty-ticket.ts +0 -15
- package/src/server/shared/public-ui.ts +0 -12
- package/src/server/shared/tui-control.ts +0 -28
- package/src/server/shared/ui.ts +0 -108
- package/src/server/shared/workspace-routing.ts +0 -45
- package/src/server/tui-event.ts +0 -1
- package/src/session/compaction.ts +0 -608
- package/src/session/instruction.ts +0 -237
- package/src/session/llm/AGENTS.md +0 -90
- package/src/session/llm/ai-sdk.ts +0 -291
- package/src/session/llm/native-request.ts +0 -196
- package/src/session/llm/native-runtime.ts +0 -195
- package/src/session/llm/request.ts +0 -226
- package/src/session/llm.ts +0 -390
- package/src/session/message-error.ts +0 -14
- package/src/session/message-v2.ts +0 -742
- package/src/session/message.ts +0 -148
- package/src/session/overflow.ts +0 -34
- package/src/session/processor.ts +0 -732
- package/src/session/prompt/build-switch.txt +0 -5
- package/src/session/prompt/default.txt +0 -35
- package/src/session/prompt/plan-mode.txt +0 -70
- package/src/session/prompt/plan.txt +0 -26
- package/src/session/prompt.ts +0 -1631
- package/src/session/reminders.ts +0 -92
- package/src/session/retry.ts +0 -209
- package/src/session/revert.ts +0 -136
- package/src/session/run-state.ts +0 -151
- package/src/session/schema.ts +0 -26
- package/src/session/session.ts +0 -1016
- package/src/session/status.ts +0 -56
- package/src/session/summary.ts +0 -160
- package/src/session/system.ts +0 -123
- package/src/session/todo.ts +0 -74
- package/src/session/tools.ts +0 -590
- package/src/share/session.ts +0 -58
- package/src/share/share-next.ts +0 -371
- package/src/skill/discovery.ts +0 -140
- package/src/skill/index.ts +0 -354
- package/src/snapshot/index.ts +0 -807
- package/src/sql.d.ts +0 -4
- package/src/storage/schema.ts +0 -5
- package/src/storage/storage.ts +0 -327
- package/src/sync/README.md +0 -179
- package/src/sync/schema.ts +0 -11
- package/src/temporary.ts +0 -31
- package/src/tool/apply_patch.ts +0 -313
- package/src/tool/apply_patch.txt +0 -14
- package/src/tool/code-mode.ts +0 -310
- package/src/tool/edit.ts +0 -737
- package/src/tool/edit.txt +0 -13
- package/src/tool/external-directory.ts +0 -49
- package/src/tool/glob.ts +0 -76
- package/src/tool/glob.txt +0 -7
- package/src/tool/grep.ts +0 -115
- package/src/tool/grep.txt +0 -7
- package/src/tool/invalid.ts +0 -21
- package/src/tool/json-schema.ts +0 -164
- package/src/tool/lsp.ts +0 -113
- package/src/tool/lsp.txt +0 -1
- package/src/tool/mcp-websearch.ts +0 -96
- package/src/tool/plan-enter.txt +0 -1
- package/src/tool/plan-exit.txt +0 -1
- package/src/tool/plan.ts +0 -79
- package/src/tool/question.ts +0 -44
- package/src/tool/question.txt +0 -1
- package/src/tool/read.ts +0 -386
- package/src/tool/read.txt +0 -13
- package/src/tool/registry.ts +0 -455
- package/src/tool/schema.ts +0 -14
- package/src/tool/shell/id.ts +0 -19
- package/src/tool/shell/prompt.ts +0 -293
- package/src/tool/shell/shell.txt +0 -21
- package/src/tool/shell.ts +0 -645
- package/src/tool/skill.ts +0 -70
- package/src/tool/skill.txt +0 -1
- package/src/tool/task.ts +0 -371
- package/src/tool/task.txt +0 -11
- package/src/tool/todo.ts +0 -46
- package/src/tool/todowrite.txt +0 -11
- package/src/tool/tool.ts +0 -183
- package/src/tool/truncate.ts +0 -156
- package/src/tool/truncation-dir.ts +0 -4
- package/src/tool/webfetch.ts +0 -192
- package/src/tool/webfetch.txt +0 -9
- package/src/tool/websearch.ts +0 -143
- package/src/tool/websearch.txt +0 -9
- package/src/tool/write.ts +0 -104
- package/src/tool/write.txt +0 -11
- package/src/util/archive.ts +0 -17
- package/src/util/bom.ts +0 -27
- package/src/util/data-url.ts +0 -9
- package/src/util/defer.ts +0 -10
- package/src/util/effect-http-client.ts +0 -11
- package/src/util/error.ts +0 -16
- package/src/util/filesystem.ts +0 -251
- package/src/util/html.ts +0 -8
- package/src/util/iife.ts +0 -3
- package/src/util/lazy.ts +0 -20
- package/src/util/local-context.ts +0 -25
- package/src/util/locale.ts +0 -4
- package/src/util/media.ts +0 -26
- package/src/util/process.ts +0 -177
- package/src/util/proxy-env.ts +0 -72
- package/src/util/queue.ts +0 -32
- package/src/util/record.ts +0 -3
- package/src/util/repository.ts +0 -232
- package/src/util/rpc.ts +0 -66
- package/src/util/signal.ts +0 -12
- package/src/util/timeout.ts +0 -13
- package/src/util/token.ts +0 -1
- package/src/util/wildcard.ts +0 -59
- package/src/worktree/index.ts +0 -623
- package/sst-env.d.ts +0 -10
- package/tsconfig.headless.json +0 -13
- package/tsconfig.json +0 -16
package/src/tool/truncate.ts
DELETED
|
@@ -1,156 +0,0 @@
|
|
|
1
|
-
import { LayerNode } from "@soraacode/core/effect/layer-node"
|
|
2
|
-
import { NodePath } from "@effect/platform-node"
|
|
3
|
-
import { Cause, Duration, Effect, Layer, Option, Schedule, Context } from "effect"
|
|
4
|
-
import path from "path"
|
|
5
|
-
import type { Agent } from "../agent/agent"
|
|
6
|
-
import { FSUtil } from "@soraacode/core/fs-util"
|
|
7
|
-
import { evaluate } from "@/permission/evaluate"
|
|
8
|
-
import { Config } from "@/config/config"
|
|
9
|
-
import { ToolID } from "./schema"
|
|
10
|
-
import { TRUNCATION_DIR } from "./truncation-dir"
|
|
11
|
-
|
|
12
|
-
const RETENTION = Duration.days(7)
|
|
13
|
-
|
|
14
|
-
export const MAX_LINES = 2000
|
|
15
|
-
export const MAX_BYTES = 50 * 1024
|
|
16
|
-
export const DIR = TRUNCATION_DIR
|
|
17
|
-
export const GLOB = path.join(TRUNCATION_DIR, "*")
|
|
18
|
-
|
|
19
|
-
export type Result = { content: string; truncated: false } | { content: string; truncated: true; outputPath: string }
|
|
20
|
-
|
|
21
|
-
export interface Options {
|
|
22
|
-
maxLines?: number
|
|
23
|
-
maxBytes?: number
|
|
24
|
-
direction?: "head" | "tail"
|
|
25
|
-
}
|
|
26
|
-
|
|
27
|
-
function hasTaskTool(agent?: Agent.Info) {
|
|
28
|
-
if (!agent?.permission) return false
|
|
29
|
-
return evaluate("task", "*", agent.permission).action !== "deny"
|
|
30
|
-
}
|
|
31
|
-
|
|
32
|
-
export interface Interface {
|
|
33
|
-
readonly cleanup: () => Effect.Effect<void>
|
|
34
|
-
readonly write: (text: string) => Effect.Effect<string>
|
|
35
|
-
/**
|
|
36
|
-
* Returns output unchanged when it fits within the limits, otherwise writes the full text
|
|
37
|
-
* to the truncation directory and returns a preview plus a hint to inspect the saved file.
|
|
38
|
-
*/
|
|
39
|
-
readonly output: (text: string, options?: Options, agent?: Agent.Info) => Effect.Effect<Result>
|
|
40
|
-
/**
|
|
41
|
-
* Resolved truncation limits: values from `tool_output` in opencode config, or MAX_LINES / MAX_BYTES if unset.
|
|
42
|
-
*/
|
|
43
|
-
readonly limits: () => Effect.Effect<{ maxLines: number; maxBytes: number }>
|
|
44
|
-
}
|
|
45
|
-
|
|
46
|
-
export class Service extends Context.Service<Service, Interface>()("@opencode/Truncate") {}
|
|
47
|
-
|
|
48
|
-
const layer = Layer.effect(
|
|
49
|
-
Service,
|
|
50
|
-
Effect.gen(function* () {
|
|
51
|
-
const fs = yield* FSUtil.Service
|
|
52
|
-
|
|
53
|
-
const cleanup = Effect.fn("Truncate.cleanup")(function* () {
|
|
54
|
-
const cutoff = Date.now() - Duration.toMillis(RETENTION)
|
|
55
|
-
const entries = yield* fs.readDirectory(TRUNCATION_DIR).pipe(
|
|
56
|
-
Effect.map((all) => all.filter((name) => name.startsWith("tool_"))),
|
|
57
|
-
Effect.catch(() => Effect.succeed([])),
|
|
58
|
-
)
|
|
59
|
-
for (const entry of entries) {
|
|
60
|
-
const file = path.join(TRUNCATION_DIR, entry)
|
|
61
|
-
const info = yield* fs.stat(file).pipe(Effect.catch(() => Effect.succeed(undefined)))
|
|
62
|
-
const mtime = info && Option.getOrUndefined(info.mtime)
|
|
63
|
-
if (!mtime || mtime.getTime() >= cutoff) continue
|
|
64
|
-
yield* fs.remove(file).pipe(Effect.catch(() => Effect.void))
|
|
65
|
-
}
|
|
66
|
-
})
|
|
67
|
-
|
|
68
|
-
const write = Effect.fn("Truncate.write")(function* (text: string) {
|
|
69
|
-
const file = path.join(TRUNCATION_DIR, ToolID.ascending())
|
|
70
|
-
yield* fs.ensureDir(TRUNCATION_DIR).pipe(Effect.orDie)
|
|
71
|
-
yield* fs.writeFileString(file, text).pipe(Effect.orDie)
|
|
72
|
-
return file
|
|
73
|
-
})
|
|
74
|
-
|
|
75
|
-
const limits = Effect.fn("Truncate.limits")(function* () {
|
|
76
|
-
const configSvc = yield* Effect.serviceOption(Config.Service)
|
|
77
|
-
if (Option.isNone(configSvc)) return { maxLines: MAX_LINES, maxBytes: MAX_BYTES }
|
|
78
|
-
const cfg = yield* configSvc.value.get().pipe(Effect.catch(() => Effect.succeed(undefined)))
|
|
79
|
-
return {
|
|
80
|
-
maxLines: cfg?.tool_output?.max_lines ?? MAX_LINES,
|
|
81
|
-
maxBytes: cfg?.tool_output?.max_bytes ?? MAX_BYTES,
|
|
82
|
-
}
|
|
83
|
-
})
|
|
84
|
-
|
|
85
|
-
const output = Effect.fn("Truncate.output")(function* (text: string, options: Options = {}, agent?: Agent.Info) {
|
|
86
|
-
const resolved = yield* limits()
|
|
87
|
-
const maxLines = options.maxLines ?? resolved.maxLines
|
|
88
|
-
const maxBytes = options.maxBytes ?? resolved.maxBytes
|
|
89
|
-
const direction = options.direction ?? "head"
|
|
90
|
-
const lines = text.split("\n")
|
|
91
|
-
const totalBytes = Buffer.byteLength(text, "utf-8")
|
|
92
|
-
|
|
93
|
-
if (lines.length <= maxLines && totalBytes <= maxBytes) {
|
|
94
|
-
return { content: text, truncated: false } as const
|
|
95
|
-
}
|
|
96
|
-
|
|
97
|
-
const out: string[] = []
|
|
98
|
-
let i = 0
|
|
99
|
-
let bytes = 0
|
|
100
|
-
let hitBytes = false
|
|
101
|
-
|
|
102
|
-
if (direction === "head") {
|
|
103
|
-
for (i = 0; i < lines.length && i < maxLines; i++) {
|
|
104
|
-
const size = Buffer.byteLength(lines[i], "utf-8") + (i > 0 ? 1 : 0)
|
|
105
|
-
if (bytes + size > maxBytes) {
|
|
106
|
-
hitBytes = true
|
|
107
|
-
break
|
|
108
|
-
}
|
|
109
|
-
out.push(lines[i])
|
|
110
|
-
bytes += size
|
|
111
|
-
}
|
|
112
|
-
} else {
|
|
113
|
-
for (i = lines.length - 1; i >= 0 && out.length < maxLines; i--) {
|
|
114
|
-
const size = Buffer.byteLength(lines[i], "utf-8") + (out.length > 0 ? 1 : 0)
|
|
115
|
-
if (bytes + size > maxBytes) {
|
|
116
|
-
hitBytes = true
|
|
117
|
-
break
|
|
118
|
-
}
|
|
119
|
-
out.unshift(lines[i])
|
|
120
|
-
bytes += size
|
|
121
|
-
}
|
|
122
|
-
}
|
|
123
|
-
|
|
124
|
-
const removed = hitBytes ? totalBytes - bytes : lines.length - out.length
|
|
125
|
-
const unit = hitBytes ? "bytes" : "lines"
|
|
126
|
-
const preview = out.join("\n")
|
|
127
|
-
const file = yield* write(text)
|
|
128
|
-
|
|
129
|
-
const hint = hasTaskTool(agent)
|
|
130
|
-
? `The tool call succeeded but the output was truncated. Full output saved to: ${file}\nUse the Task tool to have explore agent process this file with Grep and Read (with offset/limit). Do NOT read the full file yourself - delegate to save context.`
|
|
131
|
-
: `The tool call succeeded but the output was truncated. Full output saved to: ${file}\nUse Grep to search the full content or Read with offset/limit to view specific sections.`
|
|
132
|
-
|
|
133
|
-
return {
|
|
134
|
-
content:
|
|
135
|
-
direction === "head"
|
|
136
|
-
? `${preview}\n\n...${removed} ${unit} truncated...\n\n${hint}`
|
|
137
|
-
: `...${removed} ${unit} truncated...\n\n${hint}\n\n${preview}`,
|
|
138
|
-
truncated: true,
|
|
139
|
-
outputPath: file,
|
|
140
|
-
} as const
|
|
141
|
-
})
|
|
142
|
-
|
|
143
|
-
yield* cleanup().pipe(
|
|
144
|
-
Effect.catchCause((cause) => Effect.logError("truncation cleanup failed", { cause: Cause.pretty(cause) })),
|
|
145
|
-
Effect.repeat(Schedule.spaced(Duration.hours(1))),
|
|
146
|
-
Effect.delay(Duration.minutes(1)),
|
|
147
|
-
Effect.forkScoped,
|
|
148
|
-
)
|
|
149
|
-
|
|
150
|
-
return Service.of({ cleanup, write, output, limits })
|
|
151
|
-
}),
|
|
152
|
-
)
|
|
153
|
-
|
|
154
|
-
export const node = LayerNode.make({ service: Service, layer: layer, deps: [FSUtil.node] })
|
|
155
|
-
|
|
156
|
-
export * as Truncate from "./truncate"
|
package/src/tool/webfetch.ts
DELETED
|
@@ -1,192 +0,0 @@
|
|
|
1
|
-
import { Effect, Schema } from "effect"
|
|
2
|
-
import { HttpClient, HttpClientRequest } from "effect/unstable/http"
|
|
3
|
-
import { Parser } from "htmlparser2"
|
|
4
|
-
import * as Tool from "./tool"
|
|
5
|
-
import TurndownService from "turndown"
|
|
6
|
-
import DESCRIPTION from "./webfetch.txt"
|
|
7
|
-
import { isImageAttachment } from "@/util/media"
|
|
8
|
-
|
|
9
|
-
const MAX_RESPONSE_SIZE = 5 * 1024 * 1024 // 5MB
|
|
10
|
-
const DEFAULT_TIMEOUT = 30 * 1000 // 30 seconds
|
|
11
|
-
const MAX_TIMEOUT = 120 * 1000 // 2 minutes
|
|
12
|
-
|
|
13
|
-
export const Parameters = Schema.Struct({
|
|
14
|
-
url: Schema.String.annotate({ description: "The URL to fetch content from" }),
|
|
15
|
-
format: Schema.Literals(["text", "markdown", "html"])
|
|
16
|
-
.annotate({
|
|
17
|
-
description: "The format to return the content in (text, markdown, or html). Defaults to markdown.",
|
|
18
|
-
default: "markdown",
|
|
19
|
-
})
|
|
20
|
-
.pipe(Schema.withDecodingDefault(Effect.succeed("markdown" as const))),
|
|
21
|
-
timeout: Schema.optional(Schema.Number).annotate({ description: "Optional timeout in seconds (max 120)" }),
|
|
22
|
-
})
|
|
23
|
-
|
|
24
|
-
export const WebFetchTool = Tool.define(
|
|
25
|
-
"webfetch",
|
|
26
|
-
Effect.gen(function* () {
|
|
27
|
-
const http = yield* HttpClient.HttpClient
|
|
28
|
-
const httpOk = HttpClient.filterStatusOk(http)
|
|
29
|
-
|
|
30
|
-
return {
|
|
31
|
-
description: DESCRIPTION,
|
|
32
|
-
parameters: Parameters,
|
|
33
|
-
execute: (params: Schema.Schema.Type<typeof Parameters>, ctx: Tool.Context) =>
|
|
34
|
-
Effect.gen(function* () {
|
|
35
|
-
if (!params.url.startsWith("http://") && !params.url.startsWith("https://")) {
|
|
36
|
-
throw new Error("URL must start with http:// or https://")
|
|
37
|
-
}
|
|
38
|
-
|
|
39
|
-
yield* ctx.ask({
|
|
40
|
-
permission: "webfetch",
|
|
41
|
-
patterns: [params.url],
|
|
42
|
-
always: ["*"],
|
|
43
|
-
metadata: {
|
|
44
|
-
url: params.url,
|
|
45
|
-
format: params.format,
|
|
46
|
-
timeout: params.timeout,
|
|
47
|
-
},
|
|
48
|
-
})
|
|
49
|
-
|
|
50
|
-
const timeout = Math.min((params.timeout ?? DEFAULT_TIMEOUT / 1000) * 1000, MAX_TIMEOUT)
|
|
51
|
-
|
|
52
|
-
// Build Accept header based on requested format with q parameters for fallbacks
|
|
53
|
-
let acceptHeader = "*/*"
|
|
54
|
-
switch (params.format) {
|
|
55
|
-
case "markdown":
|
|
56
|
-
acceptHeader = "text/markdown;q=1.0, text/x-markdown;q=0.9, text/plain;q=0.8, text/html;q=0.7, */*;q=0.1"
|
|
57
|
-
break
|
|
58
|
-
case "text":
|
|
59
|
-
acceptHeader = "text/plain;q=1.0, text/markdown;q=0.9, text/html;q=0.8, */*;q=0.1"
|
|
60
|
-
break
|
|
61
|
-
case "html":
|
|
62
|
-
acceptHeader =
|
|
63
|
-
"text/html;q=1.0, application/xhtml+xml;q=0.9, text/plain;q=0.8, text/markdown;q=0.7, */*;q=0.1"
|
|
64
|
-
break
|
|
65
|
-
default:
|
|
66
|
-
acceptHeader =
|
|
67
|
-
"text/html,application/xhtml+xml,application/xml;q=0.9,image/avif,image/webp,image/apng,*/*;q=0.8"
|
|
68
|
-
}
|
|
69
|
-
const headers = {
|
|
70
|
-
"User-Agent":
|
|
71
|
-
"Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/143.0.0.0 Safari/537.36",
|
|
72
|
-
Accept: acceptHeader,
|
|
73
|
-
"Accept-Language": "en-US,en;q=0.9",
|
|
74
|
-
}
|
|
75
|
-
|
|
76
|
-
const request = HttpClientRequest.get(params.url).pipe(HttpClientRequest.setHeaders(headers))
|
|
77
|
-
|
|
78
|
-
// Retry with honest UA if blocked by Cloudflare bot detection (TLS fingerprint mismatch)
|
|
79
|
-
const response = yield* httpOk.execute(request).pipe(
|
|
80
|
-
Effect.catchIf(
|
|
81
|
-
(err) =>
|
|
82
|
-
err.reason._tag === "StatusCodeError" &&
|
|
83
|
-
err.reason.response.status === 403 &&
|
|
84
|
-
err.reason.response.headers["cf-mitigated"] === "challenge",
|
|
85
|
-
() =>
|
|
86
|
-
httpOk.execute(
|
|
87
|
-
HttpClientRequest.get(params.url).pipe(
|
|
88
|
-
HttpClientRequest.setHeaders({ ...headers, "User-Agent": "opencode" }),
|
|
89
|
-
),
|
|
90
|
-
),
|
|
91
|
-
),
|
|
92
|
-
Effect.timeoutOrElse({ duration: timeout, orElse: () => Effect.die(new Error("Request timed out")) }),
|
|
93
|
-
)
|
|
94
|
-
|
|
95
|
-
// Check content length
|
|
96
|
-
const contentLength = response.headers["content-length"]
|
|
97
|
-
if (contentLength && parseInt(contentLength) > MAX_RESPONSE_SIZE) {
|
|
98
|
-
throw new Error("Response too large (exceeds 5MB limit)")
|
|
99
|
-
}
|
|
100
|
-
|
|
101
|
-
const arrayBuffer = yield* response.arrayBuffer
|
|
102
|
-
if (arrayBuffer.byteLength > MAX_RESPONSE_SIZE) {
|
|
103
|
-
throw new Error("Response too large (exceeds 5MB limit)")
|
|
104
|
-
}
|
|
105
|
-
|
|
106
|
-
const contentType = response.headers["content-type"] || ""
|
|
107
|
-
const mime = contentType.split(";")[0]?.trim().toLowerCase() || ""
|
|
108
|
-
const title = `${params.url} (${contentType})`
|
|
109
|
-
|
|
110
|
-
if (isImageAttachment(mime)) {
|
|
111
|
-
const base64Content = Buffer.from(arrayBuffer).toString("base64")
|
|
112
|
-
return {
|
|
113
|
-
title,
|
|
114
|
-
output: "Image fetched successfully",
|
|
115
|
-
metadata: {},
|
|
116
|
-
attachments: [
|
|
117
|
-
{
|
|
118
|
-
type: "file" as const,
|
|
119
|
-
mime,
|
|
120
|
-
url: `data:${mime};base64,${base64Content}`,
|
|
121
|
-
},
|
|
122
|
-
],
|
|
123
|
-
}
|
|
124
|
-
}
|
|
125
|
-
|
|
126
|
-
const content = new TextDecoder().decode(arrayBuffer)
|
|
127
|
-
|
|
128
|
-
// Handle content based on requested format and actual content type
|
|
129
|
-
switch (params.format) {
|
|
130
|
-
case "markdown":
|
|
131
|
-
if (contentType.includes("text/html")) {
|
|
132
|
-
const markdown = convertHTMLToMarkdown(content)
|
|
133
|
-
return {
|
|
134
|
-
output: markdown,
|
|
135
|
-
title,
|
|
136
|
-
metadata: {},
|
|
137
|
-
}
|
|
138
|
-
}
|
|
139
|
-
return { output: content, title, metadata: {} }
|
|
140
|
-
|
|
141
|
-
case "text":
|
|
142
|
-
if (contentType.includes("text/html")) {
|
|
143
|
-
return { output: extractTextFromHTML(content), title, metadata: {} }
|
|
144
|
-
}
|
|
145
|
-
return { output: content, title, metadata: {} }
|
|
146
|
-
|
|
147
|
-
case "html":
|
|
148
|
-
return { output: content, title, metadata: {} }
|
|
149
|
-
|
|
150
|
-
default:
|
|
151
|
-
return { output: content, title, metadata: {} }
|
|
152
|
-
}
|
|
153
|
-
}).pipe(Effect.orDie),
|
|
154
|
-
}
|
|
155
|
-
}),
|
|
156
|
-
)
|
|
157
|
-
|
|
158
|
-
function extractTextFromHTML(html: string) {
|
|
159
|
-
let text = ""
|
|
160
|
-
let skipDepth = 0
|
|
161
|
-
|
|
162
|
-
const parser = new Parser({
|
|
163
|
-
onopentag(name) {
|
|
164
|
-
if (skipDepth > 0 || ["script", "style", "noscript", "iframe", "object", "embed"].includes(name)) {
|
|
165
|
-
skipDepth++
|
|
166
|
-
}
|
|
167
|
-
},
|
|
168
|
-
ontext(input) {
|
|
169
|
-
if (skipDepth === 0) text += input
|
|
170
|
-
},
|
|
171
|
-
onclosetag() {
|
|
172
|
-
if (skipDepth > 0) skipDepth--
|
|
173
|
-
},
|
|
174
|
-
})
|
|
175
|
-
|
|
176
|
-
parser.write(html)
|
|
177
|
-
parser.end()
|
|
178
|
-
|
|
179
|
-
return text.trim()
|
|
180
|
-
}
|
|
181
|
-
|
|
182
|
-
function convertHTMLToMarkdown(html: string): string {
|
|
183
|
-
const turndownService = new TurndownService({
|
|
184
|
-
headingStyle: "atx",
|
|
185
|
-
hr: "---",
|
|
186
|
-
bulletListMarker: "-",
|
|
187
|
-
codeBlockStyle: "fenced",
|
|
188
|
-
emDelimiter: "*",
|
|
189
|
-
})
|
|
190
|
-
turndownService.remove(["script", "style", "meta", "link"])
|
|
191
|
-
return turndownService.turndown(html)
|
|
192
|
-
}
|
package/src/tool/webfetch.txt
DELETED
package/src/tool/websearch.ts
DELETED
|
@@ -1,143 +0,0 @@
|
|
|
1
|
-
import { Effect, Schema } from "effect"
|
|
2
|
-
import { HttpClient } from "effect/unstable/http"
|
|
3
|
-
import * as Tool from "./tool"
|
|
4
|
-
import * as McpWebSearch from "./mcp-websearch"
|
|
5
|
-
import DESCRIPTION from "./websearch.txt"
|
|
6
|
-
import { checksum } from "@soraacode/core/util/encode"
|
|
7
|
-
import { InstallationVersion } from "@soraacode/core/installation/version"
|
|
8
|
-
import { RuntimeFlags } from "@/effect/runtime-flags"
|
|
9
|
-
|
|
10
|
-
export const Parameters = Schema.Struct({
|
|
11
|
-
query: Schema.String.annotate({ description: "Websearch query" }),
|
|
12
|
-
numResults: Schema.optional(Schema.Number).annotate({
|
|
13
|
-
description: "Number of search results to return (default: 8)",
|
|
14
|
-
}),
|
|
15
|
-
livecrawl: Schema.optional(Schema.Literals(["fallback", "preferred"])).annotate({
|
|
16
|
-
description:
|
|
17
|
-
"Live crawl mode - 'fallback': use live crawling as backup if cached content unavailable, 'preferred': prioritize live crawling (default: 'fallback')",
|
|
18
|
-
}),
|
|
19
|
-
type: Schema.optional(Schema.Literals(["auto", "fast", "deep"])).annotate({
|
|
20
|
-
description: "Search type - 'auto': balanced search (default), 'fast': quick results, 'deep': comprehensive search",
|
|
21
|
-
}),
|
|
22
|
-
contextMaxCharacters: Schema.optional(Schema.Number).annotate({
|
|
23
|
-
description: "Maximum characters for context string optimized for LLMs (default: 10000)",
|
|
24
|
-
}),
|
|
25
|
-
})
|
|
26
|
-
|
|
27
|
-
const WebSearchProviderSchema = Schema.Literals(["exa", "parallel"])
|
|
28
|
-
export type WebSearchProvider = Schema.Schema.Type<typeof WebSearchProviderSchema>
|
|
29
|
-
|
|
30
|
-
export function selectWebSearchProvider(sessionID: string, flags = { exa: false, parallel: false }): WebSearchProvider {
|
|
31
|
-
const override = process.env.OPENCODE_WEBSEARCH_PROVIDER
|
|
32
|
-
if (override === "exa" || override === "parallel") return override
|
|
33
|
-
if (flags.parallel) return "parallel"
|
|
34
|
-
if (flags.exa) return "exa"
|
|
35
|
-
|
|
36
|
-
return Number.parseInt(checksum(sessionID) ?? "0", 36) % 2 === 0 ? "exa" : "parallel"
|
|
37
|
-
}
|
|
38
|
-
|
|
39
|
-
export function webSearchProviderLabel(provider: unknown) {
|
|
40
|
-
if (provider === "parallel") return "Parallel Web Search"
|
|
41
|
-
if (provider === "exa") return "Exa Web Search"
|
|
42
|
-
return "Web Search"
|
|
43
|
-
}
|
|
44
|
-
|
|
45
|
-
export function webSearchModelName(extra: Tool.Context["extra"]) {
|
|
46
|
-
const model = extra?.model
|
|
47
|
-
if (!model || typeof model !== "object") return undefined
|
|
48
|
-
const api = "api" in model && model.api && typeof model.api === "object" ? model.api : undefined
|
|
49
|
-
const apiID = api && "id" in api && typeof api.id === "string" ? api.id : undefined
|
|
50
|
-
const id = "id" in model && typeof model.id === "string" ? model.id : undefined
|
|
51
|
-
return (apiID ?? id)?.slice(0, 100)
|
|
52
|
-
}
|
|
53
|
-
|
|
54
|
-
function parallelAuthHeaders() {
|
|
55
|
-
const headers = { "User-Agent": `opencode/${InstallationVersion}` }
|
|
56
|
-
if (!process.env.PARALLEL_API_KEY) return headers
|
|
57
|
-
return { ...headers, Authorization: `Bearer ${process.env.PARALLEL_API_KEY}` }
|
|
58
|
-
}
|
|
59
|
-
|
|
60
|
-
function callProvider(
|
|
61
|
-
http: HttpClient.HttpClient,
|
|
62
|
-
provider: WebSearchProvider,
|
|
63
|
-
params: Schema.Schema.Type<typeof Parameters>,
|
|
64
|
-
ctx: Tool.Context,
|
|
65
|
-
) {
|
|
66
|
-
if (provider === "parallel") {
|
|
67
|
-
return McpWebSearch.call(
|
|
68
|
-
http,
|
|
69
|
-
McpWebSearch.PARALLEL_URL,
|
|
70
|
-
"web_search",
|
|
71
|
-
McpWebSearch.ParallelSearchArgs,
|
|
72
|
-
{
|
|
73
|
-
objective: params.query,
|
|
74
|
-
search_queries: [params.query],
|
|
75
|
-
session_id: ctx.sessionID,
|
|
76
|
-
model_name: webSearchModelName(ctx.extra),
|
|
77
|
-
},
|
|
78
|
-
"25 seconds",
|
|
79
|
-
parallelAuthHeaders(),
|
|
80
|
-
)
|
|
81
|
-
}
|
|
82
|
-
|
|
83
|
-
return McpWebSearch.call(
|
|
84
|
-
http,
|
|
85
|
-
McpWebSearch.EXA_URL,
|
|
86
|
-
"web_search_exa",
|
|
87
|
-
McpWebSearch.SearchArgs,
|
|
88
|
-
{
|
|
89
|
-
query: params.query,
|
|
90
|
-
type: params.type || "auto",
|
|
91
|
-
numResults: params.numResults || 8,
|
|
92
|
-
livecrawl: params.livecrawl || "fallback",
|
|
93
|
-
contextMaxCharacters: params.contextMaxCharacters,
|
|
94
|
-
},
|
|
95
|
-
"25 seconds",
|
|
96
|
-
)
|
|
97
|
-
}
|
|
98
|
-
|
|
99
|
-
export const WebSearchTool = Tool.define(
|
|
100
|
-
"websearch",
|
|
101
|
-
Effect.gen(function* () {
|
|
102
|
-
const http = yield* HttpClient.HttpClient
|
|
103
|
-
const flags = yield* RuntimeFlags.Service
|
|
104
|
-
|
|
105
|
-
return {
|
|
106
|
-
get description() {
|
|
107
|
-
return DESCRIPTION.replace("{{year}}", new Date().getFullYear().toString())
|
|
108
|
-
},
|
|
109
|
-
parameters: Parameters,
|
|
110
|
-
execute: (params: Schema.Schema.Type<typeof Parameters>, ctx: Tool.Context) =>
|
|
111
|
-
Effect.gen(function* () {
|
|
112
|
-
const provider = selectWebSearchProvider(ctx.sessionID, {
|
|
113
|
-
exa: flags.enableExa,
|
|
114
|
-
parallel: flags.enableParallel,
|
|
115
|
-
})
|
|
116
|
-
const title = webSearchProviderLabel(provider)
|
|
117
|
-
yield* ctx.metadata({ title: `${title} "${params.query}"`, metadata: { provider } })
|
|
118
|
-
|
|
119
|
-
yield* ctx.ask({
|
|
120
|
-
permission: "websearch",
|
|
121
|
-
patterns: [params.query],
|
|
122
|
-
always: ["*"],
|
|
123
|
-
metadata: {
|
|
124
|
-
query: params.query,
|
|
125
|
-
numResults: params.numResults,
|
|
126
|
-
livecrawl: params.livecrawl,
|
|
127
|
-
type: params.type,
|
|
128
|
-
contextMaxCharacters: params.contextMaxCharacters,
|
|
129
|
-
provider,
|
|
130
|
-
},
|
|
131
|
-
})
|
|
132
|
-
|
|
133
|
-
const result = yield* callProvider(http, provider, params, ctx)
|
|
134
|
-
|
|
135
|
-
return {
|
|
136
|
-
output: result ?? "No search results found. Please try a different query.",
|
|
137
|
-
title: `${title}: ${params.query}`,
|
|
138
|
-
metadata: { provider },
|
|
139
|
-
}
|
|
140
|
-
}).pipe(Effect.orDie),
|
|
141
|
-
}
|
|
142
|
-
}),
|
|
143
|
-
)
|
package/src/tool/websearch.txt
DELETED
|
@@ -1,9 +0,0 @@
|
|
|
1
|
-
Real-time web search for current information.
|
|
2
|
-
|
|
3
|
-
Use current year for recent searches, currently 2026.
|
|
4
|
-
|
|
5
|
-
Supports search types such as auto, fast, and deep.
|
|
6
|
-
|
|
7
|
-
Supports crawling modes such as fallback and preferred.
|
|
8
|
-
|
|
9
|
-
Use for information beyond the model's knowledge.
|
package/src/tool/write.ts
DELETED
|
@@ -1,104 +0,0 @@
|
|
|
1
|
-
import { Schema } from "effect"
|
|
2
|
-
import * as path from "path"
|
|
3
|
-
import { Effect } from "effect"
|
|
4
|
-
import * as Tool from "./tool"
|
|
5
|
-
import { LSP } from "@/lsp/lsp"
|
|
6
|
-
import { createTwoFilesPatch } from "diff"
|
|
7
|
-
import DESCRIPTION from "./write.txt"
|
|
8
|
-
import { EventV2Bridge } from "@/event-v2-bridge"
|
|
9
|
-
import { FileSystem } from "@soraacode/core/filesystem"
|
|
10
|
-
import { Watcher } from "@soraacode/core/filesystem/watcher"
|
|
11
|
-
import { Format } from "../format"
|
|
12
|
-
import { FSUtil } from "@soraacode/core/fs-util"
|
|
13
|
-
import { InstanceState } from "@/effect/instance-state"
|
|
14
|
-
import { trimDiff } from "./edit"
|
|
15
|
-
import { assertExternalDirectoryEffect } from "./external-directory"
|
|
16
|
-
import * as Bom from "@/util/bom"
|
|
17
|
-
|
|
18
|
-
const MAX_PROJECT_DIAGNOSTICS_FILES = 5
|
|
19
|
-
|
|
20
|
-
export const Parameters = Schema.Struct({
|
|
21
|
-
content: Schema.String.annotate({ description: "The content to write to the file" }),
|
|
22
|
-
filePath: Schema.String.annotate({
|
|
23
|
-
description: "The absolute path to the file to write (must be absolute, not relative)",
|
|
24
|
-
}),
|
|
25
|
-
})
|
|
26
|
-
|
|
27
|
-
export const WriteTool = Tool.define(
|
|
28
|
-
"write",
|
|
29
|
-
Effect.gen(function* () {
|
|
30
|
-
const lsp = yield* LSP.Service
|
|
31
|
-
const fs = yield* FSUtil.Service
|
|
32
|
-
const events = yield* EventV2Bridge.Service
|
|
33
|
-
const format = yield* Format.Service
|
|
34
|
-
|
|
35
|
-
return {
|
|
36
|
-
description: DESCRIPTION,
|
|
37
|
-
parameters: Parameters,
|
|
38
|
-
execute: (params: { content: string; filePath: string }, ctx: Tool.Context) =>
|
|
39
|
-
Effect.gen(function* () {
|
|
40
|
-
const instance = yield* InstanceState.context
|
|
41
|
-
const filepath = path.isAbsolute(params.filePath)
|
|
42
|
-
? params.filePath
|
|
43
|
-
: path.join(instance.directory, params.filePath)
|
|
44
|
-
yield* assertExternalDirectoryEffect(ctx, filepath)
|
|
45
|
-
|
|
46
|
-
const exists = yield* fs.existsSafe(filepath)
|
|
47
|
-
const source = exists ? yield* Bom.readFile(fs, filepath) : { bom: false, text: "" }
|
|
48
|
-
const next = Bom.split(params.content)
|
|
49
|
-
const desiredBom = source.bom || next.bom
|
|
50
|
-
const contentOld = source.text
|
|
51
|
-
const contentNew = next.text
|
|
52
|
-
|
|
53
|
-
const diff = trimDiff(createTwoFilesPatch(filepath, filepath, contentOld, contentNew))
|
|
54
|
-
yield* ctx.ask({
|
|
55
|
-
permission: "edit",
|
|
56
|
-
patterns: [path.relative(instance.worktree, filepath)],
|
|
57
|
-
always: ["*"],
|
|
58
|
-
metadata: {
|
|
59
|
-
filepath,
|
|
60
|
-
diff,
|
|
61
|
-
},
|
|
62
|
-
})
|
|
63
|
-
|
|
64
|
-
yield* fs.writeWithDirs(filepath, Bom.join(contentNew, desiredBom))
|
|
65
|
-
if (yield* format.file(filepath)) {
|
|
66
|
-
yield* Bom.syncFile(fs, filepath, desiredBom)
|
|
67
|
-
}
|
|
68
|
-
yield* events.publish(FileSystem.Event.Edited, { file: filepath })
|
|
69
|
-
yield* events.publish(Watcher.Event.Updated, {
|
|
70
|
-
file: filepath,
|
|
71
|
-
event: exists ? "change" : "add",
|
|
72
|
-
})
|
|
73
|
-
|
|
74
|
-
let output = "Wrote file successfully."
|
|
75
|
-
yield* lsp.touchFile(filepath, "document")
|
|
76
|
-
const diagnostics = yield* lsp.diagnostics()
|
|
77
|
-
const normalizedFilepath = FSUtil.normalizePath(filepath)
|
|
78
|
-
let projectDiagnosticsCount = 0
|
|
79
|
-
for (const [file, issues] of Object.entries(diagnostics)) {
|
|
80
|
-
const current = file === normalizedFilepath
|
|
81
|
-
if (!current && projectDiagnosticsCount >= MAX_PROJECT_DIAGNOSTICS_FILES) continue
|
|
82
|
-
const block = LSP.Diagnostic.report(current ? filepath : file, issues)
|
|
83
|
-
if (!block) continue
|
|
84
|
-
if (current) {
|
|
85
|
-
output += `\n\nLSP errors detected in this file, please fix:\n${block}`
|
|
86
|
-
continue
|
|
87
|
-
}
|
|
88
|
-
projectDiagnosticsCount++
|
|
89
|
-
output += `\n\nLSP errors detected in other files:\n${block}`
|
|
90
|
-
}
|
|
91
|
-
|
|
92
|
-
return {
|
|
93
|
-
title: path.relative(instance.worktree, filepath),
|
|
94
|
-
metadata: {
|
|
95
|
-
diagnostics,
|
|
96
|
-
filepath,
|
|
97
|
-
exists: exists,
|
|
98
|
-
},
|
|
99
|
-
output,
|
|
100
|
-
}
|
|
101
|
-
}).pipe(Effect.orDie),
|
|
102
|
-
}
|
|
103
|
-
}),
|
|
104
|
-
)
|
package/src/tool/write.txt
DELETED
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
Write a file to the filesystem.
|
|
2
|
-
|
|
3
|
-
Overwrites existing paths.
|
|
4
|
-
|
|
5
|
-
Read first when the file already exists.
|
|
6
|
-
|
|
7
|
-
Prefer editing existing files. Never create new files unless required.
|
|
8
|
-
|
|
9
|
-
Never proactively create documentation files. Only if explicitly requested.
|
|
10
|
-
|
|
11
|
-
Emojis only if explicitly requested.
|
package/src/util/archive.ts
DELETED
|
@@ -1,17 +0,0 @@
|
|
|
1
|
-
import path from "path"
|
|
2
|
-
import * as Process from "./process"
|
|
3
|
-
|
|
4
|
-
export async function extractZip(zipPath: string, destDir: string) {
|
|
5
|
-
if (process.platform === "win32") {
|
|
6
|
-
const winZipPath = path.resolve(zipPath)
|
|
7
|
-
const winDestDir = path.resolve(destDir)
|
|
8
|
-
// $global:ProgressPreference suppresses PowerShell's blue progress bar popup
|
|
9
|
-
const cmd = `$global:ProgressPreference = 'SilentlyContinue'; Expand-Archive -Path '${winZipPath}' -DestinationPath '${winDestDir}' -Force`
|
|
10
|
-
await Process.run(["powershell", "-NoProfile", "-NonInteractive", "-Command", cmd])
|
|
11
|
-
return
|
|
12
|
-
}
|
|
13
|
-
|
|
14
|
-
await Process.run(["unzip", "-o", "-q", zipPath, "-d", destDir])
|
|
15
|
-
}
|
|
16
|
-
|
|
17
|
-
export * as Archive from "./archive"
|
package/src/util/bom.ts
DELETED
|
@@ -1,27 +0,0 @@
|
|
|
1
|
-
import { Effect } from "effect"
|
|
2
|
-
import { FSUtil } from "@soraacode/core/fs-util"
|
|
3
|
-
|
|
4
|
-
const BOM_CODE = 0xfeff
|
|
5
|
-
const BOM = String.fromCharCode(BOM_CODE)
|
|
6
|
-
|
|
7
|
-
export function split(text: string) {
|
|
8
|
-
if (text.charCodeAt(0) !== BOM_CODE) return { bom: false, text }
|
|
9
|
-
return { bom: true, text: text.slice(1) }
|
|
10
|
-
}
|
|
11
|
-
|
|
12
|
-
export function join(text: string, bom: boolean) {
|
|
13
|
-
const stripped = split(text).text
|
|
14
|
-
if (!bom) return stripped
|
|
15
|
-
return BOM + stripped
|
|
16
|
-
}
|
|
17
|
-
|
|
18
|
-
export const readFile = Effect.fn("Bom.readFile")(function* (fs: FSUtil.Interface, filePath: string) {
|
|
19
|
-
return split(new TextDecoder("utf-8", { ignoreBOM: true }).decode(yield* fs.readFile(filePath)))
|
|
20
|
-
})
|
|
21
|
-
|
|
22
|
-
export const syncFile = Effect.fn("Bom.syncFile")(function* (fs: FSUtil.Interface, filePath: string, bom: boolean) {
|
|
23
|
-
const current = yield* readFile(fs, filePath)
|
|
24
|
-
if (current.bom === bom) return current.text
|
|
25
|
-
yield* fs.writeWithDirs(filePath, join(current.text, bom))
|
|
26
|
-
return current.text
|
|
27
|
-
})
|