@vextlabs/theron-cli 0.1.0

package/dist/verifiers/typecheck.js

@@ -0,0 +1,98 @@
+// Typecheck verifier — runs `tsc --noEmit` (or equivalent project
+// command) against TypeScript files the model touched this turn.
+//
+// Why this exists: code-mode prompts edit code. Without a fast feedback
+// signal, the model has no way of knowing it left a broken file behind
+// until the user runs the project. Claude Code feels magical partly
+// because of this loop — the model edits, tsc complains, the model
+// re-edits and fixes itself.
+//
+// The kernel:
+//   1. Filters touchedFiles to .ts / .tsx (skip if none).
+//   2. Walks up from the first touched file looking for a tsconfig.json.
+//   3. Runs `tsc --noEmit -p <tsconfig>` with a 4s timeout.
+//   4. Parses the output into VerifierIssues, scoped to the touched
+//      files (we don't want to surface pre-existing errors in
+//      unrelated parts of the project).
+import { spawn } from "node:child_process";
+import path from "node:path";
+import fs from "node:fs";
+function findTsconfig(startDir) {
+    let dir = startDir;
+    for (let i = 0; i < 8; i++) {
+        const candidate = path.join(dir, "tsconfig.json");
+        if (fs.existsSync(candidate))
+            return candidate;
+        const parent = path.dirname(dir);
+        if (parent === dir)
+            break;
+        dir = parent;
+    }
+    return null;
+}
+function isTsFile(p) {
+    return /\.(ts|tsx|mts|cts)$/.test(p);
+}
+async function runTsc(tsconfig, cwd) {
+    return await new Promise((resolve) => {
+        let out = "";
+        // Use npx so we don't depend on global tsc — projects with a
+        // node_modules/.bin/tsc get the right version automatically.
+        const child = spawn("npx", ["--no-install", "tsc", "--noEmit", "-p", tsconfig], {
+            cwd,
+            env: { ...process.env, FORCE_COLOR: "0" },
+            shell: false,
+        });
+        const timer = setTimeout(() => { try {
+            child.kill("SIGKILL");
+        }
+        catch { /* ignore */ } }, 4000);
+        child.stdout?.on("data", (b) => { out += b.toString("utf8"); });
+        child.stderr?.on("data", (b) => { out += b.toString("utf8"); });
+        child.on("close", () => { clearTimeout(timer); resolve(out); });
+        child.on("error", () => { clearTimeout(timer); resolve(""); });
+    });
+}
+export const typecheckKernel = {
+    slug: "typecheck",
+    describe: "tsc --noEmit on edited .ts/.tsx files",
+    async run(ctx) {
+        const tsFiles = ctx.touchedFiles.filter(isTsFile);
+        if (tsFiles.length === 0)
+            return [];
+        // Find a tsconfig — walk up from the first touched file (or the
+        // CLI's cwd as a fallback).
+        const firstPath = path.isAbsolute(tsFiles[0])
+            ? path.dirname(tsFiles[0])
+            : path.dirname(path.join(ctx.cwd, tsFiles[0]));
+        const tsconfig = findTsconfig(firstPath) ?? findTsconfig(ctx.cwd);
+        if (!tsconfig)
+            return [];
+        const out = await runTsc(tsconfig, path.dirname(tsconfig));
+        if (!out.trim())
+            return [];
+        // tsc emits one error per line in the form:
+        //   path/to/file.ts(LINE,COL): error TSXXXX: message
+        const ERROR_RE = /^(.+\.tsx?)\((\d+),(\d+)\):\s+(error|warning)\s+(TS\d+):\s+(.+)$/;
+        const touchedSet = new Set(tsFiles.map((p) => (path.isAbsolute(p) ? p : path.join(ctx.cwd, p))));
+        const issues = [];
+        for (const line of out.split(/\r?\n/)) {
+            const m = ERROR_RE.exec(line.trim());
+            if (!m)
+                continue;
+            const filePath = path.resolve(path.dirname(tsconfig), m[1]);
+            // Only surface errors in files the model TOUCHED this turn.
+            // Pre-existing errors in unrelated files are noise.
+            if (!touchedSet.has(filePath))
+                continue;
+            issues.push({
+                severity: m[4] === "error" ? "block" : "warn",
+                kernel: "typecheck",
+                message: `${m[5]}: ${m[6]}`,
+                location: `${path.relative(ctx.cwd, filePath)}:${m[2]}`,
+            });
+        }
+        return issues;
+    },
+};
+//# sourceMappingURL=typecheck.js.map

package/dist/verifiers/typecheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecheck.js","sourceRoot":"","sources":["../../src/verifiers/typecheck.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,iEAAiE;AACjE,EAAE;AACF,wEAAwE;AACxE,uEAAuE;AACvE,oEAAoE;AACpE,mEAAmE;AACnE,6BAA6B;AAC7B,EAAE;AACF,cAAc;AACd,0DAA0D;AAC1D,yEAAyE;AACzE,4DAA4D;AAC5D,oEAAoE;AACpE,8DAA8D;AAC9D,wCAAwC;AAExC,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,SAAS,CAAC;AAGzB,SAAS,YAAY,CAAC,QAAgB;IACpC,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;QAClD,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,GAAG;YAAE,MAAM;QAC1B,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,KAAK,UAAU,MAAM,CAAC,QAAgB,EAAE,GAAW;IACjD,OAAO,MAAM,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QACnC,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,6DAA6D;QAC7D,6DAA6D;QAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE;YAC9E,GAAG;YACH,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE;YACzC,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChG,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,GAAG,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,GAAG,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,WAAW;IACjB,QAAQ,EAAE,uCAAuC;IACjD,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAEpC,gEAAgE;QAChE,4BAA4B;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC1B,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClE,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAC;QAEzB,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;YAAE,OAAO,EAAE,CAAC;QAE3B,4CAA4C;QAC5C,qDAAqD;QACrD,MAAM,QAAQ,GAAG,kEAAkE,CAAC;QACpF,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CACrE,CAAC;QACF,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACrC,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5D,4DAA4D;YAC5D,oDAAoD;YACpD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACxC,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;gBAC7C,MAAM,EAAE,WAAW;gBACnB,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC3B,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;aACxD,CAAC,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC"}

package/dist/verifiers/types.d.ts

@@ -0,0 +1,33 @@
+export type VerifierSeverity = "block" | "warn" | "info";
+export interface VerifierIssue {
+    severity: VerifierSeverity;
+    /** Human-readable kernel name that emitted this (e.g. "typecheck"). */
+    kernel: string;
+    /** One-line description of what's wrong. */
+    message: string;
+    /** Optional file:line reference. */
+    location?: string;
+}
+export interface VerifierContext {
+    /** The absolute cwd the CLI is running in. */
+    cwd: string;
+    /** The assistant's last turn text — what the model emitted. */
+    assistantText: string;
+    /** Files the assistant touched this turn (paths the model passed to
+     *  Write or Edit). Verifiers focus their work on these to keep
+     *  latency low. */
+    touchedFiles: string[];
+    /** Profile slug active during this turn. */
+    profile: string;
+}
+export interface Verifier {
+    /** Slug referenced by profile.verifiers[]. */
+    slug: string;
+    /** One-line description shown in /tools and the welcome line. */
+    describe: string;
+    /** Run the kernel against the turn context. Returns issues (empty
+     *  array if all good). Must complete fast — verifiers run on every
+     *  turn. Hard cap of ~5s; longer kernels should return [] quickly
+     *  if they can't finish in time. */
+    run: (ctx: VerifierContext) => Promise<VerifierIssue[]>;
+}

package/dist/verifiers/types.js

@@ -0,0 +1,23 @@
+// Verifier kernels — the per-domain "is this output actually correct?"
+// checks that run after every turn that produced output. This is the
+// icing on the cake (per the user's own framing): the model alone does
+// nothing — the verifiers are what make the loop feel SOTA.
+//
+// A verifier is a small function that:
+//   1. Looks at the last assistant turn's text + any tools that ran
+//      (especially Write / Edit results — files that were touched).
+//   2. Returns a list of issues — each with severity, location, and a
+//      one-line description.
+//
+// Verifiers run LOCALLY in the CLI. They never block the model loop —
+// they emit a summary chip after the turn settles. The model sees the
+// summary in the NEXT user message (auto-prepended) so it can fix its
+// own output without the user having to ask.
+//
+// Severity:
+//   "block" — the next turn must address this before continuing (e.g.
+//             tsc failed, the code doesn't compile).
+//   "warn"  — surfaced inline but not blocking (e.g. style lint).
+//   "info"  — quiet, only shown if requested (e.g. confidence noted).
+export {};
+//# sourceMappingURL=types.js.map

package/dist/verifiers/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/verifiers/types.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,qEAAqE;AACrE,uEAAuE;AACvE,4DAA4D;AAC5D,EAAE;AACF,uCAAuC;AACvC,oEAAoE;AACpE,oEAAoE;AACpE,sEAAsE;AACtE,6BAA6B;AAC7B,EAAE;AACF,sEAAsE;AACtE,sEAAsE;AACtE,sEAAsE;AACtE,6CAA6C;AAC7C,EAAE;AACF,YAAY;AACZ,sEAAsE;AACtE,qDAAqD;AACrD,kEAAkE;AAClE,sEAAsE"}

package/package.json

@@ -0,0 +1,60 @@
+{
+  "name": "@vextlabs/theron-cli",
+  "version": "0.1.0",
+  "description": "Theron CLI — agentic coding assistant from Vext Labs. Brings the Theron council into your terminal with file/edit/bash tools.",
+  "license": "Apache-2.0",
+  "homepage": "https://tryvext.com",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Vext-Labs-Inc/sucrityflash.git",
+    "directory": "packages/theron-cli"
+  },
+  "bugs": {
+    "url": "https://github.com/Vext-Labs-Inc/sucrityflash/issues"
+  },
+  "bin": {
+    "theron": "bin/theron.js"
+  },
+  "main": "./dist/index.js",
+  "type": "module",
+  "files": [
+    "bin",
+    "dist",
+    "README.md",
+    "LICENSE.txt"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "engines": {
+    "node": ">=18.0.0"
+  },
+  "scripts": {
+    "build": "tsc -p .",
+    "dev": "tsc -p . --watch",
+    "start": "node ./bin/theron.js",
+    "test": "npm run build && node test/sweep.mjs",
+    "test:integration": "npm run build && THERON_RUN_INTEGRATION=1 node test/integration.mjs",
+    "prepublishOnly": "npm run build"
+  },
+  "dependencies": {
+    "@types/node": "^20.0.0",
+    "chalk": "^5.3.0",
+    "fast-glob": "^3.3.2",
+    "marked": "^12.0.0",
+    "marked-terminal": "^7.0.0"
+  },
+  "devDependencies": {
+    "typescript": "^5.4.0"
+  },
+  "keywords": [
+    "theron",
+    "vext",
+    "cli",
+    "ai",
+    "coding",
+    "agent",
+    "council",
+    "specialist"
+  ]
+}