@okfit/mcp 0.2.0 → 0.3.1

package/README.md

@@ -9,7 +9,9 @@ Model Context Protocol server for [okfit](https://github.com/spencerbeggs/okfit)
 `@okfit/mcp` speaks MCP over stdio for one OKF bundle. It is read-only: no
 tool or resource ever writes to the bundle, the config, or anywhere else.
 `validate_bundle` spawns read-only `git log`/`git show` calls for one lint
-(`generated-at-drift`); a read is not a write, and the promise stands. Six
+(`generated-at-drift`), and only for a concept that records no
+`generated.body_sha256` — a bundle stamped with digests needs no git at
+all; a read is not a write, and the promise stands. Six
 tools cover orientation, discovery, and validation; the bundle index plus
 one resource per concept expose the bundle's own markdown to a client's
 @-mention UI.

package/bin/okfit-mcp.js

@@ -1,37 +1,13 @@
 #!/usr/bin/env node
+import { main } from "../main.js";
+
 //#region src/bin.ts
 /**
 * MCP server entry point for okfit.
 *
 * @packageDocumentation
 */
-const FATAL_FALLBACK = "okfit-mcp: a fatal error occurred and could not be described.";
-const describe = (error) => {
-	try {
-		if (error instanceof Error) return error.stack ?? error.message;
-		return String(error);
-	} catch {
-		return FATAL_FALLBACK;
-	}
-};
-const fatal = (label, error) => {
-	process.stderr.write(`okfit-mcp: ${label}: ${describe(error)}\n`);
-	process.exit(1);
-};
-process.on("uncaughtException", (error) => fatal("uncaught exception", error));
-process.on("unhandledRejection", (reason) => fatal("unhandled rejection", reason));
-await (async () => {
-	const NodeRuntime = await import("@effect/platform-node/NodeRuntime");
-	const NodeServices = await import("@effect/platform-node/NodeServices");
-	const { AppDirs, Xdg } = await import("@effected/xdg");
-	const { Cause, Exit, Layer, Logger, Runtime } = await import("effect");
-	const { resolveMcpProjectRoot } = await import("../internal/projectRoot.js");
-	const { ServerLayer } = await import("../server.js");
-	const PlatformLayer = Layer.mergeAll(Xdg.layer, AppDirs.layer({ namespace: "okfit" }).pipe(Layer.provide(Xdg.layer))).pipe(Layer.provideMerge(NodeServices.layer));
-	const projectRoot = resolveMcpProjectRoot(process.env);
-	const program = Layer.launch(ServerLayer(projectRoot).pipe(Layer.provide(PlatformLayer), Layer.provide(Logger.layer([Logger.consolePretty()])), Layer.provide(Layer.succeed(Logger.LogToStderr, true))));
-	NodeRuntime.runMain(program, { teardown: (exit, onExit) => Exit.isSuccess(exit) || Cause.hasInterruptsOnly(exit.cause) ? onExit(0) : Runtime.defaultTeardown(exit, onExit) });
-})();
+await main();
 
 //#endregion
 export {  };

package/index.d.ts

@@ -361,9 +361,9 @@ export type ValidateBundleParams = typeof ValidateBundleParams.Type;
  * discharged right here, below, by `Layer.mergeAll(Git.layer, GitHistory.layer)`
  * — both need only `ChildProcessSpawner` (`GitHistory.layer` itself provides
  * `Git.layer` internally, `packages/profiles/src/GitHistory.ts:136`), which
- * `bin.ts`'s untouched `PlatformLayer` already supplies via
+ * `@okfit/engine`'s `OkfitPlatform` already supplies via
  * `NodeServices.layer`. This type widening is the only thing that changes
- * at that boundary — `bin.ts` itself is not touched by this task.
+ * at that boundary.
  *
  * @public
  */
@@ -553,7 +553,7 @@ export declare const OkfitToolkit: Toolkit.Toolkit<{
     }>;
     readonly failure: import("effect/Schema").Union<readonly [typeof ConfigError, typeof BundleNotFound, typeof ConceptNotFound, typeof UnknownVocabulary, typeof InvalidArgument]>;
     readonly failureMode: "error";
-  }, import("@effected/xdg").AppDirs | import("effect/FileSystem").FileSystem | import("@effected/git").Git | import("@okfit/profiles").GitHistory | import("effect/Path").Path | import("@effected/xdg").Xdg>;
+  }, import("@effected/xdg").AppDirs | import("effect/Crypto").Crypto | import("effect/FileSystem").FileSystem | import("@effected/git").Git | import("@okfit/profiles").GitHistory | import("effect/Path").Path | import("@effected/xdg").Xdg>;
 }>;
 /**
  * The handler layer. `projectRoot` is closed over from the bin (N-21);
@@ -719,13 +719,13 @@ export declare const ToolsLayer: (projectRoot: string) => import("effect/Layer")
     }>;
     readonly failure: import("effect/Schema").Union<readonly [typeof ConfigError, typeof BundleNotFound, typeof ConceptNotFound, typeof UnknownVocabulary, typeof InvalidArgument]>;
     readonly failureMode: "error";
-  }, import("@effected/xdg").AppDirs | import("effect/FileSystem").FileSystem | import("@effected/git").Git | import("@okfit/profiles").GitHistory | import("effect/Path").Path | import("@effected/xdg").Xdg>;
+  }, import("@effected/xdg").AppDirs | import("effect/Crypto").Crypto | import("effect/FileSystem").FileSystem | import("@effected/git").Git | import("@okfit/profiles").GitHistory | import("effect/Path").Path | import("@effected/xdg").Xdg>;
 }>, never, never>;
 //#endregion
 //#region src/version.d.ts
 /**
- * The version this server reports in `initialize`, read from its own
- * manifest (K-32) so a release can never desync from the reported version.
+ * The version this server reports in `initialize`. Injected by
+ * `@savvy-web/bundler` at build time (K-32); `"0.0.0"` in unbuilt source.
  *
  * @public
  */

package/internal/toolContext.js

@@ -1,7 +1,7 @@
 import { BundleNotFound, ConfigError, composeRemediatedMessage } from "../errors.js";
 import { Effect, Option } from "effect";
 import { Bundle } from "@okfit/core";
-import { provideConfig, resolveProjectConfig } from "@okfit/cli";
+import { provideConfig, resolveProjectConfig } from "@okfit/engine";
 
 //#region src/internal/toolContext.ts
 /**

package/main.d.ts

@@ -0,0 +1,20 @@
+//#region src/main.d.ts
+/**
+ * The assembled okfit MCP server program.
+ *
+ * @packageDocumentation
+ */
+/**
+ * Run the okfit MCP server over stdio. Owns the process.
+ *
+ * This module deliberately carries NO static imports of the server graph:
+ * the `uncaughtException` and `unhandledRejection` handlers are registered
+ * before `NodeRuntime`, the logger and `ServerLayer` are ever evaluated, so
+ * a throw during module evaluation is still reported on stderr rather than
+ * crashing silently. Adding a static import here would defeat that.
+ *
+ * @public
+ */
+export declare const main: () => Promise<void>;
+//#endregion
+//# sourceMappingURL=main.d.ts.map

package/main.js

@@ -0,0 +1,45 @@
+//#region src/main.ts
+/**
+* The assembled okfit MCP server program.
+*
+* @packageDocumentation
+*/
+const FATAL_FALLBACK = "okfit-mcp: a fatal error occurred and could not be described.";
+const describe = (error) => {
+	try {
+		if (error instanceof Error) return error.stack ?? error.message;
+		return String(error);
+	} catch {
+		return FATAL_FALLBACK;
+	}
+};
+const fatal = (label, error) => {
+	process.stderr.write(`okfit-mcp: ${label}: ${describe(error)}\n`);
+	process.exit(1);
+};
+/**
+* Run the okfit MCP server over stdio. Owns the process.
+*
+* This module deliberately carries NO static imports of the server graph:
+* the `uncaughtException` and `unhandledRejection` handlers are registered
+* before `NodeRuntime`, the logger and `ServerLayer` are ever evaluated, so
+* a throw during module evaluation is still reported on stderr rather than
+* crashing silently. Adding a static import here would defeat that.
+*
+* @public
+*/
+const main = async () => {
+	process.on("uncaughtException", (error) => fatal("uncaught exception", error));
+	process.on("unhandledRejection", (reason) => fatal("unhandled rejection", reason));
+	const NodeRuntime = await import("@effect/platform-node/NodeRuntime");
+	const { OkfitPlatform } = await import("@okfit/engine");
+	const { Cause, Exit, Layer, Logger, Runtime } = await import("effect");
+	const { resolveMcpProjectRoot } = await import("./internal/projectRoot.js");
+	const { ServerLayer } = await import("./server.js");
+	const projectRoot = resolveMcpProjectRoot(process.env);
+	const program = Layer.launch(ServerLayer(projectRoot).pipe(Layer.provide(OkfitPlatform), Layer.provide(Logger.layer([Logger.consolePretty()])), Layer.provide(Layer.succeed(Logger.LogToStderr, true))));
+	NodeRuntime.runMain(program, { teardown: (exit, onExit) => Exit.isSuccess(exit) || Cause.hasInterruptsOnly(exit.cause) ? onExit(0) : Runtime.defaultTeardown(exit, onExit) });
+};
+
+//#endregion
+export { main };

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@okfit/mcp",
-	"version": "0.2.0",
+	"version": "0.3.1",
 	"private": false,
 	"description": "Model Context Protocol server for okfit: query and understand Open Knowledge Format (OKF) bundles from an agent.",
 	"keywords": [
@@ -33,6 +33,11 @@
 			"import": "./index.js",
 			"default": "./index.js"
 		},
+		"./main": {
+			"types": "./main.d.ts",
+			"import": "./main.js",
+			"default": "./main.js"
+		},
 		"./package.json": "./package.json"
 	},
 	"bin": {
@@ -42,9 +47,9 @@
 		"@effect/platform-node": "4.0.0-rc.112",
 		"@effected/git": "^0.12.0",
 		"@effected/xdg": "^0.4.1",
-		"@okfit/cli": "0.2.0",
-		"@okfit/core": "0.2.0",
-		"@okfit/profiles": "0.2.0",
+		"@okfit/core": "0.3.0",
+		"@okfit/engine": "0.2.0",
+		"@okfit/profiles": "0.3.0",
 		"effect": "4.0.0-rc.112"
 	},
 	"engines": {

package/schema/tools.js

@@ -1,7 +1,7 @@
 import { ConceptSummary } from "./ConceptSummary.js";
 import { Schema } from "effect";
 import { GraphNodeKind, Status } from "@okfit/core";
-import { ContextTag, ContextType } from "@okfit/cli";
+import { ContextTag, ContextType } from "@okfit/engine";
 
 //#region src/schema/tools.ts
 /** `describe_vocabulary`'s result (§5.2). @public */

package/tools/describeVocabulary.js

@@ -3,7 +3,7 @@ import { resolveConfigOnly } from "../internal/toolContext.js";
 import { DescribeVocabularySuccess } from "../schema/tools.js";
 import { Effect, FileSystem, Option, Path } from "effect";
 import { Tool } from "effect/unstable/ai";
-import { contextEnvelope } from "@okfit/cli";
+import { contextEnvelope } from "@okfit/engine";
 import { AppDirs, Xdg } from "@effected/xdg";
 
 //#region src/tools/describeVocabulary.ts

package/tools/validateBundle.js

@@ -3,10 +3,10 @@ import { resolveConfigOnly } from "../internal/toolContext.js";
 import { ValidateBundleParams } from "../schema/tools.js";
 import { resolveNow } from "../internal/resolveNow.js";
 import { MCP_VERSION } from "../version.js";
-import { Effect, FileSystem, Option, Path } from "effect";
+import { Crypto, Effect, FileSystem, Option, Path } from "effect";
 import { OKF_SPEC_VERSION } from "@okfit/core";
 import { Tool } from "effect/unstable/ai";
-import { JsonEnvelope, collect, forDiagnostics, json, run } from "@okfit/cli";
+import { JsonEnvelope, collect, forDiagnostics, json, run } from "@okfit/engine";
 import { Git } from "@effected/git";
 import { GitHistory } from "@okfit/profiles";
 import { AppDirs, Xdg } from "@effected/xdg";
@@ -25,7 +25,10 @@ const DESCRIPTION = "Runs the same conformance and lint checks as `okfit validat
 * GitHistory` so it can run `Provenance.lint`'s `generated-at-drift`
 * check (S-8, S-16). Both are provided by `server.ts`'s `ServerLayer`,
 * which needs only `ChildProcessSpawner` to build them — already
-* supplied by `bin.ts`'s untouched `PlatformLayer` (S-16).
+* supplied by `@okfit/engine`'s `OkfitPlatform` (S-16). `Crypto` joined the
+* same channel for issue #19's body-digest tier of `Provenance.lint`, and
+* is provided the same way -- `OkfitPlatform`'s `NodeServices.layer` bundles
+* it alongside `FileSystem`/`Path`.
 *
 * @public
 */
@@ -40,15 +43,16 @@ const validateBundle = Tool.make("validate_bundle", {
 		AppDirs,
 		Xdg,
 		Git,
-		GitHistory
+		GitHistory,
+		Crypto.Crypto
 	]
 }).annotate(Tool.Title, "Validate the bundle").annotate(Tool.Readonly, true).annotate(Tool.Idempotent, true).annotate(Tool.OpenWorld, false);
 /**
 * This tool does not call `loadToolContext`: `run()` calls `Bundle.load`
-* itself (`packages/cli/src/validate/run.ts:52-56`), so routing through
+* itself (`packages/engine/src/validate/run.ts:52-56`), so routing through
 * `loadToolContext` would load the bundle twice. It uses `resolveConfigOnly`
 * and keeps `bundleRoot`, `config` **and** `profile` — `run()` needs the
-* profile. `success` is `JsonEnvelope`, imported from `@okfit/cli` and used
+* profile. `success` is `JsonEnvelope`, imported from `@okfit/engine` and used
 * verbatim (N-35's own carve-out: data reuse, not envelope reuse);
 * `JsonErrorEnvelope` is never returned — that is the CLI's stdout
 * convention for an exit-3 infrastructure failure, and here that failure is

package/version.js

@@ -1,13 +1,11 @@
-import { version } from "./package.js";
-
 //#region src/version.ts
 /**
-* The version this server reports in `initialize`, read from its own
-* manifest (K-32) so a release can never desync from the reported version.
+* The version this server reports in `initialize`. Injected by
+* `@savvy-web/bundler` at build time (K-32); `"0.0.0"` in unbuilt source.
 *
 * @public
 */
-const MCP_VERSION = version;
+const MCP_VERSION = "0.3.1";
 
 //#endregion
 export { MCP_VERSION };

package/package.js

@@ -1,5 +0,0 @@
-//#region package.json
-var version = "0.2.0";
-
-//#endregion
-export { version };