@savvy-web/mcp 2.3.4 → 2.4.0

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@savvy-web/mcp",
-	"version": "2.3.4",
+	"version": "2.4.0",
 	"private": false,
 	"description": "The savvy MCP server — Silk Suite tooling and library knowledge for coding agents",
 	"homepage": "https://github.com/savvy-web/systems/tree/main/packages/mcp",
@@ -33,10 +33,10 @@
 	"dependencies": {
 		"@effect/platform-node": "4.0.0-beta.107",
 		"@effected/commands": "^0.4.0",
-		"@effected/git": "^0.7.0",
-		"@effected/workspaces": "^0.12.0",
+		"@effected/git": "^0.8.0",
+		"@effected/workspaces": "^0.13.0",
 		"@modelcontextprotocol/sdk": "^1.29.0",
-		"@savvy-web/silk-effects": "5.8.0",
+		"@savvy-web/silk-effects": "5.9.0",
 		"effect": "4.0.0-beta.107",
 		"zod": "^4.4.3"
 	}

package/server.js

@@ -170,7 +170,7 @@ function buildServer(ctx) {
 	});
 	server.registerTool("repos_manage", {
 		title: "Manage vendored repos",
-		description: "Mutating: sync (initialize/reconcile submodules per the manifest), pin (re-pin a repo to a new ref), add (vendor a new repo), note (add/remove/promote an agent note), remove (unvendor a repo), rename (rename a vendored repo's manifest key and worktree), or restore (hard-reset a repo's worktree back to its pinned gitlink commit and re-apply sparse paths — DESTRUCTIVE to uncommitted worktree edits; never run implicitly). Pass action plus the fields that action needs: pin needs name+ref; add needs url+ref+purpose (name/sparse/orientation optional — pass orientation back from a preceding remove's removedEntry to make a re-vendor lossless); note needs name+op, plus note (op=add), id (op=remove), or id+into (op=promote); remove needs name; rename needs name (the old name) + newName; restore takes an optional names list — omitted, it restores every dirty repo and reports the clean ones as skipped; given, it restores exactly those repos even if already clean. A decode failure names the missing field. The pin result's markdown surfaces commitMessage and staleNoteIds — review and commit after pinning. The remove result's markdown surfaces commitMessage, removedNotes and the removed entry's orientation block — promote any durable notes elsewhere, keep the orientation if you intend to re-vendor, then review and commit. The rename result's markdown surfaces commitMessage — review and commit after renaming. The restore result's markdown names exactly what was discarded.",
+		description: "Mutating: sync (initialize/reconcile submodules per the manifest), pin (re-pin a repo to a new ref), add (vendor a new repo), note (add/remove/promote an agent note), remove (unvendor a repo), rename (rename a vendored repo's manifest key and worktree), restore (hard-reset a repo's worktree back to its pinned gitlink commit and re-apply sparse paths — DESTRUCTIVE to uncommitted worktree edits; never run implicitly), or deregister (clear a STALE submodule.<section> registration from the superproject's local git config — the phantom entry repos_inspect drift reports as localRegistrationDivergence with no matching manifest entry; refuses a section outside .repos/ and any section still backing a live manifest entry — canonically named or gitdir-diverged — and touches local config only, so nothing is staged). Pass action plus the fields that action needs: pin needs name+ref; add needs url+ref+purpose (name/sparse/orientation optional — pass orientation back from a preceding remove's removedEntry to make a re-vendor lossless); note needs name+op, plus note (op=add), id (op=remove), or id+into (op=promote); remove needs name; rename needs name (the old name) + newName; restore takes an optional names list — omitted, it restores every dirty repo and reports the clean ones as skipped; given, it restores exactly those repos even if already clean; deregister needs section (the registration name exactly as the drift report states it, e.g. .repos/old-name — no submodule. prefix). A decode failure names the missing field. The pin result's markdown surfaces commitMessage and staleNoteIds — review and commit after pinning. The remove result's markdown surfaces commitMessage, removedNotes and the removed entry's orientation block — promote any durable notes elsewhere, keep the orientation if you intend to re-vendor, then review and commit. The rename result's markdown surfaces commitMessage — review and commit after renaming. The restore result's markdown names exactly what was discarded. The deregister result's markdown lists the config keys the removed section carried — nothing to commit afterwards.",
 		inputSchema: {
 			action: z.enum([
 				"sync",
@@ -179,7 +179,8 @@ function buildServer(ctx) {
 				"note",
 				"remove",
 				"rename",
-				"restore"
+				"restore",
+				"deregister"
 			]).describe("Which mutation to perform."),
 			name: z.optional(z.string()).describe("Repo name (pin, note, remove, rename; optional override for add)."),
 			newName: z.optional(z.string()).describe("New repo name (rename)."),
@@ -201,6 +202,7 @@ function buildServer(ctx) {
 			id: z.optional(z.string()).describe("Note id (note, op=remove|promote)."),
 			into: z.optional(z.enum(["layout", "startHere"])).describe("Orientation target (note, op=promote)."),
 			names: z.optional(z.array(z.string())).describe("Repo names to restore (restore); omitted restores every dirty repo."),
+			section: z.optional(z.string()).describe("Stale registration name to clear (deregister), exactly as the drift report states it (e.g. .repos/old-name); the submodule. prefix is implied."),
 			cwd: z.optional(z.string()).describe("Directory to resolve the workspace root from.")
 		},
 		outputSchema: effectToZodSchema(ReposManageResult),

package/tools/repos-manage.js

@@ -54,6 +54,12 @@ const RenameRequest = Schema.TaggedStruct("rename", {
 });
 /** `restore`'s `names` is optional and repeatable, mirroring `add`'s `sparse`; omitted means "every dirty entry". */
 const RestoreRequest = Schema.TaggedStruct("restore", { names: Schema.optional(Schema.Array(Schema.String)) });
+/**
+* `deregister` requires `section` — the stale registration name exactly as the
+* drift report states it (e.g. `.repos/old-name`); the `submodule.` prefix is
+* implied, never passed.
+*/
+const DeregisterRequest = Schema.TaggedStruct("deregister", { section: Schema.String });
 /** Internal tagged-union request the flat wire args decode into. */
 const ReposManageRequest = Schema.Union([
 	SyncRequest,
@@ -62,7 +68,8 @@ const ReposManageRequest = Schema.Union([
 	NoteRequest,
 	RemoveRequest,
 	RenameRequest,
-	RestoreRequest
+	RestoreRequest,
+	DeregisterRequest
 ]);
 /** `sync` result variant. */
 const ReposManageSyncResult = Schema.Struct({
@@ -99,6 +106,11 @@ const ReposManageRestoreResult = Schema.Struct({
 	action: Schema.Literal("restore"),
 	result: Repos.ReposRestoreResult
 }).annotate({ identifier: "ReposManageRestoreResult" });
+/** `deregister` result variant. */
+const ReposManageDeregisterResult = Schema.Struct({
+	action: Schema.Literal("deregister"),
+	result: Repos.ReposDeregisterResult
+}).annotate({ identifier: "ReposManageDeregisterResult" });
 /** The `repos_manage` tool result — a discriminated union keyed by `action`. */
 const ReposManageResult = Schema.Union([
 	ReposManageSyncResult,
@@ -107,11 +119,12 @@ const ReposManageResult = Schema.Union([
 	ReposManageNoteResult,
 	ReposManageRemoveResult,
 	ReposManageRenameResult,
-	ReposManageRestoreResult
+	ReposManageRestoreResult,
+	ReposManageDeregisterResult
 ]).annotate({
 	identifier: "ReposManageResult",
 	title: "repos_manage result",
-	description: "Result of a mutating repos action: sync, pin, add, note, remove, rename, or restore."
+	description: "Result of a mutating repos action: sync, pin, add, note, remove, rename, restore, or deregister."
 });
 /** Render the structured result as a markdown transcript. */
 const renderMarkdown = (data) => {
@@ -227,6 +240,18 @@ const renderMarkdown = (data) => {
 			if (r.stillDirty.length > 0) lines.push(``, `## Still dirty — RESTORE DID NOT FULLY SUCCEED`, ``, `The reset ran but these worktrees remain dirty, so treat the restore as incomplete rather than done:`, ``, ...r.stillDirty.map((name) => `- ${mdInline(name)}`), ``, `Run repos_inspect (mode: drift) — a nestedSubmoduleDivergence or a permission problem is the usual cause.`);
 			return lines.join("\n");
 		}
+		case "deregister": {
+			const r = data.result;
+			return [
+				`# repos deregister — ${mdInline(r.section)}`,
+				``,
+				`Removed the stale ${mdInline(`submodule.${r.section}`)} section from the superproject's LOCAL git config. Keys cleared:`,
+				``,
+				...r.removedKeys.map((key) => `- ${mdInline(key)}`),
+				``,
+				`Local config only — nothing is staged and there is nothing to commit.`
+			].join("\n");
+		}
 	}
 };
 /** One-way transform: result to markdown. Encoding back is forbidden. */
@@ -296,8 +321,12 @@ const reposManage = (args, fallbackCwd) => Effect.gen(function* () {
 			action: "restore",
 			result: yield* manager.restore(root, request.names)
 		};
+		case "deregister": return {
+			action: "deregister",
+			result: yield* manager.deregister(root, request.section)
+		};
 	}
 });
 
 //#endregion
-export { ReposManageAddResult, ReposManageAsMarkdown, ReposManageNoteResult, ReposManagePinResult, ReposManageRemoveResult, ReposManageRenameResult, ReposManageRestoreResult, ReposManageResult, ReposManageSyncResult, reposManage };
+export { ReposManageAddResult, ReposManageAsMarkdown, ReposManageDeregisterResult, ReposManageNoteResult, ReposManagePinResult, ReposManageRemoveResult, ReposManageRenameResult, ReposManageRestoreResult, ReposManageResult, ReposManageSyncResult, reposManage };