Releases

Controller service and control API to configure the SLIM data plane through the control plane.

SLIM session internal implementation.

Messaging Layer Security for SLIM data plane.

Core data plane functionality for SLIM

Observability for SLIM data plane: logs, traces and metrics infrastructure.

Configuration utilities

Standalone TUI infoview for Lean 4 theorem prover

A Rust implementation of the Agent2Agent (A2A) Protocol SDK

Agent implementations for Rust Agent Development Kit (ADK-Rust, LLM, Custom, Workflow agents)

LLM model integrations for Rust Agent Development Kit (ADK-Rust) (Gemini, OpenAI, Claude, DeepSeek, etc.)

Solana chain support for the x402 payment protocol

A formatter for Pandoc, Quarto, and RMarkdown documents

gRPC and REST server for synthetic data generation

Rust client for Google Gemini API

A Rust framework for Silicon Heaven RPC devices

Greentic operator CLI for local dev and demo orchestration.

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

MicroKit library for creating a service

Local facilitator implementation for the x402 payment protocol

ZKsync GPU wrapper prover

Both cuda and cpu based proof compression and wrapping chain

Shvini is a library implementing a GPU-accelerated zkSync prover

ZKsync GPU prover utilities

CUDA implementation of the fflonk prover

ZKsync GPU FFI

Boojum-CUDA is a library implementing GPU-accelerated cryptographic functionality for the zkSync prover

CUDA bindings for ZKsync

Raw CUDA bindings for ZKsync

Rust bindings for the gnark Groth16 BN254 proving system

English vocabulary types and compile-time lexicon lookup for logicaffeine