Skip to content
View AlexTavor's full-sized avatar

Block or report AlexTavor

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
AlexTavor/README.md

Alex Tavor

I build the tools other devs build with. Authoring systems, visual editors, no-code platforms, and the compilers and toolchains underneath them. Fifteen years across Flash, Java, C#, TypeScript and Python, whichever the tool needed.

Agents got good enough at implementation that the work can finally move up to spec and architecture. That only holds while the tests can be treated as ground truth, so most of what is below is about validating tests.

alextavor.github.io · LinkedIn · Utrecht, NL


The method, and the experiment that killed it

pdd-experiment-cave: a three-arm experiment comparing a raw agent against a spec-driven method on a large brownfield codebase. Prompts frozen, commits pinned, blind adjudication by a separate judge. Stopped after run 1, because the result was stark and a run is expensive: the method found the same four high-severity issues as the raw agent at 3.9x the cost. Dashboard.

proof-driven-development: concluded. A method and CLI for changing code you cannot verify by reading, legacy or AI-generated, without breaking it. The experiment above is why it stopped, and the post-mortem says what came out of it.

engineering-discipline: the rules that survived, as an installable, stack-independent plugin. Every one exists because something went wrong on a real project, and each cites the commits it was recovered from.

chdr: a LangGraph orchestrator for an autonomous TDD loop, with a post-mortem on the results.

Engines and authoring

cave-public: a browser simulation game on a custom data-driven engine, with compiler and linker, physics, simulation and narrative subsystems, an authoring suite, and the art tool I made its visuals with. Play it.

Local tooling

dod: one local supervisor that registers, launches and frames every other local dashboard in a single admin UI.

rapport: local-only analysis and graphing of relationships from text chat dumps.


Stack: TypeScript · React · Node · Python · C# · Java · Unity

Open to lead and senior engineering roles. Reachable on LinkedIn.

Pinned Loading

  1. proof-driven-development proof-driven-development Public

    A methodology and CLI, with the skills, gates, and observability that make it work, for changing code you can't verify by reading, legacy or AI-generated, without breaking it.

    TypeScript

  2. pdd-experiment-cave pdd-experiment-cave Public

    A blind-adjudicated, pre-registered experiment measuring whether a spec-driven method beats a raw agent on a large brownfield codebase. Results seem to argue against the method.

    JavaScript

  3. engineering-discipline engineering-discipline Public

    Stack-independent software-engineering discipline package for Claude Code

    Python

  4. cave-public cave-public Public

    A browser-based simulation game built on a custom data-driven engine.

    TypeScript

  5. chdr chdr Public

    LangGraph orchestrator for an autonomous TDD loop.

    Python 1

  6. dod dod Public

    A dashboard of dashboards — one local supervisor that registers, launches, supervises, and frames every other local dashboard in a single admin UI.

    Python