Releases

Rust toolchain adapter: lowers per-policy assertions into engine requirements for rust-toolchain.toml.

Rustfmt linter adapter: lowers per-policy assertions into engine requirements for rustfmt.toml.

Browser bindings for the smbCloud Auth SDK.

Rust client for the smbCloud transactional email API — send email from a verified domain and read delivery status.

GresIQ is a serverless PostgreSQL client on the smbCloud platform.

Python bindings for the smbCloud Auth SDK.

Client SDK for smbCloud Auth — authenticate your users via smbCloud Auth service.

Command line tool for deploying NextJS app on the smbCloud platform.

smbCloud mail API client for the CLI.

smbCloud build and deploy engine: UI-agnostic, reusable by the CLI, CI, and the server-side git receiver.

First-party AWS SQS adapter for Nidus built on the official AWS SDK for Rust.

Cross-platform Auth SDK for the smbCloud platform.

Command line tool for deploying NextJS app on the smbCloud platform.

SMT translation validation: prove emitted Rust is observationally equivalent to LOGOS source

Line Input with Simultaneous Output: input lines are editable, output lines are never scrambled, and all of it thread safe.

largo — the LOGOS build tool: new/init/build/run/check/verify/publish for logicaffeine projects

Available UI languages for Vix; the View → Locale submenu.

Command line tool for deploying NextJS app on the smbCloud platform.

Language Server Protocol implementation for LOGOS (the logicaffeine language)

The LOGOS native tier — wires the copy-and-patch forge JIT into the bytecode VM (native only).

LOGOS compilation pipeline - codegen and interpreter

Platform IO, networking, persistence, and post-quantum crypto kernels (Keccak/SHA-3, ChaCha20-Poly1305, ML-KEM, ML-DSA) for LOGOS

Copy-and-patch JIT for LOGOS — executable-memory layer and stencil runtime (native only).

Natural language to first-order logic pipeline

Z3-based static verification for Logicaffeine (requires Pro+ license)

Backward-chaining proof engine (certified SAT/CDCL, tactics, Socratic hints) plus the number-theory / cryptanalysis substrate (factoring, isogeny, lattice, order-finding)

Deterministic concurrency runtime (scheduler, channels, seed/trace) for the Logicaffeine interpreter and VM. Pure, WASM-safe, tokio-free — never linked into AOT-compiled binaries.

English vocabulary types and compile-time lexicon lookup for logicaffeine

Localhost approval-inbox web UI for the Stellar agent wallet: a loopback HTTP server that surfaces the pending-approval queue for browser approve/reject.

WASM-safe data structures and CRDTs - NO IO