Auto-Arch Tournament vs marimo-pair

Auto-Arch Tournament is an autonomous research system where an AI agent iteratively proposes, implements, and validates microarchitectural improvements to a RISC-V CPU. Starting from a standard 5-stage pipeline, the loop runs hypotheses in parallel, each going through formal verification (53 symbolic checks), cycle-accurate simulation, multi-seed FPGA place-and-route, and CoreMark CRC validation. Only hypotheses that beat the current champion get merged; everything else gets discarded. Starting from 301 iterations/second, the system hit 577 iter/s (+92%) across 73 attempts in 9.8 hours — producing a design 26% faster and 40% smaller in LUTs than the baseline. The insight the author drives home is that the real innovation isn't the AI agent — it's the verifier. The orchestrator is hardcoded to prevent agents from manipulating their own evaluation gates, a simple but critical design constraint that turns a creative process into a trustworthy one. Without a rigorous verification harness, agent-driven optimization becomes a confidence trick. This is early but fascinating proof that AI-driven hardware design loops can produce commercially meaningful gains. The repo uses Claude Code or Codex as the coding agent, SystemVerilog for the RTL, and standard open-source EDA tooling (Yosys, nextpnr, Verilator). It's a compelling template for anyone building agentic optimization loops where correctness matters.

marimo-pair is an open-source extension for marimo reactive notebooks that lets you drop AI agents directly into live, running notebook sessions. Unlike traditional AI coding assistants that only see static code, these agents can execute cells, inspect in-memory variables, read dataframes, manipulate UI components, and iterate on your actual live state — not a static snapshot. The tool plugs into Claude Code via a marketplace plugin and supports any agent implementing the Agent Skills standard. An agent that can see and run your notebook opens up genuinely new workflows: "explore this dataframe and tell me what's anomalous," "run this hypothesis test on the data already in memory," or "generate a chart for each of these 12 conditions." It's the difference between an assistant that reads your code and one that works alongside you in your actual environment. Marimo itself is already a compelling React-based replacement for Jupyter — every cell tracks its dependencies so the notebook is always consistent. marimo-pair makes that reactive model collaborative with AI, enabling a new style of human-AI pair programming where the agent shares your full computational context.