This one walks you through researching a codebase for Antithesis testing: mapping architecture, finding failure-prone areas, and cataloging testable properties as structured markdown artifacts. It prompts you upfront about external references, scans for existing SDK assertions, and runs either ensemble or single-agent workflows depending on scope. The output lands in a scratchbook with system analysis, property catalogs, deployment topology, and evaluation synthesis. Useful when you're starting an Antithesis integration from scratch or expanding property coverage after triage. The reference files are prescriptive about how to discover properties and what counts as a good safety, liveness, or reachability claim.
npx skills add https://github.com/antithesishq/antithesis-skills --skill antithesis-research