Releases

Actix integrations for the Halyard web framework.

Open the content file of a Slipcase container in its own application, and write edits back into the container

BLVM Spec Lock: Purpose-built formal verification tool for Bitcoin Commons

Query a directory of Slipcase containers by their flyleaf and look at what comes back

Stateless Rust client for Silicon Honeycomb

Omarchy/Waybar widgets + TUI for tracking multi-provider AI plan usage

Honeycomb application contracts and safe multi-platform CLI archives

The Honeycomb CLI: discover, publish, install and manage Silicon applications

Find Lean declarations by shape and lift them into a proof

One-dependency front door to the Trust Tasks framework: re-exports trust-tasks-rs plus the transport, proof, ceremony and capability crates behind Cargo features.

Shared common utilities for M0 portal

A system-level daemon that keeps AI coding sessions intact when your projects move

Rust SDK for programmatic control of the GitHub Copilot CLI via JSON-RPC.

ToIP Trust Spanning Protocol (TSP) transport binding for the Trust Tasks framework, built on affinidi-tsp. Provides pack/unpack helpers and a TransportHandler that maps the authenticated VID sender into the framework's §4.8.1 precedence.

Pluggable ProofVerifier implementations for the Trust Tasks framework. Backends are gated by Cargo features; ships with an Affinidi Data Integrity backend (EdDSA suites) by default.

Easy way to start your Rust asynchronous application server using Tokio and Axum frameworks.

A faithful Rust port of the Python `rich` terminal-rendering library

An htop-like terminal monitor for AI coding agent sessions on Linux (Claude Code, Codex, Cursor, Devin, Gemini CLI, OpenCode, Pi, Windsurf)

A quick CLI time tracker: log start/stop punches and notes, see your day/week status.

Reference implementation for World ID clients.

A cli tool to send directories over the network, with NAT hole punching

Unofficial async Rust client for the Grindr API

A CLI for machines to use Turnkey for git, ssh, and credential management

Command line interface for Bashkit virtual bash interpreter

A terminal-native viewer for documents, structured data, images, PDFs, databases, and stdin.

Event Sourcing Entity Framework

HTTPS transport binding for the Trust Tasks framework — typed client + axum-based server with bearer-auth identity, suitable for demos, mockups, and end-to-end testing.

Unofficial, dependency-light Rust client for the HackerOne API (v1): submit reports, read your reports, hacktivity, balance, and earnings.

Proc macros for es-entity

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