Packages

A method of connecting, querying, sending and receiving over AT-SPI.

Macros to assist in various impl blocks for the `atspi` crate.

AT-SPI2 proxies to query or manipulate UI objects

Bluetooth Attribute Protocol Server

Name reservation for Attacca Protocol - an agent pool protocol for software-engineering work. In development.

💉 Simple LoadLibrary DLL injector.

A high-performance, $O(1)$, Master-Slave slab allocator designed for `no_std` environments, kernels, and embedded systems. This library provides fixed-size memory management with RAII safety while remaining completely agnostic of the underlying memory provider.

Request Mitre ATTACK data offline

A pure Rust attack detection library with 27 detectors across 4 categories — injection, protocol, data, and file attacks. Zero framework dependencies.

Educational Rust implementation of ECDSA cryptographic attacks (research and learning purposes only).

MITRE ATT&CK Framework semantic layer - strongly-typed, graph-based interface for threat intelligence

Rust Library for AttackerKB API

Grammar-based security payload generation - TOML-driven, composable, encoding-aware

Structure representation of MITRE ATT&CK matrices

Attempt to do something over and over and over and over and...

A CLI for retrying fallible commands

Wrap a function with 'unwrap or return'

A classroom attendance tracking CLI

Attention Matters

Create and verify JWTs that support secure offline attenuation

common components for atters and atterc

Extrenal iteration style parsing of proc-macro attributes

UART Terminal to interact with iot devices using AT commands

串口调试工具，使用eframe框架开发

Dead simple test framework for the age of AI

CLI for TEE attestation measurement, generation, and verification

Independent command-line verifier for attest-ledger record chains and audit segments.

Hashing, Ed25519 anchor signing, and independent verification for the attest-ledger tamper-evident record chain and audit-segment chain.

Data types for attest-ledger: the tamper-evident LedgerRecord envelope, signed ChainAnchor, and verification error taxonomy.

TEE attestation measurement: predict expected register values from images

Provisioning Certificate Caching Service with pre-emptive fetching

TEE attestation evidence generation (DCAP TDX, Azure vTPM)

Ecosystem-aligned trust layer for AI agents (Rust)

Shared wire-format types for the attest workspace

TEE attestation evidence verification

One Attestation to Rule them All

Shared types and helpers for the LP-0005 attestation circuit (guest + host).

Logos Delivery (a.k.a. Logos Messaging) transport abstraction for LP-0005 credentials.

A Rust library for attesting enclaves according to the Evervault Attestation scheme. This crate is used to generate ffi bindings.

Typed attestation exchange contracts for envelope, trust-root, and transparency artifacts

Async HTTP client for the LEZ sequencer JSON-RPC API used by LP-0005 (getProofForCommitment, getAccount, getTransaction, getLastBlockId, sendTransaction).

Validates attestation certificate chains and inspects attestation certificates

LEZ on-chain verifier program (SPEL) for LP-0005 attestation credentials.

Verify GitHub Artifact Attestations (Sigstore bundles) offline - minimal, sans-io, fail-closed

Minimal Intel TDX quote verification crate for raw quotes, hex, or wrapped TDX JSON payloads

Verifying an enclave's attestation and opening an HPKE channel to the enclave it attests

Attested mTLS helpers: PEM load, cert digests/pins, client identity builders

Attestix offline credential verifier - verify Ed25519 W3C Verifiable Credentials and UCAN delegation chains issued by the Attestix Python core, with no Python runtime. Reproduces the Attestix JCS-style canonical form (NFC-normalized, not strict RFC 8785).

Promise-Theory verification: assess a turn's output against declared promises → findings + trust delta

A crate for parsing and serialization of .attheme files.