Releases

Generic runtime appearance primitives for bmux renderers

Plugin SDK for bmux — the types and traits plugin authors need

Core Calimero infrastructure and tools

Forward Authentication Service for Calimero Network

Worker-process boundary for lean-rs host workloads.

Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services, progress, batching, and session pooling.

Safe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported function calls, semantic handles, and callback handles.

Lean 4 toolchain discovery, fingerprinting, symbol allowlist, and build-script helpers reusable by downstream embedders' own build.rs scripts.

Raw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.

Rust-centric multi-language HTTP framework with polyglot bindings

Python bindings for laddu (with MPI support)

Rust client SDK for feature experimentation and feature flags with Kameleoon.

Construct — memory-native AI agent runtime powered by Kumiho

Vulkan API bindings generated entirely from vk.xml, with a complete safe RAII wrapper covering compute and graphics: instance/device/queue, buffer, image, sampler, render pass, framebuffer, graphics + compute pipelines, swapchain, a VMA-style sub-allocator with TLSF + linear pools and defragmentation, sync primitives (fences, binary + timeline semaphores, sync2 barriers), query pools, and optional GLSL/WGSL/HLSL→SPIR-V compilation via naga or shaderc. Supports Vulkan 1.2.175 onward — swap vk.xml and rebuild.

Model Context Protocol server for mnem - the AI-native, local-first memory substrate for agents.

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

HTTP RPC server for Fynd DEX router

Use piper TTS models in Rust

Safe Rust bindings to espeak-ng

Rust bindings to espeak-ng

Reference implementation for World ID clients.

Reference implementation for the World ID Protocol. Core functionality to use a World ID.

Sub-millisecond code search via sparse trigram indexing.

Internal SQLite wrapper crate for WalletKit storage.

Random variables

Unofficial agent-oriented CLI for MarketSurge data

Unofficial HTTP client library for the MarketSurge platform

Rust bindings for the miracle-wm plugin API

Agent-oriented CLI for VolumeLeaders data

Browser-session API client for VolumeLeaders data