deepclause-sdk 0.0.1

package/dist/cli/index.js

@@ -0,0 +1,287 @@
+#!/usr/bin/env node
+/**
+ * DeepClause CLI
+ *
+ * Command-line interface for compiling Markdown to DML and running DML programs.
+ */
+import { Command } from 'commander';
+import { initConfig, setModel, showModel, loadConfig } from './config.js';
+import { compile, compileAll } from './compile.js';
+import { run } from './run.js';
+import { listTools } from './tools.js';
+import { listCommands } from './commands.js';
+import { readFileSync } from 'fs';
+import { fileURLToPath } from 'url';
+import { dirname, join } from 'path';
+// Get version from package.json
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = dirname(__filename);
+const packageJsonPath = join(__dirname, '../../package.json');
+const packageJson = JSON.parse(readFileSync(packageJsonPath, 'utf-8'));
+const version = packageJson.version;
+const program = new Command();
+program
+    .name('deepclause')
+    .description('Compile Markdown to DML and run neurosymbolic AI agents')
+    .version(version);
+// =============================================================================
+// Configuration Commands
+// =============================================================================
+program
+    .command('init')
+    .description('Initialize DeepClause configuration in current directory')
+    .option('-f, --force', 'Overwrite existing configuration')
+    .option('--model <model>', 'Set initial model (default: gpt-4o)')
+    .action(async (options) => {
+    try {
+        await initConfig(process.cwd(), options);
+        console.log('✅ DeepClause initialized successfully');
+        console.log('   Configuration: .deepclause/config.json');
+    }
+    catch (error) {
+        console.error('❌ Error:', error.message);
+        process.exit(1);
+    }
+});
+program
+    .command('set-model <model>')
+    .description('Set the default LLM model (format: provider/model or just model)')
+    .action(async (model) => {
+    try {
+        const result = await setModel(process.cwd(), model);
+        console.log(`✅ Model set to: ${result.provider}/${result.model}`);
+    }
+    catch (error) {
+        console.error('❌ Error:', error.message);
+        process.exit(1);
+    }
+});
+program
+    .command('show-model')
+    .description('Show the current LLM model')
+    .option('--json', 'Output as JSON')
+    .action(async (options) => {
+    try {
+        const result = await showModel(process.cwd());
+        if (options.json) {
+            console.log(JSON.stringify({ provider: result.provider, model: result.model }, null, 2));
+        }
+        else {
+            console.log(result.formatted);
+        }
+    }
+    catch (error) {
+        console.error('❌ Error:', error.message);
+        process.exit(1);
+    }
+});
+// =============================================================================
+// Compilation Commands
+// =============================================================================
+program
+    .command('compile <source> [output]')
+    .description('Compile Markdown task description to DML')
+    .option('-f, --force', 'Force recompilation even if source unchanged')
+    .option('--validate-only', 'Validate without saving output')
+    .option('--model <model>', 'Override model for compilation')
+    .option('--temperature <number>', 'Override temperature (0.0-2.0)', parseFloat)
+    .action(async (source, output, options) => {
+    try {
+        const config = await loadConfig(process.cwd());
+        const outputDir = output || '.deepclause/tools';
+        const result = await compile(source, outputDir, {
+            force: options.force,
+            validateOnly: options.validateOnly,
+            model: options.model || config.model,
+            temperature: options.temperature
+        });
+        if (result.skipped) {
+            console.log(`⏭️  Skipped (unchanged): ${source}`);
+        }
+        else if (options.validateOnly) {
+            console.log(`✅ Valid DML generated from: ${source}`);
+        }
+        else {
+            console.log(`✅ Compiled: ${source} → ${result.output}`);
+            console.log(`   Tools: ${result.tools.join(', ') || 'none'}`);
+        }
+    }
+    catch (error) {
+        console.error('❌ Error:', error.message);
+        process.exit(1);
+    }
+});
+program
+    .command('compile-all <sourceDir> [outputDir]')
+    .description('Compile all Markdown files in a directory')
+    .option('-f, --force', 'Force recompilation of all files')
+    .option('--model <model>', 'Override model for compilation')
+    .action(async (sourceDir, outputDir, options) => {
+    try {
+        const config = await loadConfig(process.cwd());
+        const out = outputDir || '.deepclause/tools';
+        const result = await compileAll(sourceDir, out, {
+            force: options.force,
+            model: options.model || config.model
+        });
+        console.log(`\n📊 Compilation Summary:`);
+        console.log(`   Compiled: ${result.compiled}`);
+        console.log(`   Skipped:  ${result.skipped}`);
+        console.log(`   Failed:   ${result.failed}`);
+    }
+    catch (error) {
+        console.error('❌ Error:', error.message);
+        process.exit(1);
+    }
+});
+// =============================================================================
+// Execution Commands
+// =============================================================================
+program
+    .command('run <file> [args...]')
+    .description('Execute a compiled DML program')
+    .option('--workspace <path>', 'Working directory for file operations', './')
+    .option('--verbose', 'Show debug output including tool calls')
+    .option('--stream', 'Stream LLM responses in real-time')
+    .option('--headless', 'Plain output only, no TUI formatting')
+    .option('--trace <file>', 'Save execution trace to file')
+    .option('--dry-run', 'Show what would be executed without running')
+    .option('--model <model>', 'Override configured model (can be provider/model format, e.g., google/gemini-2.5-pro)')
+    .option('--provider <provider>', 'Override configured provider (openai, anthropic, google, openrouter)')
+    .option('--temperature <number>', 'Override temperature (0.0-2.0)', parseFloat)
+    .option('-p, --param <key=value>', 'Pass named parameter (can be repeated)', collectParams, {})
+    .action(async (file, args, options) => {
+    try {
+        // Parse provider/model format if provided (e.g., "google/gemini-2.5-pro")
+        let model = options.model;
+        let provider = options.provider;
+        if (model && model.includes('/')) {
+            const [parsedProvider, ...modelParts] = model.split('/');
+            provider = provider || parsedProvider;
+            model = modelParts.join('/'); // Handle models with / in name
+        }
+        const result = await run(file, args, {
+            workspace: options.workspace,
+            verbose: options.verbose,
+            stream: options.stream,
+            headless: options.headless,
+            trace: options.trace,
+            dryRun: options.dryRun,
+            model,
+            provider: provider,
+            temperature: options.temperature,
+            params: options.param
+        });
+        if (options.dryRun) {
+            console.log(result.wouldExecute);
+        }
+        else {
+            // Show outputs only in headless mode (in interactive mode they were already shown)
+            if (options.headless && result.output.length > 0) {
+                for (const out of result.output) {
+                    console.log(out);
+                }
+            }
+            // Show answer
+            if (result.answer) {
+                if (result.output.length > 0) {
+                    console.log(''); // Blank line before answer
+                }
+                console.log(result.answer);
+            }
+            // Show error
+            if (result.error) {
+                console.error('❌ Error:', result.error);
+                process.exit(1);
+            }
+            // Show trace location if saved
+            if (options.trace) {
+                console.log(`\n📊 Trace saved to: ${options.trace}`);
+            }
+        }
+    }
+    catch (error) {
+        console.error('❌ Error:', error.message);
+        if (options.verbose) {
+            console.error(error.stack);
+        }
+        process.exit(1);
+    }
+});
+// =============================================================================
+// Listing Commands
+// =============================================================================
+program
+    .command('list-tools')
+    .description('List all available tools from MCP servers and AgentVM')
+    .option('--json', 'Output as JSON')
+    .action(async (options) => {
+    try {
+        const tools = await listTools(process.cwd(), { json: options.json });
+        if (options.json) {
+            console.log(tools);
+        }
+        else {
+            console.log('Available Tools:\n');
+            console.log(tools);
+        }
+    }
+    catch (error) {
+        console.error('❌ Error:', error.message);
+        process.exit(1);
+    }
+});
+program
+    .command('list-commands')
+    .description('List all compiled DML commands')
+    .option('--json', 'Output as JSON')
+    .option('--detailed', 'Show parameters and tool dependencies')
+    .action(async (options) => {
+    try {
+        const commands = await listCommands(process.cwd(), {
+            json: options.json,
+            detailed: options.detailed
+        });
+        if (options.json) {
+            console.log(JSON.stringify(commands, null, 2));
+        }
+        else {
+            console.log('Compiled Commands:\n');
+            for (const cmd of commands) {
+                console.log(`📋 ${cmd.name}`);
+                console.log(`   ${cmd.description}`);
+                if (options.detailed && cmd.parameters) {
+                    console.log('   Parameters:');
+                    for (const p of cmd.parameters) {
+                        const req = p.required ? '(required)' : `(optional, default: ${p.default})`;
+                        console.log(`     • ${p.name} ${req} - ${p.description}`);
+                    }
+                    if (cmd.tools?.length) {
+                        console.log('   Tool Dependencies:');
+                        for (const t of cmd.tools) {
+                            console.log(`     • ${t}`);
+                        }
+                    }
+                }
+                console.log(`   Usage: deepclause run ${cmd.path}\n`);
+            }
+        }
+    }
+    catch (error) {
+        console.error('❌ Error:', error.message);
+        process.exit(1);
+    }
+});
+// =============================================================================
+// Helper Functions
+// =============================================================================
+function collectParams(value, previous) {
+    const [key, val] = value.split('=');
+    if (!key || val === undefined) {
+        throw new Error(`Invalid param format: ${value}. Use key=value`);
+    }
+    return { ...previous, [key]: val };
+}
+// Parse and run
+program.parse();
+//# sourceMappingURL=index.js.map

package/dist/cli/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/cli/index.ts"],"names":[],"mappings":";AACA;;;;GAIG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAErC,gCAAgC;AAChC,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;AACtC,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;AAC9D,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC,CAAC;AACvE,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC;AAEpC,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;AAE9B,OAAO;KACJ,IAAI,CAAC,YAAY,CAAC;KAClB,WAAW,CAAC,yDAAyD,CAAC;KACtE,OAAO,CAAC,OAAO,CAAC,CAAC;AAEpB,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF,OAAO;KACJ,OAAO,CAAC,MAAM,CAAC;KACf,WAAW,CAAC,0DAA0D,CAAC;KACvE,MAAM,CAAC,aAAa,EAAE,kCAAkC,CAAC;KACzD,MAAM,CAAC,iBAAiB,EAAE,qCAAqC,CAAC;KAChE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;IACxB,IAAI,CAAC;QACH,MAAM,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC;QACzC,OAAO,CAAC,GAAG,CAAC,uCAAuC,CAAC,CAAC;QACrD,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,UAAU,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;QACpD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,OAAO;KACJ,OAAO,CAAC,mBAAmB,CAAC;KAC5B,WAAW,CAAC,kEAAkE,CAAC;KAC/E,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;IACtB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;QACpD,OAAO,CAAC,GAAG,CAAC,mBAAmB,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACpE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,UAAU,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;QACpD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,OAAO;KACJ,OAAO,CAAC,YAAY,CAAC;KACrB,WAAW,CAAC,4BAA4B,CAAC;KACzC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;KAClC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;IACxB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QAC9C,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3F,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,UAAU,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;QACpD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,gFAAgF;AAChF,uBAAuB;AACvB,gFAAgF;AAEhF,OAAO;KACJ,OAAO,CAAC,2BAA2B,CAAC;KACpC,WAAW,CAAC,0CAA0C,CAAC;KACvD,MAAM,CAAC,aAAa,EAAE,8CAA8C,CAAC;KACrE,MAAM,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;KAC3D,MAAM,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;KAC3D,MAAM,CAAC,wBAAwB,EAAE,gCAAgC,EAAE,UAAU,CAAC;KAC9E,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;IACxC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,MAAM,IAAI,mBAAmB,CAAC;QAEhD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE;YAC9C,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK;YACpC,WAAW,EAAE,OAAO,CAAC,WAAW;SACjC,CAAC,CAAC;QAEH,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,OAAO,CAAC,GAAG,CAAC,4BAA4B,MAAM,EAAE,CAAC,CAAC;QACpD,CAAC;aAAM,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YAChC,OAAO,CAAC,GAAG,CAAC,+BAA+B,MAAM,EAAE,CAAC,CAAC;QACvD,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,eAAe,MAAM,MAAM,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YACxD,OAAO,CAAC,GAAG,CAAC,aAAa,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,UAAU,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;QACpD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,OAAO;KACJ,OAAO,CAAC,qCAAqC,CAAC;KAC9C,WAAW,CAAC,2CAA2C,CAAC;KACxD,MAAM,CAAC,aAAa,EAAE,kCAAkC,CAAC;KACzD,MAAM,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;KAC3D,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE;IAC9C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,SAAS,IAAI,mBAAmB,CAAC;QAE7C,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,SAAS,EAAE,GAAG,EAAE;YAC9C,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK;SACrC,CAAC,CAAC;QAEH,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;QACzC,OAAO,CAAC,GAAG,CAAC,gBAAgB,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC/C,OAAO,CAAC,GAAG,CAAC,gBAAgB,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9C,OAAO,CAAC,GAAG,CAAC,gBAAgB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,UAAU,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;QACpD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF,OAAO;KACJ,OAAO,CAAC,sBAAsB,CAAC;KAC/B,WAAW,CAAC,gCAAgC,CAAC;KAC7C,MAAM,CAAC,oBAAoB,EAAE,uCAAuC,EAAE,IAAI,CAAC;KAC3E,MAAM,CAAC,WAAW,EAAE,wCAAwC,CAAC;KAC7D,MAAM,CAAC,UAAU,EAAE,mCAAmC,CAAC;KACvD,MAAM,CAAC,YAAY,EAAE,sCAAsC,CAAC;KAC5D,MAAM,CAAC,gBAAgB,EAAE,8BAA8B,CAAC;KACxD,MAAM,CAAC,WAAW,EAAE,6CAA6C,CAAC;KAClE,MAAM,CAAC,iBAAiB,EAAE,uFAAuF,CAAC;KAClH,MAAM,CAAC,uBAAuB,EAAE,sEAAsE,CAAC;KACvG,MAAM,CAAC,wBAAwB,EAAE,gCAAgC,EAAE,UAAU,CAAC;KAC9E,MAAM,CAAC,yBAAyB,EAAE,wCAAwC,EAAE,aAAa,EAAE,EAAE,CAAC;KAC9F,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;IACpC,IAAI,CAAC;QACH,0EAA0E;QAC1E,IAAI,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;QAC1B,IAAI,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;QAChC,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,cAAc,EAAE,GAAG,UAAU,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACzD,QAAQ,GAAG,QAAQ,IAAI,cAAc,CAAC;YACtC,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,+BAA+B;QAC/D,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE;YACnC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK;YACL,QAAQ,EAAE,QAA0C;YACpD,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,MAAM,EAAE,OAAO,CAAC,KAAK;SACtB,CAAC,CAAC;QAGH,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACnB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,mFAAmF;YACnF,IAAI,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;oBAChC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;YAED,cAAc;YACd,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClB,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,2BAA2B;gBAC9C,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC7B,CAAC;YAED,aAAa;YACb,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjB,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBACxC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;YAED,+BAA+B;YAC/B,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBAClB,OAAO,CAAC,GAAG,CAAC,wBAAwB,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,UAAU,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO,CAAC,KAAK,CAAE,KAAe,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF,OAAO;KACJ,OAAO,CAAC,YAAY,CAAC;KACrB,WAAW,CAAC,uDAAuD,CAAC;KACpE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;KAClC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;IACxB,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAErE,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;YAClC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,UAAU,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;QACpD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,OAAO;KACJ,OAAO,CAAC,eAAe,CAAC;KACxB,WAAW,CAAC,gCAAgC,CAAC;KAC7C,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;KAClC,MAAM,CAAC,YAAY,EAAE,uCAAuC,CAAC;KAC7D,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;IACxB,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE;YACjD,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,CAAC,CAAC;QAEH,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;YACpC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;gBAC3B,OAAO,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC9B,OAAO,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;gBACrC,IAAI,OAAO,CAAC,QAAQ,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;oBACvC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;oBAC9B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;wBAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,OAAO,GAAG,CAAC;wBAC5E,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;oBAC5D,CAAC;oBACD,IAAI,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;wBACtB,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;wBACrC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;4BAC1B,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;wBAC7B,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,4BAA4B,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,UAAU,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;QACpD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF,SAAS,aAAa,CAAC,KAAa,EAAE,QAAgC;IACpE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,iBAAiB,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,EAAE,GAAG,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC;AAED,gBAAgB;AAChB,OAAO,CAAC,KAAK,EAAE,CAAC"}

package/dist/cli/mcp.d.ts

@@ -0,0 +1,56 @@
+/**
+ * DeepClause CLI - MCP (Model Context Protocol) Client Module
+ *
+ * Handles connections to MCP servers for tool discovery and execution.
+ *
+ * TODO: Full implementation requires @modelcontextprotocol/sdk package
+ * For now, this provides the interface and placeholder implementation.
+ */
+import type { MCPServer } from './config.js';
+import type { Tool } from './tools.js';
+import type { ChildProcess } from 'child_process';
+export interface MCPConnection {
+    server: MCPServer;
+    name: string;
+    process?: ChildProcess;
+    tools: Tool[];
+    connected: boolean;
+    error?: string;
+}
+export interface MCPToolCallResult {
+    success: boolean;
+    result?: unknown;
+    error?: string;
+}
+/**
+ * Connect to an MCP server and discover its tools
+ */
+export declare function connectMCPServer(name: string, config: MCPServer): Promise<MCPConnection>;
+/**
+ * Disconnect from an MCP server
+ */
+export declare function disconnectMCPServer(name: string): Promise<void>;
+/**
+ * Disconnect from all MCP servers
+ */
+export declare function disconnectAllMCPServers(): Promise<void>;
+/**
+ * Get tools from an MCP server
+ */
+export declare function getMCPServerTools(name: string, config: MCPServer): Promise<Tool[]>;
+/**
+ * Call a tool on an MCP server
+ */
+export declare function callMCPTool(serverName: string, toolName: string, _args: Record<string, unknown>): Promise<MCPToolCallResult>;
+/**
+ * Check if an MCP server is connected
+ */
+export declare function isMCPServerConnected(name: string): boolean;
+/**
+ * Get connection status for all servers
+ */
+export declare function getMCPServerStatus(): Map<string, {
+    connected: boolean;
+    error?: string;
+}>;
+//# sourceMappingURL=mcp.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mcp.d.ts","sourceRoot":"","sources":["../../src/cli/mcp.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAMlD,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,SAAS,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,SAAS,EAAE,OAAO,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAWD;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,SAAS,GAChB,OAAO,CAAC,aAAa,CAAC,CA+CxB;AAED;;GAEG;AACH,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAUrE;AAED;;GAEG;AACH,wBAAsB,uBAAuB,IAAI,OAAO,CAAC,IAAI,CAAC,CAI7D;AAED;;GAEG;AACH,wBAAsB,iBAAiB,CACrC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,SAAS,GAChB,OAAO,CAAC,IAAI,EAAE,CAAC,CAajB;AAED;;GAEG;AACH,wBAAsB,WAAW,CAC/B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,OAAO,CAAC,iBAAiB,CAAC,CAiB5B;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE1D;AAED;;GAEG;AACH,wBAAgB,kBAAkB,IAAI,GAAG,CAAC,MAAM,EAAE;IAAE,SAAS,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAWxF"}

package/dist/cli/mcp.js

@@ -0,0 +1,138 @@
+/**
+ * DeepClause CLI - MCP (Model Context Protocol) Client Module
+ *
+ * Handles connections to MCP servers for tool discovery and execution.
+ *
+ * TODO: Full implementation requires @modelcontextprotocol/sdk package
+ * For now, this provides the interface and placeholder implementation.
+ */
+// =============================================================================
+// MCP Client (Placeholder Implementation)
+// =============================================================================
+/**
+ * Active MCP connections
+ */
+const connections = new Map();
+/**
+ * Connect to an MCP server and discover its tools
+ */
+export async function connectMCPServer(name, config) {
+    // Check if already connected
+    const existing = connections.get(name);
+    if (existing?.connected) {
+        return existing;
+    }
+    const connection = {
+        server: config,
+        name,
+        tools: [],
+        connected: false
+    };
+    try {
+        // TODO: Implement actual MCP protocol connection
+        // This would involve:
+        // 1. Spawn process using config.command and config.args
+        // 2. Communicate via stdin/stdout (stdio transport)
+        // 3. Send initialize request
+        // 4. Query tools/list
+        // 5. Parse and store tool schemas
+        // Placeholder: Would spawn the process
+        console.warn(`[MCP] Server '${name}' connection not yet implemented`);
+        console.warn(`[MCP] Would run: ${config.command} ${config.args?.join(' ') || ''}`);
+        // In real implementation:
+        // const { spawn } = await import('child_process');
+        // const proc = spawn(config.command, config.args || [], {
+        //   env: { ...process.env, ...config.env },
+        //   stdio: ['pipe', 'pipe', 'pipe']
+        // });
+        // connection.process = proc;
+        // await sendInitialize(proc);
+        // connection.tools = await queryTools(proc);
+        connection.connected = true;
+        connections.set(name, connection);
+        return connection;
+    }
+    catch (error) {
+        connection.error = error.message;
+        connection.connected = false;
+        connections.set(name, connection);
+        throw error;
+    }
+}
+/**
+ * Disconnect from an MCP server
+ */
+export async function disconnectMCPServer(name) {
+    const connection = connections.get(name);
+    if (!connection)
+        return;
+    if (connection.process) {
+        connection.process.kill();
+    }
+    connection.connected = false;
+    connections.delete(name);
+}
+/**
+ * Disconnect from all MCP servers
+ */
+export async function disconnectAllMCPServers() {
+    for (const name of connections.keys()) {
+        await disconnectMCPServer(name);
+    }
+}
+/**
+ * Get tools from an MCP server
+ */
+export async function getMCPServerTools(name, config) {
+    try {
+        const connection = await connectMCPServer(name, config);
+        return connection.tools;
+    }
+    catch (error) {
+        // Return empty array with error marker
+        return [{
+                name: `[${name}]`,
+                description: `Connection failed: ${error.message}`,
+                provider: name,
+                error: error.message
+            }];
+    }
+}
+/**
+ * Call a tool on an MCP server
+ */
+export async function callMCPTool(serverName, toolName, _args) {
+    const connection = connections.get(serverName);
+    if (!connection?.connected) {
+        return {
+            success: false,
+            error: `MCP server '${serverName}' not connected`
+        };
+    }
+    // TODO: Implement actual tool call via MCP protocol
+    // This would send a tools/call request and parse the response
+    return {
+        success: false,
+        error: `MCP tool calls not yet implemented (would call ${toolName} on ${serverName})`
+    };
+}
+/**
+ * Check if an MCP server is connected
+ */
+export function isMCPServerConnected(name) {
+    return connections.get(name)?.connected ?? false;
+}
+/**
+ * Get connection status for all servers
+ */
+export function getMCPServerStatus() {
+    const status = new Map();
+    for (const [name, conn] of connections) {
+        status.set(name, {
+            connected: conn.connected,
+            error: conn.error
+        });
+    }
+    return status;
+}
+//# sourceMappingURL=mcp.js.map

package/dist/cli/mcp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mcp.js","sourceRoot":"","sources":["../../src/cli/mcp.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAyBH,gFAAgF;AAChF,0CAA0C;AAC1C,gFAAgF;AAEhF;;GAEG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;AAErD;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAAY,EACZ,MAAiB;IAEjB,6BAA6B;IAC7B,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,QAAQ,EAAE,SAAS,EAAE,CAAC;QACxB,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,UAAU,GAAkB;QAChC,MAAM,EAAE,MAAM;QACd,IAAI;QACJ,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,KAAK;KACjB,CAAC;IAEF,IAAI,CAAC;QACH,iDAAiD;QACjD,sBAAsB;QACtB,wDAAwD;QACxD,oDAAoD;QACpD,6BAA6B;QAC7B,sBAAsB;QACtB,kCAAkC;QAElC,uCAAuC;QACvC,OAAO,CAAC,IAAI,CAAC,iBAAiB,IAAI,kCAAkC,CAAC,CAAC;QACtE,OAAO,CAAC,IAAI,CAAC,oBAAoB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAEnF,0BAA0B;QAC1B,mDAAmD;QACnD,0DAA0D;QAC1D,4CAA4C;QAC5C,oCAAoC;QACpC,MAAM;QACN,6BAA6B;QAC7B,8BAA8B;QAC9B,6CAA6C;QAE7C,UAAU,CAAC,SAAS,GAAG,IAAI,CAAC;QAC5B,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAClC,OAAO,UAAU,CAAC;IAEpB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,UAAU,CAAC,KAAK,GAAI,KAAe,CAAC,OAAO,CAAC;QAC5C,UAAU,CAAC,SAAS,GAAG,KAAK,CAAC;QAC7B,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAClC,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,IAAY;IACpD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,UAAU;QAAE,OAAO;IAExB,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;QACvB,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAC5B,CAAC;IAED,UAAU,CAAC,SAAS,GAAG,KAAK,CAAC;IAC7B,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB;IAC3C,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,MAAM,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,IAAY,EACZ,MAAiB;IAEjB,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxD,OAAO,UAAU,CAAC,KAAK,CAAC;IAC1B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,uCAAuC;QACvC,OAAO,CAAC;gBACN,IAAI,EAAE,IAAI,IAAI,GAAG;gBACjB,WAAW,EAAE,sBAAuB,KAAe,CAAC,OAAO,EAAE;gBAC7D,QAAQ,EAAE,IAAI;gBACd,KAAK,EAAG,KAAe,CAAC,OAAO;aAChC,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,UAAkB,EAClB,QAAgB,EAChB,KAA8B;IAE9B,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAE/C,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC;QAC3B,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,eAAe,UAAU,iBAAiB;SAClD,CAAC;IACJ,CAAC;IAED,oDAAoD;IACpD,8DAA8D;IAE9D,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,kDAAkD,QAAQ,OAAO,UAAU,GAAG;KACtF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,OAAO,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,IAAI,KAAK,CAAC;AACnD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB;IAChC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkD,CAAC;IAEzE,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;YACf,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/cli/prompt.d.ts

@@ -0,0 +1,20 @@
+/**
+ * DeepClause CLI - MD to DML Conversion Prompt
+ *
+ * Contains the base prompt template for converting Markdown task descriptions to DML.
+ */
+import { Tool } from './tools.js';
+export declare const DML_CONVERSION_PROMPT = "# Markdown to DML Conversion Prompt\n\nYou are an expert DML (DeepClause Meta Language) programmer. Your task is to convert \nnatural language task descriptions written in Markdown into executable DML programs.\n\n## Tool Types in DML\n\nThere are two kinds of tools in DML:\n\n### 1. DML Tool Wrappers (via `tool/3`)\nThese are predicates you define in DML using the `tool/3` syntax. They are pure DML logic \nand typically wrap one or more external tools for convenience or composition. They are \n**not** registered as external dependencies.\n\n```prolog\ntool(search(Query, Results), \"Search the web for information\") :-\n    exec(web_search(query: Query), Results).\n```\n\n### 2. External Tools (MCP/AgentVM)\nThese are provided by the runtime (via MCP servers or built-in AgentVM) and are invoked \ndirectly with `exec/2`. Only these are registered as dependencies in the meta file.\n\n## Available External Tools\n\n{TOOLS_TABLE}\n\n**Note:** Only tools invoked via `exec/2` that correspond to external MCP or AgentVM \ntools are registered as dependencies. DML tool wrappers are not registered unless they \ncall external tools.\n\n## DML Language Overview\n\nDML is a simplified Prolog dialect designed for AI agent programming. It combines \ndeclarative logic programming with LLM-powered task execution.\n\n### Program Structure\n\nEvery DML program must have an `agent_main` entry point that accepts 0+ arguments:\n\n```prolog\n% No arguments\nagent_main :- ...\n\n% One argument\nagent_main(Topic) :- ...\n\n% Two arguments (alphabetical order for dict unpacking)\nagent_main(MaxResults, Topic) :- ...\n```\n\n### Core Predicates\n\n#### Task Execution\n\n| Predicate | Description |\n|-----------|-------------|\n| `task(Description)` | Execute an LLM task with accumulated memory |\n| `task(Description, Var)` | Execute task, bind result to Var |\n| `task(Description, Var1, Var2)` | Execute task, bind two results |\n| `task(Description, Var1, Var2, Var3)` | Execute task, bind three results |\n\n**Important:** Variable names in the description must match the Prolog variables:\n```prolog\ntask(\"Analyze this and store the result in Summary.\", Summary)\n```\n\n#### Fresh LLM Calls (No Memory)\n\n| Predicate | Description |\n|-----------|-------------|\n| `prompt(Description)` | Execute LLM with **empty memory** (fresh context) |\n| `prompt(Description, Var)` | Fresh LLM call, bind result to Var |\n| `prompt(Description, Var1, Var2)` | Fresh LLM call, bind two results |\n| `prompt(Description, Var1, Var2, Var3)` | Fresh LLM call, bind three results |\n\n**When to use `prompt()` vs `task()`:**\n- Use `task()` when you want the LLM to have context from previous `system()`, `user()`, and `task()` calls\n- Use `prompt()` when you want a completely fresh LLM call without any prior conversation context\n\n```prolog\nagent_main :-\n    system(\"You are a helpful assistant.\"),\n    task(\"What is 2+2?\"),  % LLM sees the system message\n    prompt(\"What is 3+3?\"). % LLM does NOT see any prior context\n```\n\n#### Direct Tool Execution\n\n| Predicate | Description |\n|-----------|-------------|\n| `exec(Tool, Result)` | Execute external tool directly |\n\n```prolog\nexec(web_search(query: \"AI news\"), Results)\nexec(vm_exec(command: \"echo hello\"), Result)\n```\n\n**Important:** `vm_exec` returns a dict with `stdout`, `stderr`, and `exitCode` fields.\nUse `get_dict/3` to extract values:\n```prolog\nexec(vm_exec(command: \"echo hello\"), Result),\nget_dict(stdout, Result, Output),\noutput(Output).\n```\n\n**VM Working Directory:** The VM starts with the working directory set to `/workspace`, which is \nmounted to your actual workspace. Files are directly accessible:\n```prolog\nexec(vm_exec(command: \"cat README.md\"), Result),  % Reads workspace/README.md\nget_dict(stdout, Result, Content).\n```\n\n#### Memory Management\n\n| Predicate | Description |\n|-----------|-------------|\n| `system(Text)` | Add system message (LLM instructions) |\n| `user(Text)` | Add user message to context |\n| `push_context` | Save memory state (for isolation) |\n| `push_context(clear)` | Save and clear memory |\n| `pop_context` | Restore previous memory state |\n| `clear_memory` | Clear all accumulated memory |\n\n**Note:** Memory is automatically restored on backtracking, so `push_context`/`pop_context` \nare primarily useful for manual isolation within a clause.\n\n#### Output\n\n| Predicate | Description |\n|-----------|-------------|\n| `output(Text)` | Emit progress/intermediate output |\n| `yield(Text)` | Alias for output/1 |\n| `log(Text)` | Emit debug/log message |\n| `answer(Text)` | Emit final answer (commits execution) |\n\n#### Tool Definitions\n\nDefine tools that the LLM can call during `task()`:\n\n```prolog\n% Tool wrapper (description is second arg, body calls exec)\ntool(search(Query, Results), \"Search the web for information\") :-\n    exec(web_search(query: Query), Results).\n```\n#### Using `task()` and `prompt()` Inside Tools\n\nTools can use `task()` or `prompt()` internally to combine Prolog logic with LLM reasoning:\n\n```prolog\n% A tool that computes then explains\ntool(explain_calculation(A, B, Explanation), \"Calculate and explain the result\") :-\n    Sum is A + B,  % Prolog computation\n    format(string(Desc), \"Explain ~w + ~w = ~w to a child\", [A, B, Sum]),\n    task(Desc, Explanation).  % LLM explanation\n```\n\n**Memory Isolation:** Nested `task()` calls inside tools run with **fresh memory** - they \ndo NOT have access to the parent's accumulated memory. If you need context, either:\n1. Pass it as a tool argument\n2. Add it explicitly with `system()` inside the tool\n\n```prolog\n% Pass context explicitly as an argument\ntool(analyze_with_context(Context, Data, Result), \"Analyze data with given context\") :-\n    system(Context),  % Add context to this tool's memory\n    format(string(Desc), \"Analyze: ~w\", [Data]),\n    task(Desc, Result).\n```\n\n**Automatic Recursion Prevention:** When `task()` runs inside a tool, the nested agent \ncannot call the tool that is currently executing. This prevents infinite recursion.\n\n#### Tool Scoping\n\nControl which tools are available to nested `task()` calls:\n\n| Predicate | Description |\n|-----------|-------------|\n| `with_tools(ToolList, Goal)` | Run Goal with only specified tools available |\n| `without_tools(ToolList, Goal)` | Run Goal excluding specified tools |\n\n```prolog\n% Only allow search tool in nested task\ntool(safe_research(Topic, Result), \"Research with limited tools\") :-\n    with_tools([search], (\n        format(string(Desc), \"Research ~w using search\", [Topic]),\n        task(Desc, Result)\n    )).\n\n% Exclude expensive tools from nested task  \ntool(cheap_task(Input, Output), \"Process without expensive tools\") :-\n    without_tools([expensive_api], (\n        task(\"Process {Input} cheaply\", Output)\n    )).\n```\n#### Built-in Agent Tools\n\nDuring `task()` execution, the LLM has access to these built-in tools:\n\n| Tool | Description |\n|------|-------------|\n| `store(variable, value)` | Store a result in an output variable |\n| `ask_user(prompt)` | Ask the user for input or clarification |\n| `finish(success)` | Complete the task |\n\n**Important:** If your task might need user input (clarification, choices, confirmation), \nyou should define an `ask_user` tool wrapper so the LLM can request input:\n\n```prolog\n% Define ask_user wrapper so LLM can request user input during task()\ntool(ask_user(Prompt, Response), \"Ask the user a question and get their response\") :-\n    exec(ask_user(prompt: Prompt), Result),\n    get_dict(user_response, Result, Response).\n```\n\n### String Interpolation\n\nDML supports **automatic string interpolation** using `{Variable}` syntax in task descriptions \nand output predicates. This is the preferred method:\n\n```prolog\nagent_main(Topic) :-\n    task(\"Research the topic: {Topic}\"),\n    output(\"Finished researching {Topic}\"),\n    answer(\"Done\").\n```\n\n**IMPORTANT:** Never mix `{Variable}` interpolation with `format/3`. Choose one approach:\n\n**Option 1: String Interpolation (preferred for simple cases)**\n```prolog\n% Variables are automatically substituted\ntask(\"Analyze {Data} and summarize in Summary.\", Summary),\noutput(\"Analysis complete for {Data}\")\n```\n\n**Option 2: format/3 for complex string building (Prolog-style)**\n```prolog\n% format/3 writes to a string variable - use ~w for terms, ~s for strings\nformat(string(Message), \"Found ~d results for query: ~w\", [Count, Query]),\noutput(Message)\n```\n\n**WRONG - Never do this:**\n```prolog\n% DON'T mix interpolation and format\noutput(format(\"Value: {X}\", [X]))  % WRONG! format doesn't return a value\n\n% DON'T use {Var} inside format strings\nformat(string(S), \"Topic: {Topic}\", [])  % WRONG! Use ~w instead\n```\n\n### Control Flow\n\n```prolog\n% Conjunction (and)\ngoal1, goal2, goal3\n\n% Disjunction (or)\n(goal1 ; goal2)\n\n% If-then-else\n(Condition -> Then ; Else)\n\n% Negation as failure\n\\+ goal\n\n% Cut (commit to this branch)\n!\n\n% Exception handling\ncatch(Goal, Error, Recovery)\nthrow(some_error)\n```\n\n### Backtracking\n\nDML supports full Prolog backtracking across LLM calls:\n\n```prolog\n% Try multiple approaches\nagent_main :-\n    (   try_approach_1\n    ;   try_approach_2  % Falls back if first fails\n    ;   fallback_approach\n    ),\n    answer(\"Done\").\n```\n\n### List Processing\n\n```prolog\n% Recursive list processing\nprocess_items([]).\nprocess_items([H|T]) :-\n    process_one(H),\n    process_items(T).\n\n% Using findall\nfindall(X, some_condition(X), Results)\n\n% Using maplist\nmaplist(process_one, Items)\n```\n\n---\n\n## Common Patterns\n\n### Pattern 1: Simple Task Agent\n```prolog\nagent_main(Topic) :-\n    system(\"You are a helpful research assistant.\"),\n    task(\"Research {Topic} and provide a comprehensive summary.\"),\n    answer(\"Research complete!\").\n```\n\n### Pattern 2: Multi-Step Workflow\n```prolog\nagent_main(Topic) :-\n    system(\"You are a thorough research assistant.\"),\n    \n    output(\"Step 1: Gathering information...\"),\n    task(\"Search for recent information about {Topic}. Store findings in Findings.\", Findings),\n    \n    output(\"Step 2: Analyzing...\"),\n    task(\"Analyze these findings: {Findings}. Store your analysis in Analysis.\", Analysis),\n    \n    output(\"Step 3: Generating report...\"),\n    task(\"Create a comprehensive report based on this analysis: {Analysis}\"),\n    \n    answer(\"Report generated!\").\n```\n\n### Pattern 3: Tool-Enabled Agent\n```prolog\ntool(search(Query, Results), \"Search the web\") :-\n    exec(web_search(query: Query), Results).\n\nagent_main(Topic) :-\n    system(\"You are a research assistant with web search. Use the search tool.\"),\n    task(\"Research {Topic} using available tools.\"),\n    answer(\"Research complete!\").\n```\n\n### Pattern 3b: Tool with Nested LLM Call\n```prolog\n% A tool that uses LLM to analyze search results\ntool(smart_search(Query, Summary), \"Search and summarize results\") :-\n    exec(web_search(query: Query), Results),\n    format(string(Desc), \"Summarize these search results: ~w\", [Results]),\n    task(Desc, Summary).  % Nested task CANNOT call smart_search (recursion prevention)\n\nagent_main(Topic) :-\n    system(\"Use smart_search to research topics.\"),\n    task(\"Research {Topic}.\"),\n    answer(\"Done!\").\n```\n\n### Pattern 4: Code Execution (Use Sparingly!)\n```prolog\n% ONLY use exec/Python when you need:\n% - External packages (pandas, numpy, etc.)\n% - Shell commands (find, grep, sed, awk, curl)\n% - Complex imperative logic that's awkward in Prolog\n%\n% NOTE: vm_exec returns a dict with stdout, stderr, exitCode - use get_dict to extract\n% NOTE: The VM starts in /workspace which is your actual workspace directory\n\nagent_main(Task) :-\n    system(\"You are a coding assistant.\"),\n    \n    task(\"Write Python code to solve: {Task}. Store only the code in Code.\", Code),\n    \n    % Write code to a file in the workspace (VM cwd is /workspace)\n    open('script.py', write, S),\n    write(S, Code),\n    close(S),\n    \n    output(\"Executing code...\"),\n    exec(vm_exec(command: \"python3 script.py\"), Result),  % Runs in /workspace\n    get_dict(stdout, Result, Output),\n    \n    task(\"Explain this execution result: {Output}\"),\n    \n    answer(\"Done!\").\n```\n\n### Pattern 5: Data Analysis with VM\n```prolog\n% Good use of exec: requires pandas package\n% NOTE: vm_exec returns a dict - use get_dict to extract stdout\nagent_main(CsvPath, Question) :-\n    system(\"You are a data analyst.\"),\n    \n    output(\"Setting up environment...\"),\n    exec(vm_exec(command: \"pip install pandas\"), _),\n    \n    output(\"Analyzing data...\"),\n    task(\"Write Python code to load {CsvPath} with pandas and answer: {Question}. Store only the code in Code.\", Code),\n    \n    % Write code to file and execute\n    open('analysis.py', write, S),\n    write(S, Code),\n    close(S),\n    exec(vm_exec(command: \"python3 analysis.py\"), Result),\n    get_dict(stdout, Result, Output),\n    \n    task(\"Interpret and explain these analysis results: {Output}\"),\n    \n    answer(\"Analysis complete!\").\n```\n\n### Pattern 6: File I/O (Use Prolog, NOT Python!)\n```prolog\n% GOOD: Use Prolog's native file I/O\nagent_main(Content) :-\n    task(\"Generate a report about {Content}. Store in Report.\", Report),\n    \n    % Write to file using Prolog (not Python!)\n    open('output.md', write, Stream),\n    write(Stream, Report),\n    close(Stream),\n    \n    answer(\"Report saved to output.md\").\n\n% Build filename from parts\nagent_main(Name, Content) :-\n    task(\"Generate content about {Name}. Store in Text.\", Text),\n    \n    % Construct filename using atom operations\n    atom_string(NameAtom, Name),\n    atom_concat(NameAtom, '_report.md', FilenameAtom),\n    atom_string(FilenameAtom, Filename),\n    \n    open(Filename, write, Stream),\n    write(Stream, Text),\n    close(Stream),\n    \n    output(\"Saved to {Filename}\"),\n    answer(\"Done!\").\n```\n\n### Pattern 7: Using format/3 for Complex Strings\n```prolog\n% When you need to build strings with numbers or complex formatting\nagent_main(Items) :-\n    length(Items, Count),\n    format(string(StatusMsg), \"Processing ~d items\", [Count]),\n    output(StatusMsg),\n    \n    process_all(Items),\n    \n    format(string(DoneMsg), \"Completed processing ~d items successfully\", [Count]),\n    answer(DoneMsg).\n```\n\n### Pattern 8: Interactive Agent (User Input)\n```prolog\n% When the task may need user clarification or choices\n% Define ask_user wrapper so LLM can interact with user\ntool(ask_user(Prompt, Response), \"Ask the user a question\") :-\n    exec(ask_user(prompt: Prompt), Result),\n    get_dict(user_response, Result, Response).\n\nagent_main(Task) :-\n    system(\"You are a helpful assistant. If you need clarification, use the ask_user tool.\"),\n    \n    task(\"Help the user with: {Task}. If anything is unclear, ask for clarification.\"),\n    \n    answer(\"Task completed!\").\n```\n\n### Pattern 9: Error Handling with catch/throw\n```prolog\n% Safe tool call with error recovery\nagent_main(Query) :-\n    catch(\n        (\n            exec(web_search(query: Query), Results),\n            task(\"Summarize: {Results}\")\n        ),\n        Error,\n        (\n            format(string(ErrMsg), \"Search failed: ~w. Proceeding without search.\", [Error]),\n            output(ErrMsg),\n            task(\"Answer based on your knowledge: {Query}\")\n        )\n    ),\n    answer(\"Done!\").\n```\n\n### Pattern 10: Fresh Context with prompt()\n```prolog\n% Use prompt() for independent sub-tasks that shouldn't share context\nagent_main(Topic) :-\n    system(\"You are a research assistant.\"),\n    \n    % Main research with accumulated context\n    task(\"Research {Topic} deeply.\", MainFindings),\n    \n    % Independent critique - fresh context, no bias from main research\n    prompt(\"As a skeptical reviewer, critique this research: {MainFindings}. Store critique in Critique.\", Critique),\n    \n    % Back to main context for final synthesis\n    task(\"Address this critique: {Critique}\"),\n    \n    answer(\"Research complete with peer review!\").\n```\n\n---\n\n## When to Use exec() vs Prolog\n\n### Use Prolog Native Functionality For:\n- **File I/O**: `open/3`, `write/2`, `read/2`, `close/1`\n- **String manipulation**: `atom_concat/3`, `atom_string/2`, `split_string/4`\n- **List operations**: `append/3`, `member/2`, `findall/3`, `maplist/2`\n- **Arithmetic**: `is/2`, comparison operators\n- **Logic and control flow**: conjunctions, disjunctions, conditionals\n\n### Use exec() ONLY For:\n- **External packages**: pandas, numpy, requests, matplotlib, etc.\n- **Shell commands**: find, grep, sed, awk, curl, git\n- **System operations**: environment variables, process management\n- **Complex imperative logic**: loops with side effects, mutable state\n\n### BAD Example - Unnecessary Python:\n```prolog\n% DON'T do this - Python for simple file writing\nexec(vm_exec(command: \"python3 -c \"open('out.txt','w').write('hello')\"\"), _)\n```\n\n### GOOD Example - Use Prolog:\n```prolog\n% DO this instead - native Prolog file I/O\nopen('out.txt', write, S),\nwrite(S, Content),\nclose(S)\n```\n\n---\n\n## Conversion Guidelines\n\n1. **Identify the core task** - What is the primary goal?\n2. **Determine parameters** - What inputs does the agent need?\n3. **Map to patterns** - Which DML pattern best fits?\n4. **Prefer Prolog native operations** - Use Prolog for file I/O, strings, lists\n5. **Use exec() sparingly** - Only for packages, shell commands, imperative logic\n6. **Define required tools** - What external capabilities are needed?\n7. **Handle edge cases** - Add fallbacks and error handling\n8. **Add progress output** - Keep users informed with `output/1`\n9. **Add ask_user wrapper** - If the task might need user input, clarification, or choices\n\n## CRITICAL: String Handling Rules\n\n**NEVER do any of these:**\n- `output(format(...))` - format/3 doesn't return a value, it binds to first arg\n- `answer(format(...))` - same issue\n- Mixing `{Var}` and `~w` in the same string\n- Using `{Var}` inside format/3 format strings\n\n**DO this instead:**\n- Use `{Variable}` interpolation directly: `output(\"Processing {Item}\")`\n- Or use format/3 properly: `format(string(Msg), \"Count: ~d\", [N]), output(Msg)`\n\n## CRITICAL: Prolog vs exec() Rules\n\n**Use Prolog for:**\n- File I/O: `open/3`, `write/2`, `close/1`\n- String building: `atom_concat/3`, `atom_string/2`\n- All standard logic and data manipulation\n\n**Use exec() ONLY for:**\n- External packages (pandas, numpy)\n- Shell commands (grep, curl, find)\n- Complex imperative tasks\n\n## Output Requirements\n\nYour DML output must:\n\n1. Start with a comment header describing the program\n2. Define any tool wrappers needed with `tool/3`\n3. **If the task may need user input, define an `ask_user` tool wrapper**\n4. Have a single `agent_main` entry point\n5. Use appropriate system prompts\n6. Include progress outputs for long-running tasks\n7. End with `answer/1` to signal completion\n8. Handle stated edge cases\n9. **Only use tools from the Available External Tools list**\n10. **Use ONLY {Variable} interpolation OR format/3, never mix them**\n11. **NEVER pass format(...) directly to output/1 or answer/1**\n12. **Use Prolog native file I/O, NOT Python exec() for simple file operations**\n\nOutput ONLY the DML code, no explanations or markdown code fences.\n";
+/**
+ * Build the tools table for the prompt
+ */
+export declare function buildToolsTable(tools: Tool[]): string;
+/**
+ * Build the complete compilation prompt with tools injected
+ */
+export declare function buildCompilationPrompt(tools: Tool[]): string;
+/**
+ * Build the user message containing the markdown to convert
+ */
+export declare function buildUserMessage(markdown: string): string;
+//# sourceMappingURL=prompt.d.ts.map

package/dist/cli/prompt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt.d.ts","sourceRoot":"","sources":["../../src/cli/prompt.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAMlC,eAAO,MAAM,qBAAqB,svmBAslBjC,CAAC;AAMF;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,CAsCrD;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,CAG5D;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAUzD"}