chiasmus 0.1.0

package/dist/formalize/validate.js

@@ -0,0 +1,124 @@
+/**
+ * Lint and auto-fix a specification before sending to the solver.
+ * Fixes what it can, reports what it can't.
+ */
+export function lintSpec(spec, solver) {
+    const fixes = [];
+    const errors = [];
+    let cleaned = spec;
+    // ── Auto-fixes (applied silently) ──────────────────────
+    // Strip markdown fences
+    const fencePattern = /^```(?:smt-lib|smtlib|smt2?|prolog|pl)?\s*\n?/gm;
+    if (fencePattern.test(cleaned)) {
+        cleaned = cleaned.replace(fencePattern, "").replace(/^```\s*$/gm, "");
+        fixes.push("Stripped markdown code fences");
+    }
+    // Trim whitespace
+    cleaned = cleaned.trim();
+    if (!cleaned) {
+        errors.push("Specification is empty after cleaning");
+        return { spec: cleaned, fixes, errors };
+    }
+    // Unfilled template slots — cannot auto-fix
+    const slotMatches = cleaned.match(/\{\{SLOT:\w+\}\}/g);
+    if (slotMatches) {
+        errors.push(`Unfilled template slots: ${slotMatches.join(", ")}`);
+    }
+    if (solver === "z3") {
+        ({ spec: cleaned } = lintSmtlib(cleaned, fixes, errors));
+    }
+    else {
+        ({ spec: cleaned } = lintProlog(cleaned, fixes, errors));
+    }
+    return { spec: cleaned, fixes, errors };
+}
+function lintSmtlib(spec, fixes, errors) {
+    let cleaned = spec;
+    // Auto-fix: remove (check-sat) and (get-model)
+    if (/\(\s*check-sat\s*\)/.test(cleaned)) {
+        cleaned = cleaned.replace(/\(\s*check-sat\s*\)/g, "");
+        fixes.push("Removed (check-sat) — added automatically by the solver");
+    }
+    if (/\(\s*get-model\s*\)/.test(cleaned)) {
+        cleaned = cleaned.replace(/\(\s*get-model\s*\)/g, "");
+        fixes.push("Removed (get-model) — added automatically by the solver");
+    }
+    if (/\(\s*exit\s*\)/.test(cleaned)) {
+        cleaned = cleaned.replace(/\(\s*exit\s*\)/g, "");
+        fixes.push("Removed (exit)");
+    }
+    // Auto-fix: remove (set-logic ...) — our solver handles this
+    if (/\(\s*set-logic\s+\w+\s*\)/.test(cleaned)) {
+        cleaned = cleaned.replace(/\(\s*set-logic\s+\w+\s*\)/g, "");
+        fixes.push("Removed (set-logic) — solver selects logic automatically");
+    }
+    cleaned = cleaned.trim();
+    // Check: balanced parentheses
+    let depth = 0;
+    for (let i = 0; i < cleaned.length; i++) {
+        const ch = cleaned[i];
+        // Skip string literals
+        if (ch === '"') {
+            i++;
+            while (i < cleaned.length && cleaned[i] !== '"') {
+                if (cleaned[i] === '\\')
+                    i++;
+                i++;
+            }
+            continue;
+        }
+        // Skip line comments
+        if (ch === ';') {
+            while (i < cleaned.length && cleaned[i] !== '\n')
+                i++;
+            continue;
+        }
+        if (ch === '(')
+            depth++;
+        if (ch === ')')
+            depth--;
+        if (depth < 0) {
+            errors.push(`Unmatched closing parenthesis at position ${i}`);
+            break;
+        }
+    }
+    if (depth > 0) {
+        errors.push(`Unbalanced parentheses: ${depth} unclosed`);
+    }
+    return { spec: cleaned };
+}
+function lintProlog(spec, fixes, errors) {
+    let cleaned = spec;
+    // Auto-fix: remove ?- query line (we extract it separately)
+    // Don't report this as a fix since buildSolverInput handles it
+    // Strip comments and strings for structural analysis
+    const stripped = cleaned
+        .replace(/%.*$/gm, "")
+        .replace(/\/\*[\s\S]*?\*\//g, "")
+        .replace(/"[^"]*"/g, '""')
+        .replace(/'[^']*'/g, "''")
+        .trim();
+    if (!stripped)
+        return { spec: cleaned };
+    // Check: at least one clause ending with a period
+    if (!stripped.includes(".")) {
+        errors.push("No clauses ending with a period (.) — all Prolog clauses must end with a period");
+    }
+    // Check: balanced parentheses
+    let depth = 0;
+    for (const ch of stripped) {
+        if (ch === '(')
+            depth++;
+        if (ch === ')')
+            depth--;
+        if (depth < 0) {
+            errors.push("Unmatched closing parenthesis");
+            break;
+        }
+    }
+    if (depth > 0) {
+        errors.push(`Unbalanced parentheses: ${depth} unclosed`);
+    }
+    return { spec: cleaned };
+}
+//# sourceMappingURL=validate.js.map

package/dist/formalize/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/formalize/validate.ts"],"names":[],"mappings":"AAWA;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,MAAkB;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,OAAO,GAAG,IAAI,CAAC;IAEnB,0DAA0D;IAE1D,wBAAwB;IACxB,MAAM,YAAY,GAAG,iDAAiD,CAAC;IACvE,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAC9C,CAAC;IAED,kBAAkB;IAClB,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAEzB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;QACrD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC1C,CAAC;IAED,4CAA4C;IAC5C,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACvD,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,4BAA4B,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,CAAC;SAAM,CAAC;QACN,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,UAAU,CACjB,IAAY,EACZ,KAAe,EACf,MAAgB;IAEhB,IAAI,OAAO,GAAG,IAAI,CAAC;IAEnB,+CAA+C;IAC/C,IAAI,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,sBAAsB,EAAE,EAAE,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,sBAAsB,EAAE,EAAE,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC/B,CAAC;IAED,6DAA6D;IAC7D,IAAI,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;IACzE,CAAC;IAED,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAEzB,8BAA8B;IAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACtB,uBAAuB;QACvB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,CAAC,EAAE,CAAC;YACJ,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAChD,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI;oBAAE,CAAC,EAAE,CAAC;gBAC7B,CAAC,EAAE,CAAC;YACN,CAAC;YACD,SAAS;QACX,CAAC;QACD,qBAAqB;QACrB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QACxB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QACxB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,6CAA6C,CAAC,EAAE,CAAC,CAAC;YAC9D,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,MAAM,CAAC,IAAI,CAAC,2BAA2B,KAAK,WAAW,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,UAAU,CACjB,IAAY,EACZ,KAAe,EACf,MAAgB;IAEhB,IAAI,OAAO,GAAG,IAAI,CAAC;IAEnB,4DAA4D;IAC5D,+DAA+D;IAE/D,qDAAqD;IACrD,MAAM,QAAQ,GAAG,OAAO;SACrB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC;SAChC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC;SACzB,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC;SACzB,IAAI,EAAE,CAAC;IAEV,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAExC,kDAAkD;IAClD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,iFAAiF,CAAC,CAAC;IACjG,CAAC;IAED,8BAA8B;IAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QACxB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QACxB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC7C,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,MAAM,CAAC,IAAI,CAAC,2BAA2B,KAAK,WAAW,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC"}

package/dist/llm/anthropic.d.ts

@@ -0,0 +1,27 @@
+import type { LLMAdapter, LLMMessage } from "./types.js";
+export interface AnthropicConfig {
+    apiKey: string;
+    model?: string;
+    baseUrl?: string;
+    maxTokens?: number;
+}
+export declare class AnthropicAdapter implements LLMAdapter {
+    private apiKey;
+    private model;
+    private baseUrl;
+    private maxTokens;
+    constructor(config: AnthropicConfig);
+    complete(system: string, messages: LLMMessage[]): Promise<string>;
+}
+/**
+ * Create an LLM adapter from environment variables, or null if not configured.
+ *
+ * Supported providers (checked in order):
+ *   ANTHROPIC_API_KEY  → Anthropic (Claude)
+ *   DEEPSEEK_API_KEY   → DeepSeek
+ *   OPENAI_API_KEY     → OpenAI
+ *
+ * Override base URL with CHIASMUS_API_URL and model with CHIASMUS_MODEL.
+ */
+export declare function createLLMFromEnv(): LLMAdapter | null;
+//# sourceMappingURL=anthropic.d.ts.map

package/dist/llm/anthropic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"anthropic.d.ts","sourceRoot":"","sources":["../../src/llm/anthropic.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAOzD,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,qBAAa,gBAAiB,YAAW,UAAU;IACjD,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,SAAS,CAAS;gBAEd,MAAM,EAAE,eAAe;IAO7B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;CAiCxE;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,IAAI,UAAU,GAAG,IAAI,CAmCpD"}

package/dist/llm/anthropic.js

@@ -0,0 +1,86 @@
+import { OpenAICompatibleAdapter } from "./openai-compatible.js";
+const DEFAULT_MODEL = "claude-sonnet-4-20250514";
+const DEFAULT_URL = "https://api.anthropic.com/v1/messages";
+const DEFAULT_MAX_TOKENS = 4096;
+export class AnthropicAdapter {
+    apiKey;
+    model;
+    baseUrl;
+    maxTokens;
+    constructor(config) {
+        this.apiKey = config.apiKey;
+        this.model = config.model ?? DEFAULT_MODEL;
+        this.baseUrl = config.baseUrl ?? DEFAULT_URL;
+        this.maxTokens = config.maxTokens ?? DEFAULT_MAX_TOKENS;
+    }
+    async complete(system, messages) {
+        const body = {
+            model: this.model,
+            max_tokens: this.maxTokens,
+            system,
+            messages: messages.map((m) => ({
+                role: m.role,
+                content: m.content,
+            })),
+        };
+        const response = await fetch(this.baseUrl, {
+            method: "POST",
+            headers: {
+                "Content-Type": "application/json",
+                "x-api-key": this.apiKey,
+                "anthropic-version": "2023-06-01",
+            },
+            body: JSON.stringify(body),
+        });
+        if (!response.ok) {
+            const text = await response.text();
+            throw new Error(`Anthropic API error ${response.status}: ${text}`);
+        }
+        const data = (await response.json());
+        const textBlock = data.content.find((b) => b.type === "text");
+        return textBlock?.text ?? "";
+    }
+}
+/**
+ * Create an LLM adapter from environment variables, or null if not configured.
+ *
+ * Supported providers (checked in order):
+ *   ANTHROPIC_API_KEY  → Anthropic (Claude)
+ *   DEEPSEEK_API_KEY   → DeepSeek
+ *   OPENAI_API_KEY     → OpenAI
+ *
+ * Override base URL with CHIASMUS_API_URL and model with CHIASMUS_MODEL.
+ */
+export function createLLMFromEnv() {
+    const model = process.env.CHIASMUS_MODEL;
+    const customUrl = process.env.CHIASMUS_API_URL;
+    // Anthropic
+    const anthropicKey = process.env.ANTHROPIC_API_KEY;
+    if (anthropicKey) {
+        return new AnthropicAdapter({
+            apiKey: anthropicKey,
+            model,
+            baseUrl: customUrl,
+        });
+    }
+    // DeepSeek / OpenAI-compatible
+    const deepseekKey = process.env.DEEPSEEK_API_KEY;
+    if (deepseekKey) {
+        return new OpenAICompatibleAdapter({
+            apiKey: deepseekKey,
+            baseUrl: customUrl ?? "https://api.deepseek.com",
+            model: model ?? "deepseek-chat",
+        });
+    }
+    // OpenAI
+    const openaiKey = process.env.OPENAI_API_KEY;
+    if (openaiKey) {
+        return new OpenAICompatibleAdapter({
+            apiKey: openaiKey,
+            baseUrl: customUrl ?? "https://api.openai.com/v1",
+            model: model ?? "gpt-4o",
+        });
+    }
+    return null;
+}
+//# sourceMappingURL=anthropic.js.map

package/dist/llm/anthropic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anthropic.js","sourceRoot":"","sources":["../../src/llm/anthropic.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,MAAM,aAAa,GAAG,0BAA0B,CAAC;AACjD,MAAM,WAAW,GAAG,uCAAuC,CAAC;AAC5D,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAShC,MAAM,OAAO,gBAAgB;IACnB,MAAM,CAAS;IACf,KAAK,CAAS;IACd,OAAO,CAAS;IAChB,SAAS,CAAS;IAE1B,YAAY,MAAuB;QACjC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC5B,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,aAAa,CAAC;QAC3C,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,WAAW,CAAC;QAC7C,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,kBAAkB,CAAC;IAC1D,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,MAAc,EAAE,QAAsB;QACnD,MAAM,IAAI,GAAG;YACX,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU,EAAE,IAAI,CAAC,SAAS;YAC1B,MAAM;YACN,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,OAAO;aACnB,CAAC,CAAC;SACJ,CAAC;QAEF,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE;YACzC,MAAM,EAAE,MAAM;YACd,OAAO,EAAE;gBACP,cAAc,EAAE,kBAAkB;gBAClC,WAAW,EAAE,IAAI,CAAC,MAAM;gBACxB,mBAAmB,EAAE,YAAY;aAClC;YACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;SAC3B,CAAC,CAAC;QAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,uBAAuB,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;QACrE,CAAC;QAED,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAElC,CAAC;QAEF,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC9D,OAAO,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC;IAC/B,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB;IAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;IACzC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;IAE/C,YAAY;IACZ,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;IACnD,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,IAAI,gBAAgB,CAAC;YAC1B,MAAM,EAAE,YAAY;YACpB,KAAK;YACL,OAAO,EAAE,SAAS;SACnB,CAAC,CAAC;IACL,CAAC;IAED,+BAA+B;IAC/B,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;IACjD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,IAAI,uBAAuB,CAAC;YACjC,MAAM,EAAE,WAAW;YACnB,OAAO,EAAE,SAAS,IAAI,0BAA0B;YAChD,KAAK,EAAE,KAAK,IAAI,eAAe;SAChC,CAAC,CAAC;IACL,CAAC;IAED,SAAS;IACT,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;IAC7C,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,IAAI,uBAAuB,CAAC;YACjC,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,SAAS,IAAI,2BAA2B;YACjD,KAAK,EAAE,KAAK,IAAI,QAAQ;SACzB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/llm/mock.d.ts

@@ -0,0 +1,21 @@
+import type { LLMAdapter, LLMMessage } from "./types.js";
+/**
+ * Mock LLM adapter for testing. Returns pre-configured responses
+ * based on pattern matching against the user message.
+ */
+export declare class MockLLMAdapter implements LLMAdapter {
+    responses: Array<{
+        pattern: RegExp;
+        response: string | (() => string);
+    }>;
+    private defaultResponse;
+    calls: Array<{
+        system: string;
+        messages: LLMMessage[];
+    }>;
+    constructor(defaultResponse?: string);
+    /** Register a response for messages matching a pattern */
+    onMatch(pattern: RegExp, response: string | (() => string)): this;
+    complete(system: string, messages: LLMMessage[]): Promise<string>;
+}
+//# sourceMappingURL=mock.d.ts.map

package/dist/llm/mock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mock.d.ts","sourceRoot":"","sources":["../../src/llm/mock.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEzD;;;GAGG;AACH,qBAAa,cAAe,YAAW,UAAU;IAC/C,SAAS,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAA;KAAE,CAAC,CAAM;IAC9E,OAAO,CAAC,eAAe,CAAS;IACzB,KAAK,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,UAAU,EAAE,CAAA;KAAE,CAAC,CAAM;gBAEzD,eAAe,SAAK;IAIhC,0DAA0D;IAC1D,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,GAAG,IAAI;IAK3D,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;CAcxE"}

package/dist/llm/mock.js

@@ -0,0 +1,29 @@
+/**
+ * Mock LLM adapter for testing. Returns pre-configured responses
+ * based on pattern matching against the user message.
+ */
+export class MockLLMAdapter {
+    responses = [];
+    defaultResponse;
+    calls = [];
+    constructor(defaultResponse = "") {
+        this.defaultResponse = defaultResponse;
+    }
+    /** Register a response for messages matching a pattern */
+    onMatch(pattern, response) {
+        this.responses.push({ pattern, response });
+        return this;
+    }
+    async complete(system, messages) {
+        this.calls.push({ system, messages });
+        const lastUserMsg = messages.findLast((m) => m.role === "user")?.content ?? "";
+        const fullText = system + " " + lastUserMsg;
+        for (const entry of this.responses) {
+            if (entry.pattern.test(fullText)) {
+                return typeof entry.response === "function" ? entry.response() : entry.response;
+            }
+        }
+        return this.defaultResponse;
+    }
+}
+//# sourceMappingURL=mock.js.map

package/dist/llm/mock.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mock.js","sourceRoot":"","sources":["../../src/llm/mock.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,MAAM,OAAO,cAAc;IACzB,SAAS,GAAkE,EAAE,CAAC;IACtE,eAAe,CAAS;IACzB,KAAK,GAAsD,EAAE,CAAC;IAErE,YAAY,eAAe,GAAG,EAAE;QAC9B,IAAI,CAAC,eAAe,GAAG,eAAe,CAAC;IACzC,CAAC;IAED,0DAA0D;IAC1D,OAAO,CAAC,OAAe,EAAE,QAAiC;QACxD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,MAAc,EAAE,QAAsB;QACnD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QAEtC,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;QAC3F,MAAM,QAAQ,GAAG,MAAM,GAAG,GAAG,GAAG,WAAW,CAAC;QAE5C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACjC,OAAO,OAAO,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;YAClF,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC,eAAe,CAAC;IAC9B,CAAC;CACF"}

package/dist/llm/openai-compatible.d.ts

@@ -0,0 +1,20 @@
+import type { LLMAdapter, LLMMessage } from "./types.js";
+export interface OpenAICompatibleConfig {
+    apiKey: string;
+    baseUrl: string;
+    model: string;
+    maxTokens?: number;
+}
+/**
+ * Adapter for OpenAI-compatible APIs (DeepSeek, OpenRouter, Ollama, etc.)
+ * Uses the standard /chat/completions format.
+ */
+export declare class OpenAICompatibleAdapter implements LLMAdapter {
+    private apiKey;
+    private baseUrl;
+    private model;
+    private maxTokens;
+    constructor(config: OpenAICompatibleConfig);
+    complete(system: string, messages: LLMMessage[]): Promise<string>;
+}
+//# sourceMappingURL=openai-compatible.d.ts.map

package/dist/llm/openai-compatible.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"openai-compatible.d.ts","sourceRoot":"","sources":["../../src/llm/openai-compatible.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAIzD,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;GAGG;AACH,qBAAa,uBAAwB,YAAW,UAAU;IACxD,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,SAAS,CAAS;gBAEd,MAAM,EAAE,sBAAsB;IAOpC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;CAkCxE"}

package/dist/llm/openai-compatible.js

@@ -0,0 +1,46 @@
+const DEFAULT_MAX_TOKENS = 4096;
+/**
+ * Adapter for OpenAI-compatible APIs (DeepSeek, OpenRouter, Ollama, etc.)
+ * Uses the standard /chat/completions format.
+ */
+export class OpenAICompatibleAdapter {
+    apiKey;
+    baseUrl;
+    model;
+    maxTokens;
+    constructor(config) {
+        this.apiKey = config.apiKey;
+        this.baseUrl = config.baseUrl.replace(/\/+$/, "");
+        this.model = config.model;
+        this.maxTokens = config.maxTokens ?? DEFAULT_MAX_TOKENS;
+    }
+    async complete(system, messages) {
+        const body = {
+            model: this.model,
+            max_tokens: this.maxTokens,
+            messages: [
+                { role: "system", content: system },
+                ...messages.map((m) => ({
+                    role: m.role,
+                    content: m.content,
+                })),
+            ],
+        };
+        const url = `${this.baseUrl}/chat/completions`;
+        const response = await fetch(url, {
+            method: "POST",
+            headers: {
+                "Content-Type": "application/json",
+                Authorization: `Bearer ${this.apiKey}`,
+            },
+            body: JSON.stringify(body),
+        });
+        if (!response.ok) {
+            const text = await response.text();
+            throw new Error(`API error ${response.status}: ${text}`);
+        }
+        const data = (await response.json());
+        return data.choices?.[0]?.message?.content ?? "";
+    }
+}
+//# sourceMappingURL=openai-compatible.js.map

package/dist/llm/openai-compatible.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"openai-compatible.js","sourceRoot":"","sources":["../../src/llm/openai-compatible.ts"],"names":[],"mappings":"AAEA,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAShC;;;GAGG;AACH,MAAM,OAAO,uBAAuB;IAC1B,MAAM,CAAS;IACf,OAAO,CAAS;IAChB,KAAK,CAAS;IACd,SAAS,CAAS;IAE1B,YAAY,MAA8B;QACxC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC5B,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC1B,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,kBAAkB,CAAC;IAC1D,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,MAAc,EAAE,QAAsB;QACnD,MAAM,IAAI,GAAG;YACX,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU,EAAE,IAAI,CAAC,SAAS;YAC1B,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,QAAiB,EAAE,OAAO,EAAE,MAAM,EAAE;gBAC5C,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtB,IAAI,EAAE,CAAC,CAAC,IAA4B;oBACpC,OAAO,EAAE,CAAC,CAAC,OAAO;iBACnB,CAAC,CAAC;aACJ;SACF,CAAC;QAEF,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,OAAO,mBAAmB,CAAC;QAC/C,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;YAChC,MAAM,EAAE,MAAM;YACd,OAAO,EAAE;gBACP,cAAc,EAAE,kBAAkB;gBAClC,aAAa,EAAE,UAAU,IAAI,CAAC,MAAM,EAAE;aACvC;YACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;SAC3B,CAAC,CAAC;QAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,aAAa,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;QAED,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAElC,CAAC;QAEF,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC;IACnD,CAAC;CACF"}

package/dist/llm/types.d.ts

@@ -0,0 +1,11 @@
+/** A message in the LLM conversation */
+export interface LLMMessage {
+    role: "user" | "assistant";
+    content: string;
+}
+/** Interface for LLM backends */
+export interface LLMAdapter {
+    /** Generate a completion from a system prompt and messages */
+    complete(system: string, messages: LLMMessage[]): Promise<string>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/llm/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/llm/types.ts"],"names":[],"mappings":"AAAA,wCAAwC;AACxC,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,iCAAiC;AACjC,MAAM,WAAW,UAAU;IACzB,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACnE"}

package/dist/llm/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/llm/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/llm/types.ts"],"names":[],"mappings":""}

package/dist/mcp-server.d.ts

@@ -0,0 +1,12 @@
+#!/usr/bin/env node
+import { Server } from "@modelcontextprotocol/sdk/server/index.js";
+import { SkillLibrary } from "./skills/library.js";
+import { FormalizationEngine } from "./formalize/engine.js";
+import type { LLMAdapter } from "./llm/types.js";
+export declare function getChiasmusHome(): string;
+export declare function createChiasmusServer(chiasmusHome?: string, llmOverride?: LLMAdapter | null): Promise<{
+    server: Server;
+    library: SkillLibrary;
+    formalizer: FormalizationEngine | null;
+}>;
+//# sourceMappingURL=mcp-server.d.ts.map

package/dist/mcp-server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mcp-server.d.ts","sourceRoot":"","sources":["../src/mcp-server.ts"],"names":[],"mappings":";AAIA,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AAQnE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAG5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAGjD,wBAAgB,eAAe,IAAI,MAAM,CAExC;AAiaD,wBAAsB,oBAAoB,CACxC,YAAY,CAAC,EAAE,MAAM,EACrB,WAAW,CAAC,EAAE,UAAU,GAAG,IAAI,GAC9B,OAAO,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,YAAY,CAAC;IAAC,UAAU,EAAE,mBAAmB,GAAG,IAAI,CAAA;CAAE,CAAC,CA+C5F"}