@coderifts/agent-hooks 0.3.2 → 0.3.4

package/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "agent-hooks",
-  "version": "0.3.2",
+  "version": "0.3.4",
   "description": "Ask CodeRifts before Claude Code writes a contract artifact (OpenAPI, AsyncAPI, GraphQL, protobuf, MCP manifest).",
   "author": {
     "name": "CodeRifts",

package/CHANGELOG.md

@@ -1,5 +1,21 @@
 # Changelog
 
+## 0.3.4 — 2026-10-09
+### Fixed
+- **A plain `mcp.json` that is both an MCP client configuration and a tool manifest, or that does not parse, is not
+  read or sent and is not passed (contract-write 1.3.1).** On the Claude Code file tools and on the OpenClaw tool
+  shapes the gate asks, with one sentence: split the server list and the tool manifest into separate files, or make
+  the file valid JSON (no comments) to have it checked.
+
+## 0.3.3 — 2026-10-08
+### Fixed
+- **A plain `mcp.json` is decided by its content (contract-write 1.3.0, P65c).** 0.3.2 skipped every `mcp.json` by
+  name, which also skipped a server's tool manifest of that name. By name only `.mcp.json`, `.cursor/mcp.json`,
+  `.vscode/mcp.json`, `claude_desktop_config.json` and `(cline_)mcp_settings.json` stay skipped (never read). Any
+  other `mcp.json` is read on disk: `mcpServers` / `servers` and no `tools` → a client configuration, nothing sent;
+  `tools`, any other shape, or unparseable → checked as a contract. A manifest rewritten into a client configuration
+  is checked as the manifest removed, without the client side. The same on the OpenClaw tool shapes (`write_file` …).
+
 ## 0.3.2 — 2026-10-06
 ### Fixed
 - **An MCP client configuration is never treated as a contract (contract-write 1.2.0, P65).** `.mcp.json`, `mcp.json`

package/claude-code/marketplace-entry.json

@@ -5,7 +5,7 @@
     "repo": "coderifts/agent-hooks"
   },
   "description": "Host adapters for CodeRifts: Claude Code PreToolUse asks before Write/Edit of OpenAPI, AsyncAPI, GraphQL, protobuf, or MCP manifest files. Not the GitHub Action (coderifts/contract-gate) and not the guard library (@coderifts/agent-guard).",
-  "version": "0.3.2",
+  "version": "0.3.4",
   "author": {
     "name": "CodeRifts",
     "email": "peter@coderifts.com"

package/contract-write.mjs

@@ -27,7 +27,7 @@
 // written by scripts/generate-contract-write-copies.js, byte for byte (the CommonJS twin is a
 // mechanical transform), and its --check fails on any difference. Do not edit a copy.
 
-export const CONTRACT_WRITE_VERSION = '1.2.0';
+export const CONTRACT_WRITE_VERSION = '1.3.1';
 
 /** What a shell write to a named contract file gets, and what an unnamed one gets. */
 export const SHELL_NAMED_DECISION = 'refuse';
@@ -45,12 +45,77 @@ export const CONTRACT_EXT = /\.(ya?ml|json|graphql|gql|proto)$/i;
  * 1.2.0 (2026-10-06, the Claude directory's hold MCP_FORWARDS_CREDENTIAL_ENV): an MCP CLIENT
  * configuration file — the list of servers a client starts, with their `env` credentials — is not a
  * contract. `.mcp.json` and `mcp.json` matched the list above (".json" + "mcp") as mcp_manifest, so an
- * Edit of one sent its whole text, tokens included, to preflight. Decided by name, so the file is never
- * read to decide; it wins over the project's own `schema:` list too. MCP tool manifests are unchanged.
+ * Edit of one sent its whole text, tokens included, to preflight. MCP tool manifests are unchanged.
  * P65 (2026-10-06): the required check uses this same pattern — index.cjs requires it from here, and its
  * looksLikeContractPath says no first, word for word as below.
+ *
+ * 1.3.0 (P65c, 2026-10-07): by NAME only the names that are a client configuration and nothing else —
+ * `.mcp.json` anywhere, `.cursor/mcp.json`, `.vscode/mcp.json`, `claude_desktop_config.json`,
+ * `(cline_)mcp_settings.json`. Those are never read, and they win over the project's own `schema:` list.
+ * Any other `mcp.json` (MCP_JSON_BY_CONTENT) is also the name a server's tool manifest carries
+ * (coderifts.com's own), so it is a candidate, read where it already is, and decided by mcpJsonKind:
+ * the hooks read it on disk and never send a client configuration; the required check decides after its
+ * own read (isClientConfigContent), and a client-configuration side counts as no file at all.
  */
-export const MCP_CLIENT_CONFIG = /(^|\/)(\.?mcp\.json|claude_desktop_config\.json|(cline_)?mcp_settings\.json)$/i;
+export const MCP_CLIENT_CONFIG = /(^|\/)(\.mcp\.json|\.cursor\/mcp\.json|\.vscode\/mcp\.json|claude_desktop_config\.json|(cline_)?mcp_settings\.json)$/i;
+
+/** A plain `mcp.json` that MCP_CLIENT_CONFIG does not take by name: decided by its content. */
+export const MCP_JSON_BY_CONTENT = /(^|\/)mcp\.json$/i;
+
+const isObject = (v) => v !== null && typeof v === 'object' && !Array.isArray(v);
+
+/**
+ * The kind of a plain mcp.json's text, from its parsed TOP-LEVEL object (a leading BOM is ignored):
+ *   'client_config'  `mcpServers` or `servers` (an object) and no `tools`: never sent, counts as no file
+ *   'mixed'          `mcpServers` or `servers` (an object) AND `tools`: never sent, and not passed (P65d)
+ *   'unparseable'    JSON.parse fails (comments, a trailing comma, …): never sent, and not passed (P65d)
+ *   'contract'       anything else: a `tools` key, an object without a server list, a parsed non-object
+ * 1.3.1 (P65d, 2026-10-09): 1.3.0 checked `tools` first and called a parse failure a contract, so a server
+ * list with a `tools` key, and a client configuration with a comment, were sent as contracts.
+ */
+export function mcpJsonKind(text) {
+  let doc;
+  try {
+    doc = JSON.parse(String(text ?? '').replace(/^\uFEFF/, ''));
+  } catch {
+    return 'unparseable';
+  }
+  if (!isObject(doc)) return 'contract';
+  const servers = isObject(doc.mcpServers) || isObject(doc.servers);
+  if (servers) return 'tools' in doc ? 'mixed' : 'client_config';
+  return 'contract';
+}
+
+/** The kind of one present side of a content-decided path; null for any other path or an empty side. */
+export function mcpJsonContentKind(path, text) {
+  if (typeof text !== 'string' || text === '') return null;
+  const rel = normalizePath(path);
+  if (!MCP_JSON_BY_CONTENT.test(rel) || MCP_CLIENT_CONFIG.test(rel)) return null;
+  return mcpJsonKind(text);
+}
+
+/** True when `path` is decided by content and `text` (one side, present) is a client configuration. */
+export function isClientConfigContent(path, text) {
+  return mcpJsonContentKind(path, text) === 'client_config';
+}
+
+/** 'mixed' or 'unparseable': never sent, and never passed silently — the hooks ask, the check is red. */
+export function isHeldContent(path, text) {
+  const k = mcpJsonContentKind(path, text);
+  return k === 'mixed' || k === 'unparseable';
+}
+
+/** Every side whose text no entry point sends: a client configuration, 'mixed', 'unparseable'. */
+export function isNeverSent(path, text) {
+  return isClientConfigContent(path, text) || isHeldContent(path, text);
+}
+
+/** The one sentence every entry point says for a held side; null for any other kind. */
+export function heldWhy(path, kind) {
+  if (kind === 'mixed') return `${path} is both an MCP client configuration and a tool manifest; it is not read or sent — split the server list and the tool manifest into separate files.`;
+  if (kind === 'unparseable') return `${path} does not parse as JSON; it is not read or sent — a client configuration may hold credentials. Make it valid JSON (no comments) to have it checked.`;
+  return null;
+}
 
 export function looksLikeContractPath(p) {
   const s = String(p || '').toLowerCase();
@@ -685,13 +750,48 @@ export async function decideToolCall(call, io = {}) {
   } catch (err) {
     return { action: 'refuse', reason: 'unreadable', rel, type, why: `${rel} is a contract file and could not be read (${String((err && err.message) || err)})` };
   }
+  // 1.3.1 (P65d): a held side ('mixed', 'unparseable') — the file on disk, or the text the call writes —
+  // is not sent and not passed: the hooks ask, with the sentence. Nothing of it is in the answer.
+  const heldBefore = mcpJsonContentKind(rel, before);
+  if (heldBefore === 'mixed' || heldBefore === 'unparseable') return held(rel, type, heldBefore);
   const after = afterText(kind, input, before);
   if (after === null) {
     return { action: 'refuse', reason: 'edit_does_not_apply', rel, type, why: `the ${kind} does not apply to ${rel} as it is on disk (${afterFailure(kind, input, before)}), so there is no after text to check` };
   }
+  const heldAfter = mcpJsonContentKind(rel, after);
+  if (heldAfter === 'mixed' || heldAfter === 'unparseable') return held(rel, type, heldAfter);
+  // 1.3.0 (P65c): a plain mcp.json is decided by content, here, before anything is sent. A side that is
+  // a client configuration counts as no file: both such → pass; one → the manifest added or removed.
+  const clientBefore = isClientConfigContent(rel, before);
+  const clientAfter = isClientConfigContent(rel, after);
+  if (clientBefore || clientAfter) {
+    const b = clientBefore ? '' : before;
+    const a = clientAfter ? '' : after;
+    if (b === '' && a === '') return { action: 'pass', reason: 'mcp_client_config', rel };
+    return { action: 'gate', path: filePath, rel, type, before: b, after: a };
+  }
   return { action: 'gate', path: filePath, rel, type, before, after };
 }
 
+/** The answer for a held side: ask, with the sentence; no text of the file. */
+function held(rel, type, kind) {
+  return { action: 'ask', reason: 'mcp_json_held', rel, type, kind, scopes: [rel], why: heldWhy(rel, kind) };
+}
+
+/**
+ * The content kind of a plain mcp.json on disk, for a shell write that names it (null: not content-
+ * decided, missing, or unreadable — those stay the contract write they were).
+ */
+async function contentKindOnDisk(rel, io) {
+  if (!MCP_JSON_BY_CONTENT.test(rel) || !io.readFile) return null;
+  const root = normalizePath(io.cwd || '');
+  try {
+    return mcpJsonContentKind(rel, await io.readFile(root ? `${root}/${rel}` : rel));
+  } catch {
+    return null;
+  }
+}
+
 /** Is there a contract file under `scope`? Unknown (no reader, a limit hit) counts as yes. */
 async function mayHoldContract(scope, io, opts) {
   const glob = /[*?]/.test(scope) ? globToRegExp(normalizePath(scope)) : null;
@@ -714,11 +814,16 @@ async function mayHoldContract(scope, io, opts) {
 
 async function decideShell(command, io, opts) {
   const named = [];
+  const heldPaths = [];
   const scopes = new Map();
   for (const { target, by } of shellWrites(command)) {
     const inTree = scopeInTree(target, io);
     if (inTree === null) continue;
     const type = inTree !== UNKNOWN && !/[*?]/.test(inTree) ? contractType(inTree, opts) : null;
+    const onDisk = type ? await contentKindOnDisk(inTree, io) : null;
+    if (onDisk === 'client_config') continue;
+    // 1.3.1 (P65d): a held file on disk is not a contract write to refuse, and not a pass: ask.
+    if (onDisk === 'mixed' || onDisk === 'unparseable') { heldPaths.push({ rel: inTree, kind: onDisk }); continue; }
     if (type) named.push({ path: target, type, by });
     else scopes.set(inTree, [...(scopes.get(inTree) || []), by]);
   }
@@ -730,6 +835,15 @@ async function decideShell(command, io, opts) {
       why: `this shell command writes ${named.map((n) => `${n.path} (${n.by})`).join(', ')}, and a shell write cannot be checked: the after text is not known. Use the Write or Edit tool for contract files`,
     };
   }
+  if (heldPaths.length) {
+    return {
+      action: 'ask',
+      reason: 'mcp_json_held',
+      kind: heldPaths[0].kind,
+      scopes: heldPaths.map((h) => h.rel),
+      why: heldPaths.map((h) => heldWhy(h.rel, h.kind)).join(' '),
+    };
+  }
   const reached = [];
   for (const [scope, bys] of scopes) {
     if (await mayHoldContract(scope, io, opts)) reached.push({ scope, by: [...new Set(bys)] });

package/gate.js

@@ -11,7 +11,7 @@ import { isAbsolute, resolve } from "node:path";
 // command writes. A byte copy of @coderifts/contract-path's contract-write.mjs, written by the app's
 // scripts/generate-contract-write-copies.js; contract-write.sha256 beside it is checked by
 // test/contract-write-copy.test.js.
-import { contractType, decideToolCall, toolKind } from "./contract-write.mjs";
+import { contractType, decideToolCall, heldWhy, isClientConfigContent, mcpJsonContentKind, toolKind } from "./contract-write.mjs";
 
 /** Tools whose params carry a path and a new file body. */
 export const DEFAULT_TOOL_SHAPES = Object.freeze({
@@ -264,6 +264,9 @@ async function defaultListDir(dir) {
 async function gateClaudeCall(event, { read, call, endpoint, apiKey, timeoutMs, operation }) {
   const d = await decideToolCall({ tool: event.toolName, input: event.params ?? {} }, hostIo(event.cwd, read));
   if (d.action === "pass") return undefined;
+  // 0.3.4 (P65d): a plain mcp.json that is both a client configuration and a tool manifest, or that does
+  // not parse — contract-write's 'mcp_json_held'. Not sent, not passed: the user is asked, with its sentence.
+  if (d.reason === "mcp_json_held") return ask("CodeRifts gate: this mcp.json is not checked", d.why);
   if (d.action !== "gate") {
     return ask("CodeRifts gate could not read the proposed change", `${d.why}. It will not pass a change it has not seen.`);
   }
@@ -324,12 +327,25 @@ export function createGate(config = {}, deps = {}) {
       );
     }
 
+    // 0.3.3 (P65c): a plain mcp.json is decided by its content (contract-write's function), as on the
+    // Claude Code path. A side that is an MCP client configuration counts as no file and is never sent;
+    // both such sides → this gate never claimed the call.
+    // 0.3.4 (P65d): a held side ('mixed' / 'unparseable') is never sent and not passed: ask, with the sentence.
+    const heldKind = [before, after].map((t) => mcpJsonContentKind(target.path, t)).find((k) => k === "mixed" || k === "unparseable");
+    if (heldKind) return ask("CodeRifts gate: this mcp.json is not checked", heldWhy(target.path, heldKind));
+
+    const clientBefore = isClientConfigContent(target.path, before);
+    const clientAfter = isClientConfigContent(target.path, after);
+    const sentBefore = clientBefore ? "" : before;
+    const sentAfter = clientAfter ? "" : after;
+    if ((clientBefore || clientAfter) && sentBefore === "" && sentAfter === "") return undefined;
+
     const outcome = await call({
       endpoint,
       apiKey,
       timeoutMs,
       operation,
-      artifact: { id: target.path, type: target.type, before, after },
+      artifact: { id: target.path, type: target.type, before: sentBefore, after: sentAfter },
     });
     return decide(outcome, { operation, path: target.path });
   };

package/openclaw.plugin.json

@@ -2,7 +2,7 @@
   "id": "coderifts-contract-gate",
   "name": "CodeRifts contract gate",
   "description": "Ask CodeRifts before an agent writes a contract artifact.",
-  "version": "0.3.2",
+  "version": "0.3.4",
   "configSchema": {
     "type": "object",
     "additionalProperties": false,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@coderifts/agent-hooks",
-  "version": "0.3.2",
+  "version": "0.3.4",
   "description": "Ask CodeRifts before an agent writes a contract artifact (OpenClaw before_tool_call and Claude Code PreToolUse).",
   "license": "MIT",
   "homepage": "https://github.com/coderifts/agent-hooks#readme",