Releases

Macros for ratatui-recipe

Procedural macros for the antigen crate. Not for direct use; use antigen instead.

Multi-repo workspace manager - manage distributed Git repositories with a single config

Ratification schema + substrate-witness predicate evaluator for antigen discipline-witnesses.

A fork of cargo-snippet that added bundle and more snippet feature

Arbitrary precision decimals with lexicographically sortable byte encoding

Procedural macros for cargo-snippet-more

Fingerprint grammar parser + matcher for antigen failure-class declarations.

Contract testing, drift detection, and incident management for MockForge

Model Context Protocol (MCP) server exposing the Kshana PNT-resilience simulator to AI agents, MCP-compatible assistants, and JetBrains AI.

notmad is a life-cycle manager for long running rust operations

Open, reproducible PNT-resilience simulator with quantum-sensor performance models

Official SDK for developing MockForge plugins with helper macros and testing utilities

PostgreSQL backend for strev

noble

Storage-layer internals shared by S2 server implementations

Rust client for Zenodo deposition workflows, record retrieval, and artifact downloads.

Plugin loader with security sandboxing and validation for MockForge

Zero-infrastructure web search (DuckDuckGo Lite) with reference-style URLs

Token-efficient web content fetcher with reference-style URL preservation

Concrete canonical circuit/witness types for the PSO protocol (ownership + flat aggregation), built on the generic pso-protocol traits.

Semantic search, symbol graphs, secrets scanning, output filters, and CLI hooks that save 60-90% LLM tokens

Parser for layered character definition files

Shared primitives: compression, token budgeting, and reference-style URLs

Simple tool for Manage Procfile-based applications

Passover helps developers discover hidden patterns in code.

Observability features for MockForge including Prometheus metrics, OpenTelemetry tracing, and recording

Static, deterministic LLM prompt/payload compressor — cut input tokens 30-90% with zero extra model calls

Sandbox for coding agents with parametrized state

Pi with a face — agent-driven desktop shell with A2UI