Packages

Vendor-agnostic LLM gateway and provider implementations

The axiom.audit.v1 append-only, BLAKE3-chained audit trail for the Algol/AXIOM cohort: one canonical AuditRow + ReceiptLink layout selector, tamper-evident verify_chain, fail-closed

The single canonicalization contract for the Algol/AXIOM cohort: RFC 8785 (JCS) via serde_json_canonicalizer 0.3, with a fail-closed assert_jcs_safe integer guard

Lower-level API for writing Axiom compute circuits

TruthLinked command-line interface for accounts, cells, validators, governance, MCP, and SDK workflows.

This crate contains Rust types for Axiom queries and specifies how to encode/decode them to field elements for in-circuit use.

BFT consensus engine for the Axiom Protocol

This contains the ZK circuits that generate proofs for the `AxiomV2Core` smart contract. These circuits read the RLP encoded block headers for a chain of blocks and verify that the block headers form a chain. They output a Merkle Mountain Range of the block hashes of the chain. This crate also contains aggregation circuits to aggregate multiple circuits for the purpose of proving longer chains.

Cryptographic primitives for the Axiom Protocol

The Engram encryption & storage format — encrypted-at-rest vault, FTS5 + vector retrieval, and the end-to-end encrypted sync wire format.

This crate is the main library for building ZK circuits that prove data about the Ethereum virtual machine (EVM).

Pattern-11 exit-code state machine for the Algol/AXIOM cohort: a closed taxonomy (0=ok, 1=assertion-failed, 2=usage, 3=preflight, 4=degraded) plus an open >=64 tool-specific band, with std::process::ExitCode interop

Engine-neutral Axiom extension ABI v1 wire types

Rust guest SDK for Axiom extension ABI v1

First-party canonical record derive for the Axiom extension SDK

Content addressing for the Algol/AXIOM cohort: BLAKE3-default ContentAddress newtype with a type-walled, feature-gated SHA-256 interop escape

P2P networking layer for the Axiom Protocol

Core types, traits, and error definitions for the Axiom Protocol

This contains the ZK circuits that generate proofs for the `AxiomV2Query` smart contract.

Ed25519 receipt-signing mechanism for the Algol/AXIOM cohort: hash-agnostic SignTarget (JCS or raw bytes) + Signer/Verifier traits + Ed25519 impl + optional Receipt<B> wrapper, plus self-describing doctrine record bodies (calibration: offered-confidence vs measured-correctness; determinism attestation) that BLAKE3-bind into a cex CloudEvent

A Rust SDK for Axiom

Temporal-relational runtime for compiling and executing Axiom RuleSpec (experimental API).

User-friendly API for writing Axiom compute circuits

Procedural macros for writing Axiom compute functions with axiom-sdk

A lightweight, no_std-compatible spinlock and exponential backoff implementation for low-level concurrent systems.

Merkle state trie and ledger for the Axiom Protocol

Axiom — the truth layer: JTBD decoding, truth packages, validation, verifier reports, and calibration

Axiom-TTT Inference Engine – Rust implementation using candle

A stable and high-performance low-level memory management library for Rust, providing fixed-capacity pools and deterministic allocation for latency-sensitive systems.

Compile-time declarative macros for static JSON-to-Matrix topology projection.

A zero-allocation, division-free universal compression core

A 1-pass, zero-allocation static macro-router for Protocol Buffers.

Command-line interface for AxiomMe data runtime.

Core data-processing engine for AxiomMe local retrieval runtime.

Mobile FFI boundary for AxiomMe core runtime.

Local retrieval runtime and CLI for AxiomSync.

Command-line interface for AxiomSync data runtime.

Mobile FFI boundary for AxiomSync core runtime.

High-performance Rust SDK for Axiom Trade - the fastest decentralized exchange aggregator on Solana and Hyperliquid

Automatic API generator that creates a REST API mirror of a database in Rust

Pure Rust OpenGL backend for axion-gl

Scaffold Rust web services with an onion-architecture layout and generate resources across every layer — like Nest for Axum.

Core scene graph and renderer types for axion-gl

A high-performance data processing library written in Rust, providing DataFrame and Series functionality similar to pandas

Database functionality for the axion framework

GLB/glTF loader for axion-gl

Linear algebra math types for axion-gl (vec3, quat, mat4)

Windowing and OpenGL context creation for axion-gl via GLFW

A simple HTTP client for Rust

Batteries-included facade for the Axioval validation engine