Alex Tavor

I build the tools other devs build with

Fifteen years of authoring systems, visual editors, and the compilers and toolchains underneath them. Lately: what it takes to trust code an agent wrote, which comes down to whether the tests would catch a bug. I write up what I build, including the parts that did not work.

GitHub · LinkedIn

Writing

The cheap gate did all the work I ran a controlled experiment against my own methodology and stopped it. What survived was the cheapest part.
It worked, so I shut it down Building an agentic coding orchestrator, and what working proved.

Proof-Driven Development

Concluded in July 2026. The post-mortem says why, and the experiment is the evidence. These are what it was.

Explorer An interactive map of the method: every rule, how they reinforce each other, and where each gate fires.
Discipline The portable core as a reference: stack-independent engineering rules in full, grouped by theme, each citing the commits it was recovered from. Still maintained, as a plugin.

Code

Engines, authoring tools and local tooling are on GitHub.