Packages
Browse packages indexed by the registry.
Rate-limited async I/O.
Agent Workspaces
Thin Language Server Protocol adapter for the Aion Workflow Language.
Programmatic .aion assembly for compiled AWL workflows
A terminal calendar and event manager
The `aion` command line: operate Aion durable workflows over gRPC and run the Aion server.
Rust caller SDK for connecting to aion-server and operating Aion workflows.
Cryptographically-signed, versioned business-context file format
Single-snapshot Darwin ACL decoding for Aion's macOS path-safety gate.
The fleet-stages-v1 staged-chain plan contract: grammar, validation, the normalized ordering graph, the sealed conclusion verifier, and the replay-deterministic chain decision function.
The first-party Agent Client Protocol (ACP) adapter for Aion: implements the aion-integrations AgentHarness trait against any ACP agent subprocess over newline-delimited JSON-RPC 2.0 stdio.
A second, independent AgentHarness adapter for Aion: a plain-stdout observability-only CLI agent that demuxes interleaved stdout into ActivityEvents and advertises no intervention capabilities. The empirical proof that aion-integrations is a neutral SDK, not a Norn wrapper (NOI-8).
The first-party Norn adapter for Aion: implements the aion-integrations AgentHarness trait against a Norn `--protocol jsonrpc` process. The single place that names Norn's on-wire contract.
Harness-integration SDK for Aion: the AgentHarness trait plus reusable building blocks for making an agent harness a first-class Aion integration.
A wrapper around Vec<T> with a freelist. Preserves index validity on mutations without heavy generation counters.
Number related utilties.
Model Context Protocol (2026-07-28 stateless revision) server protocol layer for Aion.
Archive validation, content hashing, and namespacing for Aion workflow packages.
Shared gRPC and serde wire contracts for Aion servers, clients, and workers.
Machine-generated tonic/prost gRPC stubs for Aion, isolated from the hand-written aion-proto crate so its relaxed lint policy lives in Cargo.toml [lints] rather than in-source #![allow].
Simple State Machine
Transport-agnostic Aion workflow engine with durability, replay, timers, and supervision.
A CLI TodoList tool written in Rust with task management, timed reminders, and background service support
Aion workflow server library: HTTP, gRPC, WebSocket, and worker endpoints. Run it with the `aion` binary from the aion-cli crate.
Persistence contracts and in-memory event stores for Aion durable workflows.
Single-node haematite-backed event store implementation for Aion workflows.
Durable libSQL-backed event store implementation for Aion workflows.
Server-side Gleam authoring toolchain: shells out to the gleam binary to compile and type-check workflow source, then packages a verified .aion. Embeds no compiler.
Rust remote-worker SDK for executing Aion activities over the gRPC worker protocol.
First-party proof engine, no_std, no unsafe, no external solver. TIER 4 enumerates: it checks a predicate against EVERY input in a bounded/enumerable domain, returning Proven{cases} or Refuted with the counterexample -- complete coverage, not a sample. Combinators: for_all, for_all_where, for_all_u8, for_all_in, for_all_pairs. TIER 5 proves properties over UNBOUNDED integer domains -- all 2^64 values of u64, any number of variables -- WITHOUT enumerating them, by interval abstract interpretation, via an Expr/Prop DSL and prove_contract for pre/postcondition contracts. Tier 5 is SOUND BUT INCOMPLETE: transfer functions over-approximate, so it answers Proven, Refuted with a concrete counterexample, or UNKNOWN when the abstraction is too imprecise (typically relational properties) -- never a false Proven or Refuted. An SMT-based checker such as Kani/CBMC decides cases this returns Unknown on, so Kani remains a stronger independent second opinion rather than being replaced.
A small, dependency-free access-control domain -- badges, roles, clearances, wings, revocation -- published so that aion_verify's test suite can demonstrate the thing that matters about a proof engine: proving ANOTHER crate's invariants, over the whole of a finite domain, in code that knows nothing about the engine. Not a verification tool; the SUBJECT of one. no_std, no alloc, no unsafe, no dependencies.
Rust-based high concurrency cross platform bot runtime
Rust-based high concurrency cross platform bot runtime
Rust-based high concurrency cross platform bot runtime
AIonic: A unified, user-friendly Rust library for seamless integration with various public Language Model APIs, such as openAI
Reserved namespace for Aionic Labs.
Reserved namespace for Aionic Labs.
Event types and streaming for the Agent OS
Kernel orchestration layer for the Agent OS — tick lifecycle, agent loop, and composite runtime