structured secret vault encrypted through GPG
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.
Derive Debug and Display while honoring #[sensitive(redact | truncate = N | skip)] field attributes.
Automatic redaction of sensitive data in structs for safe logging and debugging
A simple, fast library for styling text with ANSI escape codes
Redact sensitive fields (api keys, tokens, emails, phone numbers) from agent traces before exporting to OTel or a log sink. Zero deps.
Wrapper to avoid accidentally leaking sensitive data during printing/logging
Track AI-generated code at line-level granularity
A centralized, non-blocking observability utility for the Nexus framework featuring typestate configuration, automated field redaction, and optional OpenTelemetry (OTLP) tracing
Delegatable Anonymous Credentials (Delano Creds) in pure Rust.
Application error types and response mapping
SecretEnv CLI — resolves aliases to secrets and runs commands with them injected