Reef · reef.bio
Synthetic biology · AI

Describe the behavior. Design the biology.

Living cells are the most powerful computers we know. They sense, decide, and build. Reef is the interface for designing them: describe the behavior you want, and design, simulate, and pressure-test the genetic circuit before you ever touch the bench.

We put the IO in bIO.

For researchers and builders. No spam, just an early look.

Early-stage · building in the open
How it works

Behavior in. A circuit you can trust, out.

Reef closes the gap between knowing what you want a cell to do and having a design that actually works.

01 · Describe

Start from behavior, not a blank canvas

Say what you want the cell to do, in plain language. Reef proposes a candidate genetic circuit you can read, edit, and reason about.

02 · Simulate

Catch failures before the bench

Predict the design's behavior and surface likely failure modes, so DNA and bench time go to designs that are likely to work.

03 · Open

Standards, not lock-in

Built on open formats (SBOL) and meant to plug into the tools and foundries you already use.

Live · runs in your browser

Pick a behavior. See the biology compute it.

Flip the inducers below. Reef's behavior engine propagates the signal through the genetic logic and predicts the reporter, live in your browser.

Click an inducer node to toggle it on / off.

Predicted truth table

Running live in your browser on Reef's behavior engine. In the studio, designs flow into quantitative simulation, failure-mode checks, and AI-assisted design.

Request early access → Have an invite? Enter the studio
Live · dynamics in time

Logic is just the start. Watch a circuit keep time.

A 3-gene oscillator, designed and simulated in Reef. One run drives all three views at the same instant: the logic ring, the share-of-expression stream, and the genetic loop. Reef predicts how a circuit behaves over time, not just its truth table. Click any gene and the change ripples through every view.

The science

What a genetic circuit is, explained your way.

Cells run programs written in DNA. A genetic circuit is a specific wiring of genetic parts that produces a behavior. Read it however you like:

Think of a cell as a tiny computer and its DNA as the source code. Genes are like functions: each one makes a protein that does a job. Promoters are the if-statements: little switches in front of a gene that decide when it runs, and other proteins can flip those switches on or off.

String these together and you get programs: a toggle switch that flips between two states and remembers which one (a light switch with memory), an oscillator that pulses on and off on a rhythm (like a blinking cursor), or a logic gate that only acts on the right combination of signals (glows green only if sugar is high and oxygen is low). Reef lets you describe the behavior you want, then designs, simulates, and checks the genetic program before you build it.

Genetic circuits are engineered regulatory networks assembled from standardized parts (promoters, RBSs, coding sequences, terminators) wired so the protein products of one transcriptional unit regulate others. Transcription factors act as activators or repressors on downstream promoters; tuning promoter strength, RBS-determined translation-initiation rate, and degradation lets you build defined dynamics: bistable toggle switches, repressilator-style oscillators, and combinatorial logic (NOR being the most natural to implement as tandem operators on a single promoter).

Reef recommends characterized parts (quality-scored across the iGEM Registry and SynBioHub), assembles a topology, and simulates it: Hill-function ODE kinetics for deterministic population dynamics, with stochastic (Gillespie) modeling for noise and bistability. Designs are SBOL/SBML-native and export to GenBank/FASTA. Reef flags failure modes before you build: leaky expression, resource competition and metabolic burden, retroactivity at module interfaces, toxicity, and synthesis feasibility. Where Cello compiled Boolean logic into static gate assignments for one chassis, Reef targets dynamic, quantitative, characterization-grounded design across the full design-build-test loop.

Why now

40+ tools across the stack. Not one is an AI-native IDE for circuits.

The market already pays for biology software. The circuit-design layer, the wiring above proteins, is still served by academic tools a generation behind.

Cello 2.0academic · last major update 2022
The only true circuit-design tool. It's command-line only, with no GUI and no natural language. ~2,000 academic users, $0 commercial.
Benchling~$200M ARR · 200k+ scientists
The dominant lab system-of-record. It doesn't simulate circuit behavior at all: no ODE modeling, no AI-native circuit copilot.
iBioSim · SBOLDesigneracademic
Circuit modeling exists, but it's steep, SBML-heavy, and only intermittently maintained. Built for specialists, not adoption.
SnapGene~100k+ users
The universal way to draw DNA, but a drawing tool, not a simulator: no behavior prediction, not AI-native.
CELLMpublished 2025
The first language-model-to-circuit system is a CLI research prototype, not a product: no canvas, no registry, no build loop.
The full picture

Want the competitive landscape and our wedge?

We keep the deep research out of public view: the full 40+ tool teardown, the academic timeline, and where we attack. Request the brief and we'll send it over.

  • The full category map & tool-by-tool comparison
  • Why the incumbents are structurally barred from this layer
  • Our wedge, moat, and 12-month plan

We'll only use this to send the brief and follow up once.

Not here to build?  For investors →  ·  For partners →

About

Reef is an early-stage effort to give biology a real design interface: the layer between human intent and living systems. We're building it carefully, in the open, with the scientists who'd actually use it.