@yourtechtribe-labs/koncept-mcp-server 0.2.0-alpha.4 → 0.2.0-alpha.6

package/dist/tools/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/tools/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAA;AAOxE,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,GAAG,IAAI,CAMvE"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/tools/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAA;AAQxE,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,GAAG,IAAI,CAOvE"}

package/dist/tools/index.js

@@ -3,11 +3,13 @@ import { registerKonceptSearch } from './koncept-search.js';
 import { registerKonceptForFile } from './koncept-for-file.js';
 import { registerKonceptInvariantsAtScope } from './koncept-invariants-at-scope.js';
 import { registerKonceptAffected } from './koncept-affected.js';
+import { registerKonceptLintNaming } from './koncept-lint-naming.js';
 export function registerAllTools(mcp, ctx) {
     registerKonceptGet(mcp, ctx);
     registerKonceptSearch(mcp, ctx);
     registerKonceptForFile(mcp, ctx);
     registerKonceptInvariantsAtScope(mcp, ctx);
     registerKonceptAffected(mcp, ctx);
+    registerKonceptLintNaming(mcp, ctx);
 }
 //# sourceMappingURL=index.js.map

package/dist/tools/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/tools/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAC9D,OAAO,EAAE,gCAAgC,EAAE,MAAM,kCAAkC,CAAA;AACnF,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AAM/D,MAAM,UAAU,gBAAgB,CAAC,GAAc,EAAE,GAAgB;IAC/D,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAC5B,qBAAqB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAC/B,sBAAsB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAChC,gCAAgC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAC1C,uBAAuB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;AACnC,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/tools/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAC9D,OAAO,EAAE,gCAAgC,EAAE,MAAM,kCAAkC,CAAA;AACnF,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AAC/D,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAA;AAMpE,MAAM,UAAU,gBAAgB,CAAC,GAAc,EAAE,GAAgB;IAC/D,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAC5B,qBAAqB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAC/B,sBAAsB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAChC,gCAAgC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAC1C,uBAAuB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACjC,yBAAyB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;AACrC,CAAC"}

package/dist/tools/koncept-lint-naming.d.ts

@@ -0,0 +1,4 @@
+import type { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js';
+import type { ToolContext } from './index.js';
+export declare function registerKonceptLintNaming(mcp: McpServer, ctx: ToolContext): void;
+//# sourceMappingURL=koncept-lint-naming.d.ts.map

package/dist/tools/koncept-lint-naming.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"koncept-lint-naming.d.ts","sourceRoot":"","sources":["../../src/tools/koncept-lint-naming.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAA;AAMxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAgD7C,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,GAAG,IAAI,CAoDhF"}

package/dist/tools/koncept-lint-naming.js

@@ -0,0 +1,89 @@
+import { readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { z } from 'zod';
+import { collectNamingCandidates, loadConcepts, } from '@yourtechtribe-labs/koncept-core';
+/**
+ * koncept_lint_naming (K4, MCP surface — DESIGN §4-E).
+ *
+ * Read-only (D-002): runs ONLY the deterministic pre-filter — regex of each
+ * concept's `naming.forbidden` aliases over the working-tree content of the
+ * given files. It does NOT call any LLM and does NOT touch the network. The
+ * host AI agent is the judge: it reads these candidates (with the diff it
+ * already has) and decides which are real violations vs incidental matches.
+ * The Anthropic-API judge lives only in the CLI (`koncepto lint-naming`).
+ */
+const inputSchema = {
+    files: z
+        .array(z.string().min(1))
+        .min(1)
+        .describe('Changed file paths (forward-slash, repo-relative) to scan for prohibited naming aliases.'),
+};
+const outputSchema = {
+    candidates: z.array(z.object({
+        concept_id: z.string(),
+        concept_name: z.string(),
+        term: z.string().nullable(),
+        canonical: z.string(),
+        alias: z.string(),
+        file: z.string(),
+        line: z.number(),
+        text: z.string(),
+        rubric: z.string(),
+    })),
+    rules_applied: z.number(),
+    unreadable_files: z.array(z.string()),
+    note: z.string(),
+};
+const AGENT_NOTE = 'Deterministic pre-filter only. YOU are the judge: for each candidate, decide ' +
+    'whether the line is a real NEW use of the prohibited alias as a domain symbol ' +
+    '(→ violation, use the canonical) or an incidental match (comment, string, ' +
+    "unrelated identifier, external library field, different domain). Use the diff you " +
+    'already have to tell new from pre-existing.';
+export function registerKonceptLintNaming(mcp, ctx) {
+    mcp.registerTool('koncept_lint_naming', {
+        title: 'Naming-alias candidates (DR-1 pre-filter)',
+        description: 'Given changed file paths, return lines that use a concept\'s prohibited naming alias ' +
+            '(deterministic regex pre-filter over the working tree). No LLM, no network: the calling ' +
+            'agent judges which candidates are real violations. Use when reviewing a diff for ' +
+            'domain-vocabulary drift.',
+        inputSchema,
+        outputSchema,
+        annotations: { readOnlyHint: true, idempotentHint: true },
+    }, async ({ files }) => {
+        const loaded = await loadConcepts(ctx.rootDir);
+        const scanned = [];
+        const unreadable = [];
+        for (const file of files) {
+            try {
+                const content = readFileSync(join(ctx.rootDir, file), 'utf-8');
+                const lines = content.split('\n').map((text, i) => ({ n: i + 1, text }));
+                scanned.push({ file, lines });
+            }
+            catch {
+                unreadable.push(file);
+            }
+        }
+        const { candidates, rulesApplied } = collectNamingCandidates(loaded.concepts, scanned);
+        const payload = {
+            candidates: candidates.map((c) => ({
+                concept_id: c.conceptId,
+                concept_name: c.conceptName,
+                term: c.term,
+                canonical: c.canonical,
+                alias: c.alias,
+                file: c.file,
+                line: c.line,
+                text: c.text,
+                rubric: c.rubric,
+            })),
+            rules_applied: rulesApplied,
+            unreadable_files: unreadable,
+            note: AGENT_NOTE,
+        };
+        return {
+            content: [{ type: 'text', text: JSON.stringify(payload, null, 2) }],
+            structuredContent: payload,
+        };
+    });
+}
+//# sourceMappingURL=koncept-lint-naming.js.map

package/dist/tools/koncept-lint-naming.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"koncept-lint-naming.js","sourceRoot":"","sources":["../../src/tools/koncept-lint-naming.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EACL,uBAAuB,EACvB,YAAY,GAEb,MAAM,kCAAkC,CAAA;AAGzC;;;;;;;;;GASG;AAEH,MAAM,WAAW,GAAG;IAClB,KAAK,EAAE,CAAC;SACL,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC;SACN,QAAQ,CACP,0FAA0F,CAC3F;CACJ,CAAA;AAED,MAAM,YAAY,GAAG;IACnB,UAAU,EAAE,CAAC,CAAC,KAAK,CACjB,CAAC,CAAC,MAAM,CAAC;QACP,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;QACtB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;QACxB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAC3B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;QACrB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;QACjB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;KACnB,CAAC,CACH;IACD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;CACjB,CAAA;AAED,MAAM,UAAU,GACd,+EAA+E;IAC/E,gFAAgF;IAChF,4EAA4E;IAC5E,oFAAoF;IACpF,6CAA6C,CAAA;AAE/C,MAAM,UAAU,yBAAyB,CAAC,GAAc,EAAE,GAAgB;IACxE,GAAG,CAAC,YAAY,CACd,qBAAqB,EACrB;QACE,KAAK,EAAE,2CAA2C;QAClD,WAAW,EACT,uFAAuF;YACvF,0FAA0F;YAC1F,mFAAmF;YACnF,0BAA0B;QAC5B,WAAW;QACX,YAAY;QACZ,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE;KAC1D,EACD,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;QAClB,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAE9C,MAAM,OAAO,GAAkB,EAAE,CAAA;QACjC,MAAM,UAAU,GAAa,EAAE,CAAA;QAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;gBAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;gBACxE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;YAC/B,CAAC;YAAC,MAAM,CAAC;gBACP,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACvB,CAAC;QACH,CAAC;QAED,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,uBAAuB,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QACtF,MAAM,OAAO,GAAG;YACd,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACjC,UAAU,EAAE,CAAC,CAAC,SAAS;gBACvB,YAAY,EAAE,CAAC,CAAC,WAAW;gBAC3B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,MAAM,EAAE,CAAC,CAAC,MAAM;aACjB,CAAC,CAAC;YACH,aAAa,EAAE,YAAY;YAC3B,gBAAgB,EAAE,UAAU;YAC5B,IAAI,EAAE,UAAU;SACjB,CAAA;QACD,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YAC5E,iBAAiB,EAAE,OAAO;SAC3B,CAAA;IACH,CAAC,CACF,CAAA;AACH,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@yourtechtribe-labs/koncept-mcp-server",
-  "version": "0.2.0-alpha.4",
+  "version": "0.2.0-alpha.6",
   "mcpName": "io.github.yourtechtribe-labs/koncept-mcp-server",
   "description": "MCP server exposing semantic concept graph tools (koncept_search, koncept_get, koncept_for_file, koncept_invariants_at_scope).",
   "keywords": [
@@ -34,8 +34,8 @@
   },
   "dependencies": {
     "@modelcontextprotocol/sdk": "1.29.0",
-    "@yourtechtribe-labs/koncept-core": "^0.2.0-alpha.0",
-    "zod": "4.4.3"
+    "zod": "4.4.3",
+    "@yourtechtribe-labs/koncept-core": "^0.2.0-alpha.6"
   },
   "publishConfig": {
     "access": "public",