Results for pretty_inspect

Sumac: bring out what your tools can do — bridge skills, MCP, and APIs into reusable agent, terminal, and automation workflows

CLI tool for inspecting, pretty-printing, and converting Crous files

A Rust port of Python's Rich library for beautiful terminal output

AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.

Pluggable compression adapters (zstd, lz4, snappy) for Crous blocks

Core encoder/decoder, block framing, and Value types for the Crous binary format

Proc-macro derive for Crous schema-bound types with stable field IDs

Async IO adapters, framed streams, and mmap reader for Crous

Optional SIMD-accelerated routines for Crous encoding/decoding

Sense → plan → act runtime that drives goap-planner from a YAML config to automate shell tasks. The first automaton built in the Automata Atelier workspace.

A fast, ergonomic CLI tool for working with various ID formats

Command-line client for Open Chroma Index.