Pinned Loading

1. tabularium tabularium Public

   Verifiable, auditable long-term memory for LLM agents -- append-only signed ledger, no LLM in the core, real H1-H4 eval results

   Rust 1

2. sbx sbx Public

   Hermetic sandbox executor that returns typed, delta-aware feedback to coding agents (Rust). Parsed compiler/sanitizer/test verdicts + run-to-run deltas instead of raw stdout.

   Rust 3

3. light-andromeda light-andromeda Public

   A user-space, kernel-bypass VPC overlay dataplane in Rust + AF_XDP — custom encapsulation, an SDN control plane, stateful NAT, and a rigorous single-core performance study.

   Rust 3

4. bulla bulla Public

   A hermetic, no-root sandbox that emits a signed, independently-verifiable receipt that the isolation seal held — verifiable governance for AI agents (Rust).

   Rust 3

5. lictor lictor Public

   A deterministic real-time safety fuse over any learned robot policy: failure prediction + geometric limit enforcement + human escalation, with Ed25519-signed, replayable intervention receipts (Rust).

   Rust 3

6. quaestor quaestor Public

   Autonomous options-trading agent with cryptographically signed, verifiable decision receipts (Alpaca hackathon)

   HTML 2