@kasarlabs/scarb-mcp 0.1.0

package/build/tools/prove.d.ts

@@ -0,0 +1,28 @@
+import { z } from 'zod';
+import { proveProgramSchema } from '../schemas/index.js';
+export declare const proveProgram: (params: z.infer<typeof proveProgramSchema>) => Promise<{
+    status: string;
+    message: string;
+    proofPath: string;
+    result: {
+        status: string;
+        message: string;
+        proofPath: string;
+        output: string;
+        error: string | undefined;
+    };
+    projectPath: string;
+    errors?: undefined;
+    metadata?: undefined;
+} | {
+    status: string;
+    errors: string[];
+    metadata: {
+        error_type: string;
+        needs_exact_forwarding: boolean;
+    };
+    message?: undefined;
+    proofPath?: undefined;
+    result?: undefined;
+    projectPath?: undefined;
+}>;

package/build/tools/prove.js

@@ -0,0 +1,41 @@
+import { checkScarbInstalled, cleanProject, formatCompilationError, } from '../lib/utils/index.js';
+import { proveProject } from '../lib/utils/workspace.js';
+import { exec } from 'child_process';
+import { promisify } from 'util';
+import * as path from 'path';
+const execPromise = promisify(exec);
+export const proveProgram = async (params) => {
+    let projectDir = '';
+    try {
+        await checkScarbInstalled();
+        const result = await proveProject({
+            projectDir: params.path || process.cwd(),
+            executionId: params.executionId.toString(),
+        });
+        const fullPath = path.join(projectDir, result.proofPath);
+        return {
+            status: 'success',
+            message: 'Program proved successfully',
+            proofPath: fullPath,
+            result: result,
+            projectPath: projectDir,
+        };
+    }
+    catch (error) {
+        const errors = formatCompilationError(error);
+        return {
+            status: 'failure',
+            errors: errors,
+            metadata: {
+                error_type: 'proving_error',
+                needs_exact_forwarding: true,
+            },
+        };
+    }
+    finally {
+        if (projectDir) {
+            await cleanProject(projectDir);
+        }
+    }
+};
+//# sourceMappingURL=prove.js.map

package/build/tools/prove.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prove.js","sourceRoot":"","sources":["../../src/tools/prove.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AACjC,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAE7B,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;AAOpC,MAAM,CAAC,MAAM,YAAY,GAAG,KAAK,EAC/B,MAA0C,EAC1C,EAAE;IACF,IAAI,UAAU,GAAG,EAAE,CAAC;IAEpB,IAAI,CAAC;QACH,MAAM,mBAAmB,EAAE,CAAC;QAE5B,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC;YAChC,UAAU,EAAE,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,EAAE;YACxC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE;SAC3C,CAAC,CAAC;QAEH,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAEzD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,6BAA6B;YACtC,SAAS,EAAE,QAAQ;YACnB,MAAM,EAAE,MAAM;YACd,WAAW,EAAE,UAAU;SACxB,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE;gBACR,UAAU,EAAE,eAAe;gBAC3B,sBAAsB,EAAE,IAAI;aAC7B;SACF,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,YAAY,CAAC,UAAU,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}

package/build/tools/verify.d.ts

@@ -0,0 +1,20 @@
+import { z } from 'zod';
+import { verifyProgramSchema } from '../schemas/index.js';
+export declare const verifyProgram: (params: z.infer<typeof verifyProgramSchema>) => Promise<{
+    status: string;
+    message: string;
+    result: {
+        status: string;
+        message: string;
+        output: string;
+        error: string | undefined;
+    };
+    projectPath: string | undefined;
+    error?: undefined;
+} | {
+    status: string;
+    message: string;
+    error: any;
+    result?: undefined;
+    projectPath?: undefined;
+}>;

package/build/tools/verify.js

@@ -0,0 +1,25 @@
+import { checkScarbInstalled } from '../lib/utils/index.js';
+import { verifyProject } from '../lib/utils/workspace.js';
+export const verifyProgram = async (params) => {
+    try {
+        await checkScarbInstalled();
+        const result = await verifyProject({
+            projectDir: params.path || process.cwd(),
+            proofPath: params.proofFile,
+        });
+        return {
+            status: 'success',
+            message: 'Program verification completed',
+            result: result,
+            projectPath: params.path,
+        };
+    }
+    catch (error) {
+        return {
+            status: 'failure',
+            message: `Verification failed: ${error.message}`,
+            error: error.message,
+        };
+    }
+};
+//# sourceMappingURL=verify.js.map

package/build/tools/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/tools/verify.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAU1D,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,EAChC,MAA2C,EAC3C,EAAE;IACF,IAAI,CAAC;QACH,MAAM,mBAAmB,EAAE,CAAC;QAE5B,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC;YACjC,UAAU,EAAE,MAAM,CAAC,IAAI,IAAK,OAAO,CAAC,GAAG,EAAa;YACpD,SAAS,EAAE,MAAM,CAAC,SAAmB;SACtC,CAAC,CAAC;QAEH,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,gCAAgC;YACzC,MAAM,EAAE,MAAM;YACd,WAAW,EAAE,MAAM,CAAC,IAAI;SACzB,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,wBAAwB,KAAK,CAAC,OAAO,EAAE;YAChD,KAAK,EAAE,KAAK,CAAC,OAAO;SACrB,CAAC;IACJ,CAAC;AACH,CAAC,CAAC"}

package/package.json

@@ -0,0 +1,43 @@
+{
+  "name": "@kasarlabs/scarb-mcp",
+  "version": "0.1.0",
+  "main": "index.js",
+  "type": "module",
+  "bin": {
+    "scarb-mcp": "./bin/scarb-mcp.js"
+  },
+  "scripts": {
+    "build": "tsc && chmod 755 build/index.js",
+    "clean": "rm -rf build",
+    "clean:all": "rm -rf build node_modules",
+    "start": "node build/index.js"
+  },
+  "files": [
+    "build"
+  ],
+  "dependencies": {
+    "@kasarlabs/ask-starknet-core": "0.1.0",
+    "@modelcontextprotocol/sdk": "^1.11.2",
+    "dotenv": "^16.4.7",
+    "fs-extra": "^11.3.2",
+    "winston": "^3.17.0",
+    "zod": "^3.24.2"
+  },
+  "devDependencies": {
+    "@types/fs-extra": "^11.0.4",
+    "@types/node": "^22.13.10",
+    "typescript": "^5.8.2"
+  },
+  "keywords": [
+    "mcp",
+    "starknet",
+    "scarb"
+  ],
+  "author": "kasarlabs",
+  "license": "MIT",
+  "description": "MCP server for Scarb Cairo compilation and program execution operations.",
+  "publishConfig": {
+    "access": "public"
+  },
+  "gitHead": "2239ec60f8e369abd318807cecd22fe97c0ab917"
+}