Ouroboros — Laddoo 74/100

An open-source (MIT) spec-and-verify harness that sits around your coding agent — a strong idea with broad host support, still early and unverified by us at runtime.