Releases

Universal API for automatic coding agents in sandboxes. Supports Claude Code, Codex, OpenCode, and Amp.

Universal API for automatic coding agents in sandboxes. Supports Claude Code, Codex, OpenCode, and Amp.

A static analysis platform for Rust program analysis and verification

In-process dispatcher over N hakodb instances: reads fan out, writes route, socket_sync keeps replicas identical

Core library for JUIZ application. This package is not required if you want to build juiz functional module.

ureq 2.12.1 with an optional TcpConnector hook for cancellable connects (fork used by the Yu handheld Shell)

Native tish test runner, expect, and Node-compatible assert

no_std runtime facade for Tish compiled output on the Game Boy Advance (agb)

Miden virtual machine

Miden VM core library

Miden VM prover

Miden VM assembly language

Miden VM execution verifier

Miden VM processor

Prover-side precompile implementations for the Miden VM deferred framework

Interface for working with Miden projects

Filesystem-backed local package registry for Miden packages

AIR and shared proof setup for Miden VM precompiles

Verifier for Miden VM precompile proofs

Package registry interfaces and dependency resolution for Miden packages

Package containing a compiled Miden MAST artifact with declared dependencies and exports

ACE circuit codegen for Plonky3-based Miden AIRs.

Build-time MASM code generation support for miden-core-lib

Algebraic intermediate representation of Miden VM processor

Parsing and semantic analysis of the Miden Assembly language

Concrete precompile implementations for the Miden VM deferred framework

Constraint compiler for Plonky3-based Miden AIRs.

Lossless concrete syntax tree support for the Miden Assembly language

Diagnostic infrastructure used in the Miden assembler and VM

Core source-level debugging information types used throughout the Miden toolchain