AAF (Agents Autonomous Factory) is a research platform for multi-agent software development in which large language models act as typed proposers inside an explicit symbolic control loop, while state, transitions, tests, side effects and completion are owned by a deterministic control layer. The architecture constrains model autonomy with fail-closed control paths and evidence-gated completion workflows.
Bounded execution, role capabilities, and a single source of operational truth
AAF orchestrates multiple AI actors (interactive panels, autonomous agents, single-task workers) against a single operational source of truth. AAF's agent-facing control plane requires actors to access the database and infrastructure only through approved tool boundaries (MCP).
Each control-plane call is checked against the caller's role and the command's required capability. This lets the platform combine model-driven proposals with bounded, auditable execution. AAF also maintains a robotics research track (Project ARC) as an active exploratory direction.
AAF uses four distinct memory layers covering project knowledge, temporal continuity, operational state, and analytics.
Route the question. Preserve the evidence boundary.
AAF does not treat every kind of memory as one undifferentiated pool. The Unified Retrieval Router (URR) is the evidence-aware entry point that directs a query to the relevant layers: current operational state in OMM, contextual knowledge in CMM, and temporal history in HTMM. It returns evidence together with its source type and provenance, so the control layer can distinguish what is true now, what the project knows, and what happened over time.
The current routing path prioritises OMM, CMM and HTMM. ADMM contributes curated analytic evidence and datasets for evaluation and reward workflows. The broader learning loop is still being completed, so URR operates as evidence-aware routing.
Symbolic control graphs with a fail-closed safety contract
Investigating robust neurosymbolic agency, long-horizon operational continuity, and formal verification
For academic collaboration, architecture consultations, or technology partnerships, reach out to our research team.