@invariant-ai/cli 0.1.0 → 0.1.2

package/dist/commands/mcp.d.ts

@@ -0,0 +1,7 @@
+export declare function mcpInstallCommand(options: {
+    global?: boolean;
+}): Promise<void>;
+export declare function mcpUninstallCommand(options: {
+    global?: boolean;
+}): Promise<void>;
+//# sourceMappingURL=mcp.d.ts.map

package/dist/commands/mcp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mcp.d.ts","sourceRoot":"","sources":["../../src/commands/mcp.ts"],"names":[],"mappings":"AAqFA,wBAAsB,iBAAiB,CAAC,OAAO,EAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CA4CpF;AAED,wBAAsB,mBAAmB,CAAC,OAAO,EAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAsBtF"}

package/dist/commands/mcp.js

@@ -0,0 +1,139 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.mcpInstallCommand = mcpInstallCommand;
+exports.mcpUninstallCommand = mcpUninstallCommand;
+const node_fs_1 = require("node:fs");
+const node_path_1 = require("node:path");
+const chalk_1 = __importDefault(require("chalk"));
+const MCP_SERVER_NAME = 'invariant';
+/**
+ * Resolves the version of @invariant-ai/mcp by reading its package.json.
+ * Works in both monorepo dev and published node_modules contexts.
+ */
+function resolveMcpVersion() {
+    // In monorepo: __dirname is packages/cli/dist/commands → go up to packages/mcp/
+    const monorepoPath = (0, node_path_1.resolve)(__dirname, '..', '..', '..', 'mcp', 'package.json');
+    if ((0, node_fs_1.existsSync)(monorepoPath)) {
+        try {
+            const pkg = JSON.parse((0, node_fs_1.readFileSync)(monorepoPath, 'utf-8'));
+            if (pkg.version)
+                return pkg.version;
+        }
+        catch { /* fall through */ }
+    }
+    // Published: try require.resolve
+    try {
+        const mcpPkgPath = require.resolve('@invariant-ai/mcp/package.json');
+        const pkg = JSON.parse((0, node_fs_1.readFileSync)(mcpPkgPath, 'utf-8'));
+        if (pkg.version)
+            return pkg.version;
+    }
+    catch { /* fall through */ }
+    return '0.1.0'; // fallback
+}
+/**
+ * Determines the config file path for MCP server registration.
+ * Order: project .claude/settings.json → ~/.claude/settings.json → ~/.claude.json
+ */
+function resolveConfigPath(globalFlag) {
+    const home = process.env.HOME ?? process.env.USERPROFILE ?? '';
+    if (!globalFlag) {
+        // Check for project-local .claude/ directory
+        const projectConfig = (0, node_path_1.resolve)(process.cwd(), '.claude', 'settings.json');
+        const projectClaudeDir = (0, node_path_1.resolve)(process.cwd(), '.claude');
+        if ((0, node_fs_1.existsSync)(projectClaudeDir)) {
+            return projectConfig;
+        }
+    }
+    // User-level: prefer ~/.claude/settings.json
+    const userClaudeDir = (0, node_path_1.resolve)(home, '.claude');
+    const userSettings = (0, node_path_1.resolve)(userClaudeDir, 'settings.json');
+    if ((0, node_fs_1.existsSync)(userClaudeDir)) {
+        return userSettings;
+    }
+    // Fallback: ~/.claude.json
+    const legacyConfig = (0, node_path_1.resolve)(home, '.claude.json');
+    if ((0, node_fs_1.existsSync)(legacyConfig)) {
+        return legacyConfig;
+    }
+    // Default to ~/.claude/settings.json (will create)
+    return userSettings;
+}
+function readConfig(path) {
+    if (!(0, node_fs_1.existsSync)(path))
+        return {};
+    try {
+        return JSON.parse((0, node_fs_1.readFileSync)(path, 'utf-8'));
+    }
+    catch {
+        return {};
+    }
+}
+function writeConfig(path, config) {
+    const dir = (0, node_path_1.dirname)(path);
+    if (!(0, node_fs_1.existsSync)(dir)) {
+        (0, node_fs_1.mkdirSync)(dir, { recursive: true });
+    }
+    (0, node_fs_1.writeFileSync)(path, JSON.stringify(config, null, 2) + '\n', 'utf-8');
+}
+async function mcpInstallCommand(options) {
+    const configPath = resolveConfigPath(options.global ?? false);
+    const config = readConfig(configPath);
+    const version = await resolveMcpVersion();
+    const serverEntry = {
+        command: 'npx',
+        args: ['-y', `@invariant-ai/mcp@${version}`],
+        env: {},
+    };
+    // Check if already installed with same config
+    if (config.mcpServers && config.mcpServers[MCP_SERVER_NAME]) {
+        const existing = config.mcpServers[MCP_SERVER_NAME];
+        if (existing.command === serverEntry.command &&
+            JSON.stringify(existing.args) === JSON.stringify(serverEntry.args)) {
+            console.log(chalk_1.default.yellow(`Invariant MCP server already registered in ${configPath}`));
+            console.log('No changes made.');
+            return;
+        }
+    }
+    // Append-only: only touch mcpServers.invariant
+    if (!config.mcpServers) {
+        config.mcpServers = {};
+    }
+    const before = config.mcpServers[MCP_SERVER_NAME] ? JSON.stringify(config.mcpServers[MCP_SERVER_NAME], null, 2) : null;
+    config.mcpServers[MCP_SERVER_NAME] = serverEntry;
+    writeConfig(configPath, config);
+    console.log(chalk_1.default.green('✓ Invariant MCP server registered'));
+    console.log(`  File: ${configPath}`);
+    if (before) {
+        console.log(`  Updated: mcpServers.${MCP_SERVER_NAME}`);
+        console.log(`  Previous: ${before}`);
+    }
+    else {
+        console.log(`  Added: mcpServers.${MCP_SERVER_NAME}`);
+    }
+    console.log(`  Version: @invariant-ai/mcp@${version}`);
+    console.log('');
+    console.log(`To undo: npx invariant mcp uninstall${options.global ? ' --global' : ''}`);
+}
+async function mcpUninstallCommand(options) {
+    const configPath = resolveConfigPath(options.global ?? false);
+    const config = readConfig(configPath);
+    if (!config.mcpServers || !config.mcpServers[MCP_SERVER_NAME]) {
+        console.log(chalk_1.default.yellow('Invariant MCP server is not registered.'));
+        console.log(`  Checked: ${configPath}`);
+        return;
+    }
+    delete config.mcpServers[MCP_SERVER_NAME];
+    // Clean up empty mcpServers object
+    if (Object.keys(config.mcpServers).length === 0) {
+        delete config.mcpServers;
+    }
+    writeConfig(configPath, config);
+    console.log(chalk_1.default.green('✓ Invariant MCP server unregistered'));
+    console.log(`  File: ${configPath}`);
+    console.log(`  Removed: mcpServers.${MCP_SERVER_NAME}`);
+}
+//# sourceMappingURL=mcp.js.map

package/dist/commands/mcp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mcp.js","sourceRoot":"","sources":["../../src/commands/mcp.ts"],"names":[],"mappings":";;;;;AAqFA,8CA4CC;AAED,kDAsBC;AAzJD,qCAA6E;AAC7E,yCAA6C;AAC7C,kDAA0B;AAE1B,MAAM,eAAe,GAAG,WAAW,CAAC;AAOpC;;;GAGG;AACH,SAAS,iBAAiB;IACxB,gFAAgF;IAChF,MAAM,YAAY,GAAG,IAAA,mBAAO,EAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;IACjF,IAAI,IAAA,oBAAU,EAAC,YAAY,CAAC,EAAE,CAAC;QAC7B,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAA,sBAAY,EAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;YAC5D,IAAI,GAAG,CAAC,OAAO;gBAAE,OAAO,GAAG,CAAC,OAAO,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC;IAChC,CAAC;IAED,iCAAiC;IACjC,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAA,sBAAY,EAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1D,IAAI,GAAG,CAAC,OAAO;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC;IACtC,CAAC;IAAC,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC;IAE9B,OAAO,OAAO,CAAC,CAAC,WAAW;AAC7B,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,UAAmB;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC;IAE/D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,6CAA6C;QAC7C,MAAM,aAAa,GAAG,IAAA,mBAAO,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;QACzE,MAAM,gBAAgB,GAAG,IAAA,mBAAO,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC;QAC3D,IAAI,IAAA,oBAAU,EAAC,gBAAgB,CAAC,EAAE,CAAC;YACjC,OAAO,aAAa,CAAC;QACvB,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,MAAM,aAAa,GAAG,IAAA,mBAAO,EAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,IAAA,mBAAO,EAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IAC7D,IAAI,IAAA,oBAAU,EAAC,aAAa,CAAC,EAAE,CAAC;QAC9B,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,2BAA2B;IAC3B,MAAM,YAAY,GAAG,IAAA,mBAAO,EAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACnD,IAAI,IAAA,oBAAU,EAAC,YAAY,CAAC,EAAE,CAAC;QAC7B,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,mDAAmD;IACnD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,CAAC,IAAA,oBAAU,EAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAA,sBAAY,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,MAAiB;IAClD,MAAM,GAAG,GAAG,IAAA,mBAAO,EAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,CAAC,IAAA,oBAAU,EAAC,GAAG,CAAC,EAAE,CAAC;QACrB,IAAA,mBAAS,EAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;IACD,IAAA,uBAAa,EAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;AACvE,CAAC;AAEM,KAAK,UAAU,iBAAiB,CAAC,OAA6B;IACnE,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,MAAM,iBAAiB,EAAE,CAAC;IAE1C,MAAM,WAAW,GAAG;QAClB,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,CAAC,IAAI,EAAE,qBAAqB,OAAO,EAAE,CAAC;QAC5C,GAAG,EAAE,EAAE;KACR,CAAC;IAEF,8CAA8C;IAC9C,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QAC5D,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,eAAe,CAA4B,CAAC;QAC/E,IACE,QAAQ,CAAC,OAAO,KAAK,WAAW,CAAC,OAAO;YACxC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,EAClE,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,8CAA8C,UAAU,EAAE,CAAC,CAAC,CAAC;YACtF,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;YAChC,OAAO;QACT,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,CAAC,UAAU,GAAG,EAAE,CAAC;IACzB,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvH,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,GAAG,WAAW,CAAC;IAEjD,WAAW,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAEhC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,CAAC,WAAW,UAAU,EAAE,CAAC,CAAC;IACrC,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,CAAC,GAAG,CAAC,yBAAyB,eAAe,EAAE,CAAC,CAAC;QACxD,OAAO,CAAC,GAAG,CAAC,eAAe,MAAM,EAAE,CAAC,CAAC;IACvC,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,uBAAuB,eAAe,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,gCAAgC,OAAO,EAAE,CAAC,CAAC;IACvD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,uCAAuC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC1F,CAAC;AAEM,KAAK,UAAU,mBAAmB,CAAC,OAA6B;IACrE,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IAEtC,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QAC9D,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,yCAAyC,CAAC,CAAC,CAAC;QACrE,OAAO,CAAC,GAAG,CAAC,cAAc,UAAU,EAAE,CAAC,CAAC;QACxC,OAAO;IACT,CAAC;IAED,OAAO,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;IAE1C,mCAAmC;IACnC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,UAAU,CAAC;IAC3B,CAAC;IAED,WAAW,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAEhC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC,CAAC;IAChE,OAAO,CAAC,GAAG,CAAC,WAAW,UAAU,EAAE,CAAC,CAAC;IACrC,OAAO,CAAC,GAAG,CAAC,yBAAyB,eAAe,EAAE,CAAC,CAAC;AAC1D,CAAC"}

package/dist/commands/run.d.ts

@@ -1,6 +1,19 @@
+import { ProofReport, JsonOutputError } from '../lib/report.js';
 interface RunOptions {
     quick?: boolean;
     headed?: boolean;
+    json?: boolean;
+    ci?: boolean;
+}
+type RunExitCode = 0 | 1 | 2;
+export interface JsonOutputEnvelope {
+    envelopeVersion: 1;
+    ok: boolean;
+    exitCode: RunExitCode;
+    report?: ProofReport;
+    error?: JsonOutputError;
+    runDir?: string;
+    timestamp: string;
 }
 export declare function runCommand(options: RunOptions): Promise<void>;
 export {};

package/dist/commands/run.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/commands/run.ts"],"names":[],"mappings":"AAcA,UAAU,UAAU;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAwPD,wBAAsB,UAAU,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CA8SnE"}
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/commands/run.ts"],"names":[],"mappings":"AAMA,OAAO,EAAuB,WAAW,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAQrF,UAAU,UAAU;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,EAAE,CAAC,EAAE,OAAO,CAAC;CACd;AAED,KAAK,WAAW,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE7B,MAAM,WAAW,kBAAkB;IACjC,eAAe,EAAE,CAAC,CAAC;IACnB,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,WAAW,CAAC;IACtB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,KAAK,CAAC,EAAE,eAAe,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAwPD,wBAAsB,UAAU,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAmUnE"}