tla-checker 0.4.2 → 0.5.1

package/README.md

@@ -259,15 +259,33 @@ if (result.dot) {
 
 ### Install
 
-The fastest path — install the published crate from crates.io (no clone needed):
+Several paths are supported — pick whichever fits your toolchain.
+
+**Homebrew (macOS, Linuxbrew)** — installs both `tla` and `tla-mcp`:
+
+```bash
+brew install fabracht/tla/tla-mcp
+```
+
+Requires the `homebrew-tla` tap to exist. The formula source lives at [`packaging/homebrew/tla-mcp.rb`](packaging/homebrew/tla-mcp.rb); [`packaging/homebrew/README.md`](packaging/homebrew/README.md) explains the one-time tap setup.
+
+**Install script (Linux, macOS)** — downloads a prebuilt binary and verifies its SHA256, no Rust toolchain required:
+
+```bash
+curl -fsSL https://raw.githubusercontent.com/fabracht/tla-rs/main/scripts/install.sh | bash
+```
+
+Pass flags to scope the install: `--bin tla-mcp` for just the MCP server, `--version v0.4.3` to pin a release (releases prior to v0.4.3 do not ship a `SHA256SUMS` asset and are rejected), `--dir /usr/local/bin` for a system-wide install (requires `sudo`).
+
+**Cargo (any platform with a Rust toolchain)**:
 
 ```bash
 cargo install tla-checker --bin tla-mcp
 ```
 
-Or download a pre-built binary from the [latest GitHub release](https://github.com/fabracht/tla-rs/releases/latest) (Linux, macOS Intel/Apple Silicon, Windows).
+**GitHub release downloads** — prebuilt binaries for Linux x86_64, macOS x86_64, macOS arm64, and Windows x86_64 are attached to every [release](https://github.com/fabracht/tla-rs/releases/latest) as `tla-<platform>` and `tla-mcp-<platform>`.
 
-From a working copy:
+**From a working copy**:
 
 ```bash
 cargo install --path . --bin tla-mcp
@@ -275,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.2",
+  "version": "0.5.1",
   "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;