Releases

Proc macros for Presentar testing framework

Vite Environment API integration for Ox Content

Source code documentation generator for Ox Content (like cargo docs)

100% test coverage calculator showcase demonstrating Probar TUI + WASM testing

Terminal backend for Presentar UI framework with zero-allocation rendering

Widget implementations for Presentar UI framework

Proc-macro crate for Probar type-safe ECS selectors (Poka-Yoke)

Layout engine for Presentar UI framework

YAML manifest parser for Presentar UI framework

A language server for the Rust programming language

Core types and traits for Presentar UI framework

Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels

Model Context Protocol (MCP) server for aprender — exposes apr CLI as MCP tools

Loads a Cargo project into a static instance of rust-analyzer for analysis.

Proc macros for compile-time contract enforcement — #[contract] attribute

Sovereign `.apr` model container format (read + write, v1 APRN + v2 APR\0) — zero ML/GPU/tokenizer dependencies

Static Site Generation for Ox Content documentation

IDE-centric APIs for rust-analyzer.

Implementation of `loader::Handle` for rust-analyzer.

A representation for a Cargo project for rust-analyzer.

Structural search and replace of Rust code for rust-analyzer.

RPC Api for the `proc-macro-srv` crate of rust-analyzer.

Proc-macro server for rust-analyzer.

Full-text search engine for Ox Content

Diagnostics rendering and fixits for rust-analyzer.

Utilities for generating completions of user input for rust-analyzer.

Discovery of `cargo` & `rustc` executables for rust-analyzer.

Core data structure representing IDE state for rust-analyzer.

Code assists for rust-analyzer.

A high-level object-oriented access to Rust code for rust-analyzer.