Small, sharp tools we built for our own production work and released. The same standard as everything we ship: real code, honest docs, and nothing that locks you in.
A planning discipline in one file: 24 checks that decide whether a plan is executable. A plan that passes can be handed to a stranger; one that fails is refused, by task, file and line.
Your agent said it's done. Smokin' re-runs the proof itself: 35 checks that confirm the work holds up, with nothing left running. Trust the green, not the claim.
These are the tools behind how we plan and verify our own production work. More as we clean them up for release.