Verifiable infrastructure for the agent economy.
We build systems that respect your time and agency.
adastracomputing.com · hello@adastracomputing.com
Software increasingly acts on people's behalf. When it does, it should leave a record an outside party can check. Every project here applies that one rule to a different layer of the stack.
 |
vega-agent | A Nix binary cache you do not have to trust. Builds enter the shared tier only when independent rebuilders produce the same bytes, and every attestation lands in a public transparency log. |
 |
ink | An open protocol for signed agent-to-agent messages. The receiver verifies the envelope before it acts. |
 |
ahd | Critiques of AI-generated design that anyone can re-run. Findings stay reproducible against a named, versioned rule set. |
 |
nixpkgs | The working fork for Trace, our research on AI-assisted CVE remediation. Nothing here is submitted upstream. |
 |
receipts | The open format and verifier behind Folio, our writing app. A published piece of writing travels with a signed record of how it was written, down to which passages an AI wrote, and any reader can check it. |
witness, a reference INK transparency witness. vega-reproducer, the Vega-operated rebuilder. adastra-claude-plugins, slash commands for our public MCP server.
per aspera ad astra
Nix snowflake by Simon Frankau and Tim Cuthbertson, CC BY 4.0.