Releases

CLI and MCP entrypoint for indexing repositories into local source, graph, history, and memory evidence.

2-categories, enriched categories, and bicategories for the Industrial Algebra ecosystem

MCP server tools for rag-rat repository search, symbol graph traversal, rationale lookup, and source-bound memories.

Protobuf/gRPC API bindings for the Nominal platform

Schubert intersection type system for the Industrial Algebra ecosystem

A 2D/3D monospaced ASCII rendering engine for the terminal

Networking types and smoltcp engine for the microsandbox project.

Repository evidence engine for source chunks, symbols, graph edges, Git history, GitHub rationale, and source-bound memories.

Filesystem backends and guest filesystem support for microsandbox.

Monoidal categories and string diagrams for the Industrial Algebra ecosystem

Ergonomic async-aware automatic dependency injection for Rust

External prover bridge and trust model for the Industrial Algebra ecosystem

Opinionated Rust microservice framework. Kubernetes-native, mesh-secured, MCP-by-default.

Derive and attribute macros for Karpal verification obligation export

Procedural macros for the auto-di dependency injection crate

Algebraic law witnesses and refinement types for the Industrial Algebra ecosystem

Derive macros for algebraic law verification in the Industrial Algebra ecosystem

Assorted data structures used in spacetimedb

The SpacetimeDB SQL AST and Parser

Recursion schemes (cata, ana, hylo, para, apo, histo, futu, zygo, chrono) for the Industrial Algebra ecosystem

A common library for SpacetimeDB

Profunctor optics (Lens, Prism) for the Industrial Algebra ecosystem

Spacetime Algebraic Type Notation

Monad transformers and effect system for the Industrial Algebra ecosystem

Easy support for interacting between SpacetimeDB and Rust.

Prometheus utilities for SpacetimeDB

Primitives such as TableId and ColumnIndexAttribute

Host capability exposing the harn-rules declarative rule engine to Harn (`rules.search` / `rules.report` / `rules.apply`).

Free constructions (Coyoneda, Yoneda) for the Industrial Algebra ecosystem

Language Server Protocol implementation for Harn