@pugi/cli 0.1.0-beta.4 → 0.1.0-beta.40
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/THIRD_PARTY_NOTICES.md +40 -0
- package/assets/pugi-mascot.ansi +15 -25
- package/bin/run.js +33 -1
- package/dist/commands/jobs-watch.js +201 -0
- package/dist/commands/jobs.js +15 -0
- package/dist/commands/smoke.js +133 -0
- package/dist/core/agent-progress/cleanup.js +134 -0
- package/dist/core/agent-progress/schema.js +144 -0
- package/dist/core/agent-progress/writer.js +101 -0
- package/dist/core/artifact-chain/dispatcher.js +148 -0
- package/dist/core/artifact-chain/exporter.js +164 -0
- package/dist/core/artifact-chain/state.js +243 -0
- package/dist/core/artifact-chain/steps.js +169 -0
- package/dist/core/auth/ensure-authenticated.js +129 -0
- package/dist/core/auth/env-provider.js +238 -0
- package/dist/core/auto-update/channels.js +122 -0
- package/dist/core/auto-update/checker.js +241 -0
- package/dist/core/auto-update/state.js +235 -0
- package/dist/core/bare-mode/index.js +107 -0
- package/dist/core/bash-classifier.js +108 -1
- package/dist/core/checkpoint/resumer.js +149 -0
- package/dist/core/checkpoint/rewinder.js +291 -0
- package/dist/core/codegraph/decision-store.js +248 -0
- package/dist/core/codegraph/detect-repo.js +459 -0
- package/dist/core/codegraph/install.js +134 -0
- package/dist/core/codegraph/offer-hook.js +220 -0
- package/dist/core/compact/auto-trigger.js +96 -0
- package/dist/core/compact/buffer-rewriter.js +115 -0
- package/dist/core/compact/summarizer.js +208 -0
- package/dist/core/compact/token-counter.js +108 -0
- package/dist/core/consensus/diff-capture.js +73 -0
- package/dist/core/context/index.js +7 -0
- package/dist/core/context/markdown-traverse.js +255 -0
- package/dist/core/cost/rate-card.js +129 -0
- package/dist/core/cost/tracker.js +221 -0
- package/dist/core/denial-tracking/index.js +8 -0
- package/dist/core/denial-tracking/state.js +264 -0
- package/dist/core/diagnostics/probe-runner.js +93 -0
- package/dist/core/diagnostics/probes/api.js +46 -0
- package/dist/core/diagnostics/probes/auth.js +86 -0
- package/dist/core/diagnostics/probes/bare-mode.js +42 -0
- package/dist/core/diagnostics/probes/cli-version.js +127 -0
- package/dist/core/diagnostics/probes/config.js +72 -0
- package/dist/core/diagnostics/probes/denial-tracking.js +57 -0
- package/dist/core/diagnostics/probes/disk.js +81 -0
- package/dist/core/diagnostics/probes/git.js +65 -0
- package/dist/core/diagnostics/probes/mcp.js +75 -0
- package/dist/core/diagnostics/probes/node.js +59 -0
- package/dist/core/diagnostics/probes/pnpm.js +36 -0
- package/dist/core/diagnostics/probes/pugi-md.js +89 -0
- package/dist/core/diagnostics/probes/session.js +74 -0
- package/dist/core/diagnostics/probes/status-snapshot.js +488 -0
- package/dist/core/diagnostics/probes/workspace.js +63 -0
- package/dist/core/diagnostics/types.js +70 -0
- package/dist/core/dispatch/cache-cleanup.js +197 -0
- package/dist/core/dispatch/cache-handoff.js +295 -0
- package/dist/core/edits/dispatch.js +218 -2
- package/dist/core/edits/journal.js +199 -0
- package/dist/core/edits/layer-d-ast.js +557 -14
- package/dist/core/edits/verify-hook.js +273 -0
- package/dist/core/edits/worktree.js +322 -0
- package/dist/core/engine/anvil-client.js +115 -5
- package/dist/core/engine/budgets.js +98 -0
- package/dist/core/engine/context-prefix.js +155 -0
- package/dist/core/engine/intent.js +260 -0
- package/dist/core/engine/native-pugi.js +860 -211
- package/dist/core/engine/prompts.js +88 -2
- package/dist/core/engine/strip-internal-fields.js +124 -0
- package/dist/core/engine/tool-bridge.js +992 -36
- package/dist/core/feedback/queue.js +177 -0
- package/dist/core/feedback/submitter.js +145 -0
- package/dist/core/file-cache.js +113 -1
- package/dist/core/hooks/events.js +44 -0
- package/dist/core/hooks/index.js +15 -0
- package/dist/core/hooks/registry.js +213 -0
- package/dist/core/hooks/runner.js +236 -0
- package/dist/core/hooks/v2/event-emitter.js +115 -0
- package/dist/core/hooks/v2/executor.js +282 -0
- package/dist/core/hooks/v2/index.js +25 -0
- package/dist/core/hooks/v2/lifecycle.js +104 -0
- package/dist/core/hooks/v2/loader.js +216 -0
- package/dist/core/hooks/v2/matcher.js +125 -0
- package/dist/core/hooks/v2/trust.js +143 -0
- package/dist/core/hooks/v2/types.js +86 -0
- package/dist/core/lsp/cache.js +105 -0
- package/dist/core/lsp/client.js +776 -0
- package/dist/core/lsp/language-detect.js +66 -0
- package/dist/core/lsp/post-edit-diagnostics.js +171 -0
- package/dist/core/mcp/client.js +75 -6
- package/dist/core/mcp/http-server.js +553 -0
- package/dist/core/mcp/orchestrator-tools.js +662 -0
- package/dist/core/mcp/permission.js +190 -0
- package/dist/core/mcp/registry.js +24 -2
- package/dist/core/mcp/server-tools.js +219 -0
- package/dist/core/mcp/server.js +397 -0
- package/dist/core/memory/dual-write.js +416 -0
- package/dist/core/memory/phase1-kinds.js +20 -0
- package/dist/core/memory-sync/queue.js +158 -0
- package/dist/core/onboarding/ensure-initialized.js +133 -0
- package/dist/core/onboarding/marker.js +111 -0
- package/dist/core/onboarding/telemetry-state.js +108 -0
- package/dist/core/output-style/presets.js +176 -0
- package/dist/core/output-style/state.js +185 -0
- package/dist/core/permissions/auto-classifier.js +124 -0
- package/dist/core/permissions/circuit-breaker.js +83 -0
- package/dist/core/permissions/gate.js +278 -0
- package/dist/core/permissions/index.js +20 -0
- package/dist/core/permissions/mode.js +174 -0
- package/dist/core/permissions/state.js +241 -0
- package/dist/core/permissions/tool-class.js +93 -0
- package/dist/core/prd-check/parser.js +215 -0
- package/dist/core/prd-check/reporter.js +127 -0
- package/dist/core/prd-check/session-review.js +557 -0
- package/dist/core/prd-check/verifiers.js +223 -0
- package/dist/core/pugi-md/context-injector.js +76 -0
- package/dist/core/pugi-md/walk-up.js +207 -0
- package/dist/core/release-notes/parser.js +241 -0
- package/dist/core/release-notes/state.js +116 -0
- package/dist/core/repl/history.js +11 -1
- package/dist/core/repl/model-pricing.js +135 -0
- package/dist/core/repl/session.js +1899 -38
- package/dist/core/repl/slash-commands.js +406 -21
- package/dist/core/repl/store/session-store.js +31 -2
- package/dist/core/repl/workspace-context.js +22 -0
- package/dist/core/repo-map/build.js +125 -0
- package/dist/core/repo-map/cache.js +185 -0
- package/dist/core/repo-map/extractor.js +254 -0
- package/dist/core/repo-map/formatter.js +145 -0
- package/dist/core/repo-map/scanner.js +211 -0
- package/dist/core/retry-budget/budget.js +284 -0
- package/dist/core/retry-budget/index.js +5 -0
- package/dist/core/session.js +92 -0
- package/dist/core/settings.js +80 -0
- package/dist/core/share/formatter.js +271 -0
- package/dist/core/share/redactor.js +221 -0
- package/dist/core/share/uploader.js +267 -0
- package/dist/core/skills/defaults.js +457 -0
- package/dist/core/smoke/headless-driver.js +174 -0
- package/dist/core/smoke/orchestrator.js +194 -0
- package/dist/core/smoke/runner.js +238 -0
- package/dist/core/smoke/scenario-parser.js +316 -0
- package/dist/core/subagents/dispatcher-real.js +600 -0
- package/dist/core/subagents/dispatcher.js +113 -24
- package/dist/core/subagents/index.js +18 -5
- package/dist/core/subagents/isolation-matrix.js +213 -0
- package/dist/core/subagents/spawn.js +19 -4
- package/dist/core/telemetry/emitter.js +229 -0
- package/dist/core/telemetry/queue.js +251 -0
- package/dist/core/theme/context.js +91 -0
- package/dist/core/theme/presets.js +228 -0
- package/dist/core/theme/state.js +181 -0
- package/dist/core/todos/invariant.js +10 -0
- package/dist/core/todos/state.js +177 -0
- package/dist/core/transport/version-interceptor.js +166 -0
- package/dist/core/vim/keymap.js +288 -0
- package/dist/core/vim/state.js +92 -0
- package/dist/index.js +28 -0
- package/dist/runtime/bootstrap.js +190 -0
- package/dist/runtime/cli.js +3073 -321
- package/dist/runtime/commands/cancel.js +231 -0
- package/dist/runtime/commands/chain.js +489 -0
- package/dist/runtime/commands/codegraph-status.js +227 -0
- package/dist/runtime/commands/compact.js +297 -0
- package/dist/runtime/commands/cost.js +199 -0
- package/dist/runtime/commands/delegate.js +242 -11
- package/dist/runtime/commands/dispatch.js +126 -0
- package/dist/runtime/commands/doctor.js +390 -0
- package/dist/runtime/commands/feedback.js +184 -0
- package/dist/runtime/commands/hooks.js +184 -0
- package/dist/runtime/commands/lsp.js +368 -0
- package/dist/runtime/commands/mcp.js +879 -0
- package/dist/runtime/commands/memory.js +508 -0
- package/dist/runtime/commands/model.js +237 -0
- package/dist/runtime/commands/onboarding.js +275 -0
- package/dist/runtime/commands/patch.js +128 -0
- package/dist/runtime/commands/permissions.js +112 -0
- package/dist/runtime/commands/plan.js +143 -0
- package/dist/runtime/commands/prd-check.js +285 -0
- package/dist/runtime/commands/redo-blob-store.js +92 -0
- package/dist/runtime/commands/redo.js +361 -0
- package/dist/runtime/commands/release-notes.js +229 -0
- package/dist/runtime/commands/repo-map.js +95 -0
- package/dist/runtime/commands/report.js +299 -0
- package/dist/runtime/commands/resume.js +118 -0
- package/dist/runtime/commands/review-consensus.js +17 -2
- package/dist/runtime/commands/rewind.js +333 -0
- package/dist/runtime/commands/sessions.js +163 -0
- package/dist/runtime/commands/share.js +316 -0
- package/dist/runtime/commands/status.js +186 -0
- package/dist/runtime/commands/stickers.js +82 -0
- package/dist/runtime/commands/style.js +194 -0
- package/dist/runtime/commands/theme.js +196 -0
- package/dist/runtime/commands/undo.js +32 -0
- package/dist/runtime/commands/update.js +289 -0
- package/dist/runtime/commands/vim.js +140 -0
- package/dist/runtime/commands/worktree.js +177 -0
- package/dist/runtime/headless-repl.js +195 -0
- package/dist/runtime/headless.js +543 -0
- package/dist/runtime/load-hooks-or-exit.js +71 -0
- package/dist/runtime/plan-decompose.js +531 -0
- package/dist/runtime/version.js +65 -0
- package/dist/tools/agent-tool.js +229 -0
- package/dist/tools/apply-patch.js +556 -0
- package/dist/tools/ask-user-question.js +213 -0
- package/dist/tools/ask-user.js +115 -0
- package/dist/tools/file-tools.js +85 -14
- package/dist/tools/lsp-tools.js +189 -0
- package/dist/tools/mcp-tool.js +260 -0
- package/dist/tools/multi-edit.js +361 -0
- package/dist/tools/registry.js +46 -0
- package/dist/tools/skill-tool.js +96 -0
- package/dist/tools/tasks.js +208 -0
- package/dist/tools/todo-write.js +184 -0
- package/dist/tools/web-fetch.js +147 -2
- package/dist/tools/web-search.js +458 -0
- package/dist/tui/agent-progress-card.js +111 -0
- package/dist/tui/agent-tree.js +10 -0
- package/dist/tui/ask-modal.js +2 -2
- package/dist/tui/ask-user-question-prompt.js +192 -0
- package/dist/tui/compact-banner.js +81 -0
- package/dist/tui/conversation-pane.js +82 -8
- package/dist/tui/cost-table.js +111 -0
- package/dist/tui/doctor-table.js +46 -0
- package/dist/tui/feedback-prompt.js +156 -0
- package/dist/tui/input-box.js +69 -2
- package/dist/tui/markdown-render.js +4 -4
- package/dist/tui/onboarding-wizard.js +240 -0
- package/dist/tui/permissions-picker.js +86 -0
- package/dist/tui/render.js +35 -0
- package/dist/tui/repl-render.js +303 -13
- package/dist/tui/repl-splash.js +2 -2
- package/dist/tui/repl.js +72 -14
- package/dist/tui/splash.js +1 -1
- package/dist/tui/status-bar.js +94 -16
- package/dist/tui/status-table.js +7 -0
- package/dist/tui/stickers-art.js +136 -0
- package/dist/tui/style-table.js +28 -0
- package/dist/tui/theme-table.js +29 -0
- package/dist/tui/tool-stream-pane.js +52 -3
- package/dist/tui/update-banner.js +20 -2
- package/dist/tui/vim-input.js +267 -0
- package/docs/examples/codegraph.mcp.json +10 -0
- package/package.json +12 -6
- package/test/scenarios/codegen-create-file.scenario.txt +13 -0
- package/test/scenarios/compact-force.scenario.txt +11 -0
- package/test/scenarios/identity.scenario.txt +11 -0
- package/test/scenarios/persona-handoff.scenario.txt +11 -0
- package/test/scenarios/walkback.scenario.txt +12 -0
- package/dist/core/engine/compaction-hook.js +0 -154
|
@@ -0,0 +1,190 @@
|
|
|
1
|
+
import { existsSync, mkdirSync, readFileSync, renameSync, writeFileSync } from 'node:fs';
|
|
2
|
+
import { homedir } from 'node:os';
|
|
3
|
+
import { dirname, resolve } from 'node:path';
|
|
4
|
+
import { z } from 'zod';
|
|
5
|
+
/**
|
|
6
|
+
* Per-server-tool permission cache for MCP-invoked tools (β4 M4 + M5).
|
|
7
|
+
*
|
|
8
|
+
* Trust ledger (`~/.pugi/trust-mcp.json`, see `./trust.ts`) gates the
|
|
9
|
+
* SERVER. A trusted server can spawn and surface its tools to the engine
|
|
10
|
+
* loop. But each individual TOOL invocation still flows through the 6-mode
|
|
11
|
+
* permission FSM the same way native tools do — the operator's first
|
|
12
|
+
* `mcp__github__create_issue` call should prompt even if `github` is
|
|
13
|
+
* server-trusted.
|
|
14
|
+
*
|
|
15
|
+
* This module records the operator's per-(server, tool) decisions so the
|
|
16
|
+
* second invocation in the same FSM mode does not re-prompt. The cache
|
|
17
|
+
* lives at `~/.pugi/mcp-perms.json` and is keyed by `<server>:<tool>`.
|
|
18
|
+
*
|
|
19
|
+
* Decision states:
|
|
20
|
+
* - `allow_once` — approved for this dispatch only. NOT persisted;
|
|
21
|
+
* the cache key is removed after the call returns.
|
|
22
|
+
* Returned by `consumeOnceDecision` so the executor
|
|
23
|
+
* can flip back to `unset` mid-flight.
|
|
24
|
+
* - `allow_always` — operator allowed every future call to this
|
|
25
|
+
* (server, tool) pair. Persisted.
|
|
26
|
+
* - `deny` — operator blocked every future call to this
|
|
27
|
+
* (server, tool) pair. Persisted.
|
|
28
|
+
* - `unset` — no decision yet. Caller MUST prompt.
|
|
29
|
+
*
|
|
30
|
+
* The cache is independent from the permission FSM mode (auto/manual/
|
|
31
|
+
* dry-run/etc). The FSM decides WHETHER to prompt; this cache only
|
|
32
|
+
* remembers the operator's answer for next time.
|
|
33
|
+
*
|
|
34
|
+
* Why a separate cache instead of folding into trust.ts:
|
|
35
|
+
* - trust.ts tracks SERVER trust (one decision per server). Adding tool
|
|
36
|
+
* keys there would explode the surface and confuse the (already
|
|
37
|
+
* subtle) workspace-vs-ledger override rules.
|
|
38
|
+
* - Tool-level decisions are cheaper to forget — the operator can blow
|
|
39
|
+
* away `~/.pugi/mcp-perms.json` without losing server trust.
|
|
40
|
+
*
|
|
41
|
+
* The PUGI_HOME env var redirects the cache path for tests.
|
|
42
|
+
*/
|
|
43
|
+
export const mcpPermissionDecisionSchema = z.enum(['allow_once', 'allow_always', 'deny', 'unset']);
|
|
44
|
+
const permissionCacheSchema = z.object({
|
|
45
|
+
schema: z.number().int().positive().default(1),
|
|
46
|
+
entries: z
|
|
47
|
+
.record(z.object({
|
|
48
|
+
// Cache only persists `allow_always` and `deny`. `allow_once` is
|
|
49
|
+
// removed after consumption; `unset` is the absence of an entry.
|
|
50
|
+
decision: z.enum(['allow_always', 'deny']),
|
|
51
|
+
decidedAt: z.string().datetime(),
|
|
52
|
+
decidedBy: z.string().min(1).optional(),
|
|
53
|
+
}))
|
|
54
|
+
.default({}),
|
|
55
|
+
});
|
|
56
|
+
const PERMISSION_CACHE_FILENAME = 'mcp-perms.json';
|
|
57
|
+
function cachePath() {
|
|
58
|
+
const home = process.env.PUGI_HOME ?? resolve(homedir(), '.pugi');
|
|
59
|
+
return resolve(home, PERMISSION_CACHE_FILENAME);
|
|
60
|
+
}
|
|
61
|
+
function keyFor(serverName, toolName) {
|
|
62
|
+
// Colon-separated. Both halves are already non-empty (Zod-validated on
|
|
63
|
+
// the calling side), so collision via empty halves is impossible.
|
|
64
|
+
return `${serverName}:${toolName}`;
|
|
65
|
+
}
|
|
66
|
+
function readCache() {
|
|
67
|
+
const path = cachePath();
|
|
68
|
+
if (!existsSync(path))
|
|
69
|
+
return { schema: 1, entries: {} };
|
|
70
|
+
const raw = readFileSync(path, 'utf8');
|
|
71
|
+
if (raw.trim() === '')
|
|
72
|
+
return { schema: 1, entries: {} };
|
|
73
|
+
const parsed = JSON.parse(raw);
|
|
74
|
+
return permissionCacheSchema.parse(parsed);
|
|
75
|
+
}
|
|
76
|
+
function writeCache(cache) {
|
|
77
|
+
const path = cachePath();
|
|
78
|
+
// 0o700 on the parent dir — same surface as `~/.ssh` / `~/.gnupg`.
|
|
79
|
+
// Other local users have no business knowing which MCP tools we approved.
|
|
80
|
+
mkdirSync(dirname(path), { recursive: true, mode: 0o700 });
|
|
81
|
+
// Atomic rewrite via tmp + rename. Mirrors the history.ts pattern.
|
|
82
|
+
// Without this, two concurrent `setMcpPermission` calls race — second
|
|
83
|
+
// writer truncates the file mid-flush of the first and one decision is
|
|
84
|
+
// silently lost. See β4 r1 P1 #3 (Backend Architect triple-review).
|
|
85
|
+
const tmpPath = `${path}.tmp.${process.pid}.${Date.now()}.${Math.random().toString(36).slice(2, 10)}`;
|
|
86
|
+
// 0o600 — the cache leaks which (server, tool) pairs the operator has
|
|
87
|
+
// approved. Not secret, but no reason to expose to other local users.
|
|
88
|
+
writeFileSync(tmpPath, `${JSON.stringify(cache, null, 2)}\n`, {
|
|
89
|
+
encoding: 'utf8',
|
|
90
|
+
mode: 0o600,
|
|
91
|
+
});
|
|
92
|
+
renameSync(tmpPath, path);
|
|
93
|
+
}
|
|
94
|
+
/**
|
|
95
|
+
* Return the cached decision for `(serverName, toolName)`. Absence
|
|
96
|
+
* returns `unset` so the caller knows to prompt.
|
|
97
|
+
*/
|
|
98
|
+
export function getMcpPermission(serverName, toolName) {
|
|
99
|
+
const cache = readCache();
|
|
100
|
+
const entry = cache.entries[keyFor(serverName, toolName)];
|
|
101
|
+
return entry ? entry.decision : 'unset';
|
|
102
|
+
}
|
|
103
|
+
/**
|
|
104
|
+
* Tool names that accept free-form `command` strings (bash and any
|
|
105
|
+
* future shell-class tools). Granting `allow_always` to these turns the
|
|
106
|
+
* MCP cache into a permanent shell grant for the caller agent — a
|
|
107
|
+
* single approval becomes an unlimited remote-execution capability.
|
|
108
|
+
*
|
|
109
|
+
* Source of the lock: β4 r1 P1 #1 (Backend Architect triple-review).
|
|
110
|
+
* The classifier still runs per-invocation for ALL bash classes, but
|
|
111
|
+
* with `allow_always` cached the FSM never re-prompts on the next call,
|
|
112
|
+
* so the operator effectively pre-approves every future command the
|
|
113
|
+
* agent ships through that tool.
|
|
114
|
+
*/
|
|
115
|
+
const SHELL_LIKE_TOOL_NAMES = new Set([
|
|
116
|
+
'bash',
|
|
117
|
+
// Reserved for future shell-class tools (e.g. `exec`, `shell`,
|
|
118
|
+
// `run_shell`). Anything that ultimately spawns a process from
|
|
119
|
+
// attacker-controllable text belongs here.
|
|
120
|
+
'exec',
|
|
121
|
+
'shell',
|
|
122
|
+
'run_shell',
|
|
123
|
+
]);
|
|
124
|
+
/**
|
|
125
|
+
* Throw when an operator tries to grant `allow_always` to a tool that
|
|
126
|
+
* accepts free-form shell input. Pugi MCP server's built-in `bash` tool
|
|
127
|
+
* and any external MCP server's `bash` / `exec` tool are blocked from
|
|
128
|
+
* the always-allow escape. The operator must accept each command via
|
|
129
|
+
* `allow_once` (which forces the per-call classifier prompt).
|
|
130
|
+
*/
|
|
131
|
+
export function assertAllowAlwaysAllowed(toolName, decision) {
|
|
132
|
+
if (decision !== 'allow_always')
|
|
133
|
+
return;
|
|
134
|
+
if (SHELL_LIKE_TOOL_NAMES.has(toolName)) {
|
|
135
|
+
throw new Error(`pugi mcp: refusing to cache "allow_always" for shell-class tool "${toolName}". ` +
|
|
136
|
+
`Free-form shell tools must re-prompt per call. Use "allow_once" instead, or grant ` +
|
|
137
|
+
`the underlying capability via project settings.`);
|
|
138
|
+
}
|
|
139
|
+
}
|
|
140
|
+
/**
|
|
141
|
+
* Persist a long-lived decision. `allow_once` is never persisted — it is
|
|
142
|
+
* a transient state the caller manages in-process. Shell-class tools
|
|
143
|
+
* (bash and friends) refuse `allow_always` — see `assertAllowAlwaysAllowed`.
|
|
144
|
+
*/
|
|
145
|
+
export function setMcpPermission(serverName, toolName, decision, decidedBy) {
|
|
146
|
+
assertAllowAlwaysAllowed(toolName, decision);
|
|
147
|
+
const cache = readCache();
|
|
148
|
+
cache.entries[keyFor(serverName, toolName)] = {
|
|
149
|
+
decision,
|
|
150
|
+
decidedAt: new Date().toISOString(),
|
|
151
|
+
...(decidedBy ? { decidedBy } : {}),
|
|
152
|
+
};
|
|
153
|
+
writeCache(cache);
|
|
154
|
+
}
|
|
155
|
+
/**
|
|
156
|
+
* Forget a previously-stored decision so the next invocation prompts
|
|
157
|
+
* again. Returns true when an entry existed, false otherwise. Used by
|
|
158
|
+
* `pugi mcp perms reset <server>:<tool>` (β4b, deferred) and by tests.
|
|
159
|
+
*/
|
|
160
|
+
export function clearMcpPermission(serverName, toolName) {
|
|
161
|
+
const cache = readCache();
|
|
162
|
+
const key = keyFor(serverName, toolName);
|
|
163
|
+
if (!(key in cache.entries))
|
|
164
|
+
return false;
|
|
165
|
+
delete cache.entries[key];
|
|
166
|
+
writeCache(cache);
|
|
167
|
+
return true;
|
|
168
|
+
}
|
|
169
|
+
/**
|
|
170
|
+
* List every persisted permission decision. Used by
|
|
171
|
+
* `pugi mcp perms list` (deferred) and by tests.
|
|
172
|
+
*/
|
|
173
|
+
export function listMcpPermissions() {
|
|
174
|
+
const cache = readCache();
|
|
175
|
+
return Object.entries(cache.entries)
|
|
176
|
+
.map(([key, entry]) => {
|
|
177
|
+
const idx = key.indexOf(':');
|
|
178
|
+
const server = idx === -1 ? key : key.slice(0, idx);
|
|
179
|
+
const tool = idx === -1 ? '' : key.slice(idx + 1);
|
|
180
|
+
return {
|
|
181
|
+
server,
|
|
182
|
+
tool,
|
|
183
|
+
decision: entry.decision,
|
|
184
|
+
decidedAt: entry.decidedAt,
|
|
185
|
+
...(entry.decidedBy ? { decidedBy: entry.decidedBy } : {}),
|
|
186
|
+
};
|
|
187
|
+
})
|
|
188
|
+
.sort((a, b) => a.server === b.server ? a.tool.localeCompare(b.tool) : a.server.localeCompare(b.server));
|
|
189
|
+
}
|
|
190
|
+
//# sourceMappingURL=permission.js.map
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { existsSync, readFileSync } from 'node:fs';
|
|
1
|
+
import { existsSync, mkdirSync, readFileSync } from 'node:fs';
|
|
2
2
|
import { homedir } from 'node:os';
|
|
3
3
|
import { resolve } from 'node:path';
|
|
4
4
|
import { z } from 'zod';
|
|
@@ -38,6 +38,13 @@ import { getMcpTrust } from './trust.js';
|
|
|
38
38
|
const mcpFileSchema = z.object({
|
|
39
39
|
servers: z.record(mcpServerConfigSchema).default({}),
|
|
40
40
|
});
|
|
41
|
+
/**
|
|
42
|
+
* L13: workspace-relative path for per-server log files. Surfaces in
|
|
43
|
+
* `pugi mcp logs <name>` and is mkdir -p'd before the first connect.
|
|
44
|
+
*/
|
|
45
|
+
export function mcpLogPath(workspaceRoot, serverName) {
|
|
46
|
+
return resolve(workspaceRoot, '.pugi/logs', `mcp-${serverName}.log`);
|
|
47
|
+
}
|
|
41
48
|
/**
|
|
42
49
|
* Load and (optionally) connect every approved MCP server defined in the
|
|
43
50
|
* workspace + user configs. Pending and denied servers stay in the
|
|
@@ -45,6 +52,7 @@ const mcpFileSchema = z.object({
|
|
|
45
52
|
*/
|
|
46
53
|
export async function loadMcpRegistry(workspaceRoot, options = {}) {
|
|
47
54
|
const shouldConnect = options.connect !== false;
|
|
55
|
+
const handshakeTimeoutMs = options.handshakeTimeoutMs ?? 5_000;
|
|
48
56
|
const userConfig = readMcpFile(resolve(userHomeDir(), 'mcp.json'));
|
|
49
57
|
const workspaceConfig = readMcpFile(resolve(workspaceRoot, '.pugi/mcp.json'));
|
|
50
58
|
const merged = new Map();
|
|
@@ -52,6 +60,17 @@ export async function loadMcpRegistry(workspaceRoot, options = {}) {
|
|
|
52
60
|
merged.set(name, config);
|
|
53
61
|
for (const [name, config] of Object.entries(workspaceConfig))
|
|
54
62
|
merged.set(name, config);
|
|
63
|
+
// L13: ensure the log dir exists once per session so per-server log
|
|
64
|
+
// streams can `append` without each one having to mkdir -p.
|
|
65
|
+
if (shouldConnect && merged.size > 0) {
|
|
66
|
+
try {
|
|
67
|
+
mkdirSync(resolve(workspaceRoot, '.pugi/logs'), { recursive: true });
|
|
68
|
+
}
|
|
69
|
+
catch {
|
|
70
|
+
// Workspace may be read-only (CI sandbox). Log routing degrades
|
|
71
|
+
// silently in that case — see `client.ts::connect`.
|
|
72
|
+
}
|
|
73
|
+
}
|
|
55
74
|
const servers = new Map();
|
|
56
75
|
for (const [name, config] of merged) {
|
|
57
76
|
const ledgerTrust = await getMcpTrust(name);
|
|
@@ -70,7 +89,10 @@ export async function loadMcpRegistry(workspaceRoot, options = {}) {
|
|
|
70
89
|
};
|
|
71
90
|
if (shouldConnect && trust === 'trusted') {
|
|
72
91
|
try {
|
|
73
|
-
const connection = await connect(name, config
|
|
92
|
+
const connection = await connect(name, config, {
|
|
93
|
+
timeoutMs: handshakeTimeoutMs,
|
|
94
|
+
logFile: mcpLogPath(workspaceRoot, name),
|
|
95
|
+
});
|
|
74
96
|
state.connection = connection;
|
|
75
97
|
state.surfacedTools = await listTools(connection);
|
|
76
98
|
}
|
|
@@ -0,0 +1,219 @@
|
|
|
1
|
+
import { editTool, globTool, grepTool, readTool, writeTool, } from '../../tools/file-tools.js';
|
|
2
|
+
import { bashToolSync } from '../../tools/bash.js';
|
|
3
|
+
/**
|
|
4
|
+
* Native Pugi tool surface exposed via MCP server (β4 M2/M6).
|
|
5
|
+
*
|
|
6
|
+
* The shapes intentionally mirror the engine-loop tool schemas in
|
|
7
|
+
* `core/engine/tool-bridge.ts` so an MCP client and the Pugi engine see
|
|
8
|
+
* the same parameter contracts. This is the "Pugi as MCP server"
|
|
9
|
+
* surface — other agents (Claude Code, Codex, OpenCode) call these to
|
|
10
|
+
* read / mutate the workspace through us, with all our security gates
|
|
11
|
+
* (path containment, plan-mode refusal, bash classifier, settings) in
|
|
12
|
+
* the loop.
|
|
13
|
+
*
|
|
14
|
+
* Why a separate builder instead of reusing buildExecutor:
|
|
15
|
+
* - The engine loop expects an OpenAI-shaped tool-call envelope plus
|
|
16
|
+
* a workspace session. The MCP server exposes named tools to
|
|
17
|
+
* external agents with no Pugi session context — sessions live in
|
|
18
|
+
* `.pugi/sessions/<id>/`, and they belong to a CLI run, not to a
|
|
19
|
+
* long-lived MCP server. Forcing every MCP call into a synthetic
|
|
20
|
+
* session would muddy the audit log.
|
|
21
|
+
* - The MCP surface is intentionally narrower than the engine surface.
|
|
22
|
+
* `ask_user_question`, `task_*`, `web_fetch`, `web_search`, the
|
|
23
|
+
* skill loader, the LSP tools — none of these make sense when the
|
|
24
|
+
* caller is another agent. We expose the six cornerstones (read /
|
|
25
|
+
* grep / glob / edit / write / bash) and stop.
|
|
26
|
+
*/
|
|
27
|
+
/**
|
|
28
|
+
* Read-only tool surface — useful for paired-agent scenarios where the
|
|
29
|
+
* remote agent should browse but never mutate. Used by the future
|
|
30
|
+
* `pugi mcp serve --read-only` flag (deferred to β4b).
|
|
31
|
+
*/
|
|
32
|
+
export const PUGI_MCP_READ_ONLY_TOOL_NAMES = ['read', 'grep', 'glob'];
|
|
33
|
+
/**
|
|
34
|
+
* Build the standard Pugi tool surface bound to a workspace. The
|
|
35
|
+
* returned tools resolve every path against `ctx.root` via the existing
|
|
36
|
+
* `file-tools` helpers, so the same path-containment rules that gate
|
|
37
|
+
* the engine loop apply to MCP-driven calls.
|
|
38
|
+
*
|
|
39
|
+
* `bashAllowed: false` drops the `bash` tool from the surface — useful
|
|
40
|
+
* when paired with an untrusted agent. The default surface includes
|
|
41
|
+
* `bash` because the typical operator wants full power for their own
|
|
42
|
+
* client (e.g. Claude Code calling Pugi to compile and test).
|
|
43
|
+
*/
|
|
44
|
+
export function buildPugiMcpTools(ctx, options = {}) {
|
|
45
|
+
const bashAllowed = options.bashAllowed !== false;
|
|
46
|
+
const readOnly = options.readOnly === true;
|
|
47
|
+
const tools = [
|
|
48
|
+
{
|
|
49
|
+
name: 'read',
|
|
50
|
+
description: 'Read the contents of a workspace file. Returns the full UTF-8 text. Paths must be workspace-relative.',
|
|
51
|
+
permission: 'read',
|
|
52
|
+
inputSchema: {
|
|
53
|
+
type: 'object',
|
|
54
|
+
additionalProperties: false,
|
|
55
|
+
required: ['path'],
|
|
56
|
+
properties: {
|
|
57
|
+
path: { type: 'string', description: 'Workspace-relative file path.' },
|
|
58
|
+
},
|
|
59
|
+
},
|
|
60
|
+
async execute(args) {
|
|
61
|
+
const path = requireString(args, 'path');
|
|
62
|
+
const content = readTool(ctx, path);
|
|
63
|
+
const CAP = 32 * 1024;
|
|
64
|
+
if (content.length > CAP) {
|
|
65
|
+
return `${content.slice(0, CAP)}\n(...truncated at ${CAP} bytes; use grep or glob to narrow the read)`;
|
|
66
|
+
}
|
|
67
|
+
return content;
|
|
68
|
+
},
|
|
69
|
+
},
|
|
70
|
+
{
|
|
71
|
+
name: 'grep',
|
|
72
|
+
description: 'Substring-match every workspace file. Returns up to 200 matches with {path, line, text}.',
|
|
73
|
+
permission: 'read',
|
|
74
|
+
inputSchema: {
|
|
75
|
+
type: 'object',
|
|
76
|
+
additionalProperties: false,
|
|
77
|
+
required: ['query'],
|
|
78
|
+
properties: {
|
|
79
|
+
query: { type: 'string', description: 'Substring to search for.' },
|
|
80
|
+
},
|
|
81
|
+
},
|
|
82
|
+
async execute(args) {
|
|
83
|
+
const query = requireString(args, 'query');
|
|
84
|
+
const matches = grepTool(ctx, query);
|
|
85
|
+
if (matches.length === 0)
|
|
86
|
+
return `no matches for ${query}`;
|
|
87
|
+
const head = matches.slice(0, 50);
|
|
88
|
+
const rendered = head.map((m) => `${m.path}:${m.line}: ${m.text}`).join('\n');
|
|
89
|
+
const more = matches.length > head.length ? `\n(... ${matches.length - head.length} more)` : '';
|
|
90
|
+
return `${matches.length} match(es):\n${rendered}${more}`;
|
|
91
|
+
},
|
|
92
|
+
},
|
|
93
|
+
{
|
|
94
|
+
name: 'glob',
|
|
95
|
+
description: 'List files matching a glob pattern (workspace-scoped, node_modules / dist / .git / .pugi excluded). Up to 500 paths.',
|
|
96
|
+
permission: 'read',
|
|
97
|
+
inputSchema: {
|
|
98
|
+
type: 'object',
|
|
99
|
+
additionalProperties: false,
|
|
100
|
+
required: ['pattern'],
|
|
101
|
+
properties: {
|
|
102
|
+
pattern: { type: 'string', description: 'Glob pattern, e.g. "src/**/*.ts".' },
|
|
103
|
+
},
|
|
104
|
+
},
|
|
105
|
+
async execute(args) {
|
|
106
|
+
const pattern = requireString(args, 'pattern');
|
|
107
|
+
const results = globTool(ctx, pattern);
|
|
108
|
+
if (results.length === 0)
|
|
109
|
+
return `no paths match ${pattern}`;
|
|
110
|
+
return `${results.length} path(s):\n${results.slice(0, 100).join('\n')}${results.length > 100 ? `\n(... ${results.length - 100} more)` : ''}`;
|
|
111
|
+
},
|
|
112
|
+
},
|
|
113
|
+
];
|
|
114
|
+
if (!readOnly) {
|
|
115
|
+
tools.push({
|
|
116
|
+
name: 'edit',
|
|
117
|
+
description: 'Replace exactly one occurrence of oldString with newString inside an already-read file. Fails if the file changed since you read it or if oldString is missing/duplicate.',
|
|
118
|
+
permission: 'edit',
|
|
119
|
+
inputSchema: {
|
|
120
|
+
type: 'object',
|
|
121
|
+
additionalProperties: false,
|
|
122
|
+
required: ['path', 'oldString', 'newString'],
|
|
123
|
+
properties: {
|
|
124
|
+
path: { type: 'string' },
|
|
125
|
+
oldString: { type: 'string' },
|
|
126
|
+
newString: { type: 'string' },
|
|
127
|
+
},
|
|
128
|
+
},
|
|
129
|
+
async execute(args) {
|
|
130
|
+
const path = requireString(args, 'path');
|
|
131
|
+
const oldString = requireString(args, 'oldString');
|
|
132
|
+
const newString = requireString(args, 'newString');
|
|
133
|
+
editTool(ctx, path, oldString, newString);
|
|
134
|
+
return `edited ${path}`;
|
|
135
|
+
},
|
|
136
|
+
}, {
|
|
137
|
+
name: 'write',
|
|
138
|
+
description: 'Create or overwrite a workspace file. Use for new files only — prefer edit for existing files.',
|
|
139
|
+
permission: 'edit',
|
|
140
|
+
inputSchema: {
|
|
141
|
+
type: 'object',
|
|
142
|
+
additionalProperties: false,
|
|
143
|
+
required: ['path', 'content'],
|
|
144
|
+
properties: {
|
|
145
|
+
path: { type: 'string' },
|
|
146
|
+
content: { type: 'string', description: 'Full new file contents (UTF-8).' },
|
|
147
|
+
},
|
|
148
|
+
},
|
|
149
|
+
async execute(args) {
|
|
150
|
+
const path = requireString(args, 'path');
|
|
151
|
+
const content = requireString(args, 'content');
|
|
152
|
+
writeTool(ctx, path, content);
|
|
153
|
+
return `wrote ${path} (${content.length} bytes)`;
|
|
154
|
+
},
|
|
155
|
+
});
|
|
156
|
+
}
|
|
157
|
+
// β4 r2 P1 #2 — bash advertisement is gated ONLY by `bashAllowed`. The
|
|
158
|
+
// previous `bashAllowed && !readOnly` coupling collapsed bash to off
|
|
159
|
+
// whenever `readOnly` was true, but the call site (`runMcpServe`)
|
|
160
|
+
// synthesized `readOnly` from `!writeAllowed`. Result: an operator who
|
|
161
|
+
// ran `pugi mcp serve --allow-bash` (no --allow-write) saw bash
|
|
162
|
+
// silently dropped because writeAllowed=false → readOnly=true.
|
|
163
|
+
// `bashAllowed` is now the sole knob; the call site is responsible for
|
|
164
|
+
// honoring `--read-only` by passing `bashAllowed=false` when the
|
|
165
|
+
// operator explicitly requested read-only mode (which it does:
|
|
166
|
+
// `bashAllowed = !readOnly && flags.bashAllowed`).
|
|
167
|
+
if (bashAllowed) {
|
|
168
|
+
tools.push({
|
|
169
|
+
name: 'bash',
|
|
170
|
+
description: 'Run a shell command inside the workspace root. Inherits a sanitized env (secrets stripped). 30s timeout. Output capped at 64KB.',
|
|
171
|
+
permission: 'bash',
|
|
172
|
+
inputSchema: {
|
|
173
|
+
type: 'object',
|
|
174
|
+
additionalProperties: false,
|
|
175
|
+
required: ['command'],
|
|
176
|
+
properties: {
|
|
177
|
+
command: { type: 'string', description: 'Single shell command to execute.' },
|
|
178
|
+
},
|
|
179
|
+
},
|
|
180
|
+
async execute(args) {
|
|
181
|
+
const command = requireString(args, 'command');
|
|
182
|
+
const result = bashToolSync({ cmd: command }, {
|
|
183
|
+
root: ctx.root,
|
|
184
|
+
settings: ctx.settings,
|
|
185
|
+
session: ctx.session,
|
|
186
|
+
// β4 r1 P1 #1 — MCP bash invocations carry the dedicated
|
|
187
|
+
// `mcp` source so the destructive override (which already
|
|
188
|
+
// requires `source === 'human'`) cannot fire and so the
|
|
189
|
+
// audit log can distinguish remote-agent calls from the
|
|
190
|
+
// in-process loop. Combined with `setMcpPermission` refusing
|
|
191
|
+
// `allow_always` for shell-class tools, this closes the
|
|
192
|
+
// permanent-shell-grant attack vector.
|
|
193
|
+
source: 'mcp',
|
|
194
|
+
});
|
|
195
|
+
const parts = [
|
|
196
|
+
`exit=${result.exitCode}`,
|
|
197
|
+
result.stdout ? `stdout:\n${result.stdout}` : '',
|
|
198
|
+
result.stderr ? `stderr:\n${result.stderr}` : '',
|
|
199
|
+
];
|
|
200
|
+
if (result.artifactRef)
|
|
201
|
+
parts.push(`artifactRef=${result.artifactRef}`);
|
|
202
|
+
if (result.truncated)
|
|
203
|
+
parts.push('truncated=true');
|
|
204
|
+
if (result.timedOut)
|
|
205
|
+
parts.push('timedOut=true');
|
|
206
|
+
return parts.filter(Boolean).join('\n') || '(no output)';
|
|
207
|
+
},
|
|
208
|
+
});
|
|
209
|
+
}
|
|
210
|
+
return tools.sort((a, b) => a.name.localeCompare(b.name));
|
|
211
|
+
}
|
|
212
|
+
function requireString(args, key) {
|
|
213
|
+
const v = args[key];
|
|
214
|
+
if (typeof v !== 'string') {
|
|
215
|
+
throw new Error(`argument "${key}" must be a string`);
|
|
216
|
+
}
|
|
217
|
+
return v;
|
|
218
|
+
}
|
|
219
|
+
//# sourceMappingURL=server-tools.js.map
|