tla-checker 0.4.3 → 0.5.2

package/README.md

@@ -293,7 +293,14 @@ cargo install --path . --bin tla-mcp
 
 ### Register with your client
 
-Add to your MCP client config (Claude Code example, `~/.claude/mcp.json` or `claude_desktop_config.json`):
+**Claude Code (community plugin marketplace)** — once `tla-mcp` is on PATH:
+
+```
+/plugin marketplace add anthropics/claude-plugins-community
+/plugin install tla-rs@claude-community
+```
+
+**Manual registration (any MCP client)** — add to `~/.claude/mcp.json`, `claude_desktop_config.json`, or your client's equivalent:
 
 ```json
 {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tla-checker",
-  "version": "0.4.3",
+  "version": "0.5.2",
   "type": "module",
   "description": "A TLA+ model checker compiled to WebAssembly",
   "license": "MIT OR Apache-2.0",

package/tla_checker.js

@@ -114,6 +114,7 @@ export function check_spec_with_options(spec_source, options_json) {
         wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
     }
 }
+
 function __wbg_get_imports() {
     const import0 = {
         __proto__: null,
@@ -133,7 +134,8 @@ function getDataViewMemory0() {
 }
 
 function getStringFromWasm0(ptr, len) {
-    return decodeText(ptr >>> 0, len);
+    ptr = ptr >>> 0;
+    return decodeText(ptr, len);
 }
 
 let cachedUint8ArrayMemory0 = null;
@@ -210,9 +212,8 @@ if (!('encodeInto' in cachedTextEncoder)) {
 
 let WASM_VECTOR_LEN = 0;
 
-let wasmModule, wasmInstance, wasm;
+let wasmModule, wasm;
 function __wbg_finalize_init(instance, module) {
-    wasmInstance = instance;
     wasm = instance.exports;
     wasmModule = module;
     cachedDataViewMemory0 = null;