Toolkit for Your AI Scientists – Rigorous, Auditable and Verifiable ARA Labs released the Agent-Native Research Artifact (ARA), a toolkit that makes AI-generated scientific research verifiable and auditable by structuring documentation and providing agent skills for capture, compilation, rigor review, and visualization. The ecosystem layer for AI scientists.A protocol and skill bundle that makes autoresearchverifiable, crystallized, and observable— so trust scales with speed instead of collapsing under it. AI scientists can now generate hypotheses, execute experiments, and produce results at near-infinite speed. But this acceleration has created a new fundamental bottleneck: How do we verify it? And how do we effectively guardrail the process? When an AI generates thousands of exploratory steps, human researchers cannot manually untangle the logs to ensure empirical rigor. We need a fundamental shift in how research is documented and supervised. Publishing compiles a rich research process into a lossy narrative left . ARA preserves it as a structured, machine-executable knowledge package the AI scientist writes and the human reads right . ARA is a bundle of agent skills and protocols built to solve this bottleneck. It provides a rigorous, structured way to document research knowledge, strategically crystallize insights over time, and make autonomous scientific processes entirely observable and verifiable. Jump to how to use it ↓ quickstart Instead of leading with layers, the bundle maps directly to how it solves the bottleneck through three core design principles: AI agents require precise constraint boundaries to prevent hallucinated conclusions. The system acts as a strict epistemic anchor , automatically applying formal verification principles to ensure every scientific claim is directly wired to ground-truth execution and falsifiable results. Research is rarely a straight line; it is a messy graph of pivots and dead ends. The system forces AI scientists to systematically document their trajectory, crystallizing fleeting, unstructured logs into highly structured, reliable research knowledge that builds compounding value over time. Supervising AI scientists shouldn't require reading endless terminal outputs. The system translates complex agent behaviors and exploration graphs into a clean, minimalist interface. It lets human researchers maintain high-level oversight, seamlessly stepping in to course-correct or guide the AI's behavior with zero friction. To operationalize these design principles, ARA provides four specialized agent skills. You can install them via: npx @ara-commons/ara-skills Auto-detects Claude Code, Cursor, Gemini CLI, OpenCode, Codex, and Hermes, then prompts for skills, agents, and install scope global vs. local . Full CLI reference: packages/ara-skills/ /ARA-Labs/Agent-Native-Research-Artifact/blob/main/packages/ara-skills . Then reach for a skill by what you need: | If you want to… | Skill | Invoke | |---|---|---| Capture research faithfully as you work — decisions, ablations, dead ends, configs | research-manager | /research-manager or wire it to run automatically | Compile an existing paper, repo, or notes into a structured ARA | compiler | /compiler