Documentation
Build with AT-1
Everything to compress, decode, and query AT-1 files — in any language, in the browser, or at the edge.
New here? Start hereTinyFiles in plain English →No jargon: what it is, what it does to your files, whether yours will shrink, and the three ways to use it. Read this before anything else.The basics
Install it, compress something, get it back. Start to finish.
Getting startedInstall, connect your account, compress, decompress, query — the 5-minute tour.Examples & integrationsCopy-paste recipes: DuckDB, pandas, Postgres, S3, auto-tiering, AI agents.React: TanStack VirtualRender millions of rows from one compressed .at1 in the browser — no backend, <1% of the file read.React: TanStack DB & QueryHydrate a reactive TanStack DB collection (or a Query queryFn) from a compressed .at1, then useLiveQuery.ImagesWhat wins (raw, DICOM, scientific), what doesn't (JPEG/PNG), and how to use images in your app.CLI referencecompress / decompress / query / sql / info and the operational tools.Install via npm / pnpmThe full CLI as a native binary from npm — no Python. Works with npm, pnpm, yarn, bun.Install a licensed engine (CI)Get the compiled at1-engines wheel: enable in the dashboard, or fetch a checksummed, version-pinned wheel from CI with an API key + verify its SHA-256.Desktop appDrag-drop compress & query on Windows, macOS, Linux — with auto-update.SDK & bindingsPython, C ABI, WASM, Go, Rust, Node — decode anywhere.
Query your data
Search inside the compressed file — no unpack step.
AT-1 Ledger (flagship)One file that's an event log, an analytics table, and a tamper-evident ledger: append events, query & aggregate in place, and prove nothing was inserted, deleted, reordered, or altered via a hash chain.Query & SQLPredicate/projection pushdown, by name, range-GET, partitioned scans.Aggregate roll-upsSUM/MIN/MAX/COUNT a column straight from the footer — reads the roll-up, not the columns. Exact, optionally filtered.Recall costStop measuring by ratio: a one-cell lookup costs xz the whole archive (117 KB) and AT-1 just 3.9 KB. Unified memory for cold data.In-place appendAdd rows without rewriting: new frame appended, original frames byte-identical, only the SHA-256 trailer recomputed.Query from your engineDuckDB, SQLite, Postgres, Spark, Trino, ClickHouse, Polars, pandas — over one core.Query over the wireRange-GET a cold .at1 in S3/HTTPS reading under 1% of it — no server.Connect your tools & pipelinesPostgreSQL wire server (psql/DBeaver/Tableau), hosted encode-API, S3/R2 auto-encode watcher, byte-exact .zip, CI metering, POPIA subject-cols.Hosted HTTP APICall query / proofs / regulated / intel over HTTP — the licensed engine runs server-side and returns JSON. Free verify, metered reports.Appendable tablesAppend-only segments, compaction, and a tamper-evident hash-chained log.Time-travel queriesReconstruct a table as it was at any past point — for audit & debugging.Streaming & live ingestBounded-memory streaming compress; query a stream while it lands.
Storage codecs & verifiable analytics
Squeeze more out of structured & redundant data — and prove your results.
Adaptive & table compressionAuto-selects delta / AR / FFT / frame-of-reference / seasonal per column, never worse than zip; 2-D inputs get the per-column table codec. Bounded (error-bounded lossy) mode too.Dedup tier (at1 dedup)Content-defined chunking for backups, revisions, container layers, checkpoints — unique chunks stored once, byte-exact + per-file SHA-256. ~91% vs per-file.Record store (at1 zdict)Per-record random-access store with a trained dictionary — fetch one log/event/row by index, ~47% smaller than naive per-record.Lookup elimination (at1 lookup)Foreign-key / lookup-table elimination for CSV: store the map once, derive the columns on read. Never-worse, byte-exact.Verifiable analytics (at1 qsign)Signed, re-checkable query results: an Ed25519 receipt binds source + query + result hash so anyone can prove the number is genuine.
Connect your stack
Wire AT-1 into the storage and tools you already run.
Managed cloudS3-compatible write (compress on PUT) + transparent read + SQL REST.Ingest from a URLat1 fetch streams a download into a verified .at1 — plaintext never lands on disk.DatabasesQueryable, byte-exact archives of DB exports.Operational toolsat1-doctor (savings scan), at1-watch (auto-tier), at1-attest (attestation).MCP server (AI agents)Let Claude / Cursor / VS Code compress & query .at1 directly.
Files, media & AI
Queryable, verified videoFind the moment, pull that exact frame/clip out as a verified artifact, prove it's unaltered.Living Database (.html)A self-contained, searchable .html — and full-text search over PDFs & Word docs.Living AIPack a knowledge folder into one verified ~33 MB file with an on-device generative assistant.Addressable weights (.at1w)Per-tensor random access + SHA-256 integrity at ~40% smaller than raw bf16 — a safetensors drop-in.Verified model runtime (at1 model)Pack any model into one self-describing, SHA-256-verified .at1m and run/serve it — OpenAI-compatible, every weight integrity-checked on load.Deterministic replay (at1 replay)Store the recipe (generator + seed + params), not the trace, and regenerate byte-exact at decode — ~10^5× on seeded sims/synthetic data, never-worse fallback.
Industry verticals & licensed engines
Genomics (VCF)The genotype-aware codec, the verified BCF head-to-head, and the honest boundary.Condition monitoringLabel-free bearing-fault diagnostic from the compression residual — verified CWRU results, CMMS alerts.Licensed enginesEnable an engine → accept the EULA → download. Generative, weights, diagnostic, evidence, compliance, risk-tape.Vault / confidential clean-roomShare scoped, revocable, audited query grants — counterparties get answers, not the bytes.AI Evidence CapsuleA notarized, reproducible receipt for an AI inference — re-run it offline for byte-identical output.Compliance-grade storageVerified, tamper-evident, queryable retention for SEC 17a-4 / FINRA WORM, ESG/CSRD evidence.Right to erasureErase one data subject from a compressed archive in seconds — per-subject keys, key-destruction erasure, signed certificate. GDPR/CCPA.Risk Tape (Compression-VIX)A model-free market-stress index from order-flow structure — a coincident risk gauge.RNG Auditor (flagship)Prove a 'random' generator is weak by recovering it — MT19937 (Python's random), LCG families, short-period generators — then predict every future value. BROKEN / WEAK / PASS, for iGaming fairness, key-management & embedded-RNG audits.RNG auditor referenceThe CLI surface, encodings, verdict semantics, and the honest scope of what a PASS does and doesn't prove.Token Audit (security tokens)Point the auditor at your app's session IDs / reset tokens / API keys: recover weak generators and prove the next token is predictable. CI gate on weakness.Entropy AttestationA signed, ledger-logged certificate that a key/token source passed the weak-RNG audit — re-checkable trust for CA/HSM RNG validation & IoT key provenance.
Reference
Want the business case? See the overview and benchmarks.