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. |
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