Releases

Shared entity types and server-handled commands for the marshal multi-agent coordination service.

Stdio MCP shim that bridges Claude Code sessions to the marshal coordination daemon.

JSON CLI and client library for Financial Modeling Prep

Clipboard integration for bmux

Worker-process boundary for lean-rs host workloads.

Language Server Protocol delivery for mdwright

Building pratt parsers effortlessly!

A pleasure to meet you. I am C-3p0, JSON-DB Relations.

Procedural macros for the vpratt pratt parsing framework.

Federated STAC search logic with retry, dedup, and response unification.

One document, two views. Markdown share service for humans and agents.

an experimental sqlite library

proc-macros for seekwel

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.

Utilities for quick microservices in Rust

Whatsminer firmware implementation for asic-rs

Sealminer firmware implementation for asic-rs

VNish firmware implementation for asic-rs

Nerdaxe firmware implementation for asic-rs

Marathon firmware implementation for asic-rs

LuxOS firmware implementation for asic-rs

ADBC-compatible driver for Exasol with Arrow data format support

ePIC firmware implementation for asic-rs

Braiins firmware implementation for asic-rs

Bitaxe/ESPMiner firmware implementation for asic-rs

Machine-wide hybrid code search service: BM25 + vector + KG, zero cold-start, MCP server

Avalonminer firmware implementation for asic-rs

Antminer firmware implementation for asic-rs

Auradine firmware implementation for asic-rs