AlfredA verifiable autonomous coding agent

The harness is executable, "done" is a machine-enforced gate, memory is agent-curated but inspectable, and every hands-off run leaves a signed, replayable receipt.

Get started

Quickstart

Architecture

Verifiable autonomy

A feature_list state machine driven by an objective verify gate — only a captured exit 0 (plus a rubric pass) marks a feature done — with an HMAC hash-chained ledger you can audit and a journal you can replay.

Best-of-breed, not a clone

Memory, orchestration, code intelligence, security, and model routing synthesized from across the ecosystem. Every choice is adopt / adapt / reject, grounded in an ADR.

Security no mainstream harness ships

Lethal-trifecta defense at the content layer — taint fencing, a default-deny egress allow-list, secret redaction, and a dual-LLM quarantine for untrusted input.

Local-first & inspectable

Memory, skills, hooks, journals, and signed ledgers are plain files under .alfred/ that you can cat, grep, and git diff. No cloud control plane.