@plures/praxis 1.2.41 → 1.4.0

package/dist/node/cli/index.js

@@ -687,6 +687,25 @@ cloudCmd.command("usage").description("View cloud usage metrics").action(async (
     process.exit(1);
   }
 });
+program.command("mcp").description("Start the Praxis MCP server (Model Context Protocol) for AI assistant integration").option("--name <name>", "Server name", "@plures/praxis").option("--version <version>", "Server version", "1.0.0").action(async (options) => {
+  try {
+    const { createPraxisMcpServer } = await import("../server-SYZPDULV.js");
+    const { PraxisRegistry } = await import("../rules-4DAJ4Z4N.js");
+    const registry = new PraxisRegistry({
+      compliance: { enabled: false }
+    });
+    const server = createPraxisMcpServer({
+      name: options.name,
+      version: options.version,
+      initialContext: {},
+      registry
+    });
+    await server.start();
+  } catch (error) {
+    console.error("Error starting MCP server:", error);
+    process.exit(1);
+  }
+});
 program.command("verify <type>").description("Verify project implementation (e.g., implementation)").option("-d, --detailed", "Show detailed analysis").action(async (type, options) => {
   try {
     const { verify } = await import("../verify-7VZRP2WS.js");
@@ -698,7 +717,7 @@ program.command("verify <type>").description("Verify project implementation (e.g
 });
 program.command("validate").description("Validate contract coverage for rules and constraints").option("--output <format>", "Output format (console, json, sarif)", "console").option("--strict", "Exit with error if contracts are missing", false).option("--registry <path>", "Path to registry module").option("--tests", "Check for tests for each rule/constraint", true).option("--spec", "Check for specs for each rule/constraint", true).option("--emit-facts", "Emit ContractMissing facts JSON payload", false).option("--gap-output <file>", "Write contract-gap payload to file").option("--ledger <dir>", "Write logic ledger snapshots to directory").option("--author <name>", "Author name for ledger entries", "system").action(async (options) => {
   try {
-    const { validateCommand } = await import("../validate-EN3M4FUR.js");
+    const { validateCommand } = await import("../validate-TQGVIG7G.js");
     await validateCommand(options);
   } catch (error) {
     console.error("Error validating contracts:", error);
@@ -707,7 +726,7 @@ program.command("validate").description("Validate contract coverage for rules an
 });
 program.command("reverse").description("Reverse engineer contracts from existing codebase").option("-d, --dir <path>", "Root directory to scan", process.cwd()).option("--ai <provider>", "AI provider (none, github-copilot, openai, auto)", "none").option("-o, --output <dir>", "Output directory for contracts", "./contracts").option("--ledger", "Write to logic ledger", false).option("--dry-run", "Dry run mode (no files written)", false).option("-i, --interactive", "Interactive mode (prompt for each)", false).option("--confidence <threshold>", "Confidence threshold (0.0-1.0)", "0.7").option("--limit <n>", "Max number of rules to process").option("--author <name>", "Author name for ledger entries", "reverse-engineer").option("--format <format>", "Output format (json, yaml)", "json").action(async (options) => {
   try {
-    const { reverseCommand } = await import("../reverse-W7THPV45.js");
+    const { reverseCommand } = await import("../reverse-YD3CWIGM.js");
     await reverseCommand(options);
   } catch (error) {
     console.error("Error reverse engineering contracts:", error);

package/dist/node/cloud/index.d.cts

@@ -1,4 +1,4 @@
-import { b as PraxisFact, a as PraxisEvent } from '../protocol-BocKczNv.cjs';
+import { b as PraxisFact, a as PraxisEvent } from '../protocol-DcyGMmWY.cjs';
 
 /**
  * Cloud Relay Types

package/dist/node/cloud/index.d.ts

@@ -1,4 +1,4 @@
-import { b as PraxisFact, a as PraxisEvent } from '../protocol-BocKczNv.js';
+import { b as PraxisFact, a as PraxisEvent } from '../protocol-DcyGMmWY.js';
 
 /**
  * Cloud Relay Types

package/dist/node/{engine-7CXQV6RC.js → engine-FEN5IYZ5.js}

@@ -1,7 +1,7 @@
 import {
   LogicEngine,
   createPraxisEngine
-} from "./chunk-BBP2F7TT.js";
+} from "./chunk-KMJWAFZV.js";
 import "./chunk-QGM4M3NI.js";
 export {
   LogicEngine,