Downloads

Lispex manual v1.21. Every link on this page is pinned to the release shown below. The install scripts find the current release and compare the downloaded binary with the SHA-256 checksum file published beside it.

Download file version v1.20.0

All platforms

The resource-controlled rule engine, exact bytes

Applications can pin the exact bytes of the engine embedded in Native. It runs one rule under the declared resource profile. Its manifest fixes capabilities, metering, value exchange, receipt fields, memory limits, and checksum. Recorded request and result bytes let every consumer compare the exact observation.

The whole-language rule engine, exact bytes

A separate component covers the complete lispex-profile-1.5 and carries its own capability, metering, component, and artifact identities. It reuses the established value exchange, run transcript, and portable record format. Native selects it through explicit embed full commands and creates a fresh instance for every operation.

One-line install

# macOS / Linux
curl -fsSL https://www.lispex.com/install.sh | sh

# Windows (PowerShell)
irm https://www.lispex.com/install.ps1 | iex

# npm (Node 18+)
npm install -g lispex

Check the installed command

A successful install prints the exact product version. You can repeat the check at any time.

lispex --version
# Expected: lispex v1.20.0

If the command is not found

• macOS and Linux install to ~/.lispex/bin by default. Add that directory to PATH, then restart the shell.
• Windows installs to %LOCALAPPDATA%\Lispex\bin by default. Add that directory to the user PATH, then open a new PowerShell window.
• If you chose npm, confirm that Node 18 or newer is active and that the global npm binary directory is on PATH.

Which one should I use?

• Choose the native binary for the widest set of tools. It includes the source interpreter, a resource-controlled rule engine, the Rust virtual machine for verified bytecode, intermediate-form commands, exact Lispex Images, and the complete Lispex Vouch workflow. Native owns evidence issuance, current re-execution of the pinned request, and the local gate. It can also derive a compiled artifact from the same exact source and record Rust VM agreement.
• Choose npm when Node is already available. It runs source, provides the same exact Lispex Image commands through Rust compiled to WASM, authenticates Vouch evidence with the same checker as Native, and replays decision corpora offline. Native owns intermediate forms, verified bytecode and the Rust virtual machine, evidence issuance, current re-execution, and the local gate.
• Use the Playground to run source and to create, open, page through, recover, download, and explicitly run exact images directly in your browser. Native provides intermediate forms, bytecode and the Rust virtual machine, while Native and npm provide the Vouch artifact and policy tools.