Turns property catalogs from the antithesis-research skill into working SDK assertions and test commands. You point it at a property, it writes the assertions and test harness code, then iterates based on triage findings. Designed to work one property at a time to keep context manageable. Expects you've already run antithesis-research to build the catalog and antithesis-setup to scaffold the infrastructure. The workflow is opinionated about pacing: it starts with simple properties to validate the harness end to end, then moves to high-priority ones once you're cooking. Requires snouty installed and won't proceed without the scratchbook in place.
npx skills add https://github.com/antithesishq/antithesis-skills --skill antithesis-workload