Releases

PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)

Sync-first boundary supervisor: platform-agnostic boundary contract (types + fail-closed planner) with real Linux (landlock/seccomp/cgroups) and Wasm (wasmi/WASI) confinement backends. ZERO OS code, ZERO BatPak writes in the Backend trait.

Thin sync-first server/network boundary exposure layer for syncbat.

Generic deterministic module host: mount content-identified modules over a syncbat Core.

Formal symbolic AI implementation with OpenAI-compatible APIs

Shared compiler pipeline for the Assura language

SMT-based verification for Assura contracts via Z3

RetroArch shaders for all.

Candle-based VLM OCR engines for Xberg - pure-Rust transformer OCR (TrOCR, PaddleOCR-VL, GLM-OCR)

Rust bindings for Tesseract OCR with cross-compilation, C++17, and caching improvements

Query QueryPie databases from the terminal with webview authentication.

Color representations and conversions

Switchy Schema Test Utils package

A minimal, no-std compatible crate for 2D integer geometry

MoosicBox tunnel server package

MoosicBox Server Simulator package

MoosicBox Marketing Website

MoosicBoxApp bundled package

MoosicBox native App package

MoosicBox App State package

MoosicBoxApp bundled package

Cross-platform GPU tensor library with Rust.

RetroArch shaders for all.

MoosicBox package

MoosicBox server package

MoosicBox schema package

Transport-neutral library for the CAR daemon JSON-RPC dispatcher (used by car-server and tokhn-daemon)

Multi-channel approval-transport adapters (iMessage + Slack) for the CAR daemon — inbound poller/orchestrator, Slack wire parsing, per-channel config/allowlist/pairing. Extracted from car-server-core (#418) to cut its test-binary link footprint.

Shared host-state + channel/approval types for the CAR daemon, lifted out of car-server-core so messaging/parslee/coder can extract without a dependency cycle (#418)

Shared logic for FFI bindings (NAPI, PyO3) — JSON wrappers for verify, multi-agent, scheduler