Antithesis Research

Skill version: 2026-08-24 d6b507d

Purpose and Goal

Research a target system and produce scratchbook artifacts that unblock the rest of the workflow. Success means:

antithesis/scratchbook/sut-analysis.md captures architecture, state, concurrency, and failure-prone areas
antithesis/scratchbook/property-catalog.md lists concrete, testable properties with priorities
antithesis/scratchbook/deployment-topology.md describes the minimal useful container topology
antithesis/scratchbook/properties/{slug}.md captures per-property evidence trails and context
antithesis/scratchbook/property-relationships.md maps suspected clusters and connections between properties
antithesis/scratchbook/evaluation/synthesis.md records categorized evaluation findings and actions taken

At the start of every research run, ask the user about external references: