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.
Gum Session Protocol (GPL Session)
Web Client library that facilitates interaction with the Miden network
Rust client for the Subscriptions Solana program
SQL database engine with SQL:1999 compliance
Production AI agent runtime for Rust — type-safe state, phase execution, multi-protocol serving
Compatibility umbrella crate re-exporting awaken
Core types, traits, and state model for the Awaken AI agent runtime
Deferred tool loading with ToolSearch and probability-based deferral for Awaken
Server-driven UI component plugin (A2UI) for Awaken
Model Context Protocol (MCP) client plugin for Awaken
OpenTelemetry observability plugin with GenAI semantic conventions for Awaken