Releases

Bluetooth Classic support for ESP32 in Rust via ESP-IDF Bluedroid.

High-performance DeFi route-finding engine — embeddable library and CLI

HTTP RPC server for Fynd DEX router

A secure payment model engine with transaction state machine and cryptographic verification

Rust client for the RC X509 platform

A language server, formatter, and linter for R

Crypto library for the RC X509 platform

LexActivator SDK for Rust

Z3 backend for r2SMT — encodes SSA lifted slices and reports opaque-predicate verdicts.

SDL3 platform backend with optional OpenGL3, SDLRenderer3, and SDLGPU3 renderers for dear-imgui-rs

Ingest -> detect -> redact pipeline: image/PDF/text in, redacted image/PDF/text/markdown out

Engyon Protected Text (EPT) — confidentiality processor and capability ledger

C FFI for enprot — shared library (libenprot) for Python, Node.js, Go, Ruby bindings

File Parser module

API Gateway module

Service for Verifiable Trust Communities

EcmaScript code minifier.

TBD

ACP bridge and client implementation for VT Code

A Rust-based terminal coding agent with modular architecture supporting multiple LLM providers

Core library for VT Code - a Rust-based terminal coding agent

Model Context Protocol (MCP) client, connection pooling, and tool discovery for VT Code

LLM provider abstraction, client implementations, and streaming for VT Code

Unified UI crate for VT Code: design system, theme registry, and TUI framework

Agent Plugins loader for VT Code: portable plugin manifests, skill discovery, and MCP configuration.

Skill types, discovery, loading, and validation for VT Code

Config loader components shared across VT Code and downstream adopters

Thin, audited FFI shim for the Z3 floating-point reinterpret constructors missing from the safe `z3` 0.20 API (BV→FP and signed-int→FP).

Engyon Protected Text (EPT) — confidentiality processor and capability ledger

Rust SDK for Blink agent sandboxes — BoxLite VM execution, sessions, and V-Hub