What is antithesis-setup?

A setup guide for Antithesis, a system-testing platform that explores software behavior under varied conditions. It creates the Docker-based files needed to prepare a test harness.

Use it to prepare a Docker Compose Antithesis environment before adding workloads or launching a test run.

It removes the manual work of arranging the harness, connecting system images, checking the setup, and adding an initial test property.

antithesis-setup — Skill for Claude Code by antithesishq

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent

npx skills add antithesishq/antithesis-skills --skill antithesis-setup

Clone the repo

git clone --depth 1 https://github.com/antithesishq/antithesis-skills

Made for: Claude Code.

Or install antithesis-skills, the plugin that ships this one along with the rest of its 12 skills.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

README.md

[![agentmods](https://agentmods.dev/badge/skills/antithesishq/antithesis-skills/antithesis-setup/github.svg)](https://agentmods.dev/skills/antithesishq/antithesis-skills/antithesis-setup)

Your own site

<a href="https://agentmods.dev/skills/antithesishq/antithesis-skills/antithesis-setup"><img src="https://agentmods.dev/badge/skills/antithesishq/antithesis-skills/antithesis-setup/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

Your own site · 80×15

<a href="https://agentmods.dev/skills/antithesishq/antithesis-skills/antithesis-setup"><img src="https://agentmods.dev/badge/skills/antithesishq/antithesis-skills/antithesis-setup.svg" alt="Reviewed on agentmods" width="80" height="20"></a>

Per session 65 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.

When invoked 2,234 The whole file, excluding the scripts and references it only reads on demand.

Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe. Third-party audits

Socket pass 15 May 2026
Snyk warn 15 May 2026
NVIDIA SkillSpector pass 7 Sept 2026

How audits are shown

Origin original No closer match found in the catalogue.

Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

Model	Per session	Once invoked
Fable 5.1	$0.00065	$0.02234
Opus 5	$0.00032	$0.01117
Sonnet 5	$0.00013	$0.00447
Haiku 4.5	$0.00006	$0.00223

Measured 2d ago against content hash 4b217ce5f99d, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-10, from the pricing page.

Security

Grade A, and why

antithesis-setup scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2d ago.

The scan reads SKILL.md. This mod also ships 1 executable file (assets/antithesis/setup-complete.sh), listed below but not scanned — reading those needs a real analyzer, not pattern matching.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

antithesis-setup/SKILL.md · 127 lines

How it starts

The opening of the file, as written. The whole thing — 127 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Antithesis Setup

Skill version: 2026-09-08 2e4a837

Purpose and Goal

Scaffold the antithesis/ harness needed to bring the system up in Antithesis in a mostly idle, ready state.

Success means:

antithesis/config/docker-compose.yaml exists and required SUT images are referenced with build: directives
snouty validate on antithesis/config/ succeeds
the SUT dependency graph includes the relevant Antithesis SDK where assertions or lifecycle hooks will run
at least one minimal bootstrap property exists in a simple SUT path and is expected to show up in the first Antithesis run
The harness is ready for the antithesis-workload skill to add or iterate on test templates, assertions, and workload code
If the user asks to submit or launch a run, use the antithesis-launch skill — do not run snouty launch directly

Prerequisites

Research artifacts required. Before proceeding, check whether antithesis/scratchbook/ exists and contains research output (at minimum sut-analysis.md and deployment-topology.md). If the scratchbook is missing or empty, stop and warn the user:

The antithesis-research skill has not been run yet (no scratchbook found at antithesis/scratchbook/). Setup depends on research artifacts — especially the SUT analysis and deployment topology — to make informed decisions about instrumentation, image structure, and service composition. Please run antithesis-research first, review its output, then return to setup.

Do not attempt to proceed without research artifacts. The setup skill will make significantly worse decisions without the context that research provides.
Verify research provenance. Setup runs once per project and produces durable, expensive output (Dockerfiles, compose, instrumentation), so misalignment is costly. Read whatever provenance frontmatter is present in antithesis/scratchbook/sut-analysis.md and antithesis/scratchbook/deployment-topology.md. Use whatever fields you find — the schema may evolve over time, so don't treat partial or older frontmatter as broken. Describe what you found in plain language. Examples:

Read the full file on GitHub · 127 lines

Files

What ships with it

17 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

2d ago Changed 4b217ce5f99d
7d ago Changed 84ecab00639a
11d ago First seen · 127 lines · 65 tokens per session scan A 60b6e0cb92f8

Subscribe to this mod's changes

antithesis-setup is a skill published in the GitHub repository antithesishq/antithesis-skills (267 stars, last pushed 2d ago), licensed Apache-2.0. It adds 65 tokens to every session and 2,234 once invoked, about $0.0003 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Testing

research-engineer

An uncompromising Academic Research Engineer. Operates with absolute scientific rigor, objective criticism, and zero flair. Focuses on theoretical correctness, formal verification, and optimal implementation across any required technology.

davila7/claude-code-templates · 43 tokens

tika-eval-compare

Compare extracts from two Tika builds over a corpus to detect regressions in content, encoding, exceptions, and embedded-document handling. Use for "compare before/after extracts", "eval this change against the corpus".

apache/tika · 50 tokens

neuron-evaluation-engineer

Create and run AI evaluations with datasets, assertions, and output drivers in Neuron AI. Use this skill whenever the user mentions evaluation, testing AI systems, creating evaluators, dataset-driven testing, assertion-based validation, or wants to measure AI system performance. Also trigger for tasks involving…

neuron-core/neuron-ai · 77 tokens

antithesis-setup