> ## Skills

> Antithesis skills for coding agents.

> Fetch the complete documentation index at: https://antithesis.com/docs/llms.txt
> Use this file to discover all available pages before exploring further.

---

Antithesis skills help your AI agents use Antithesis, speeding up the time it takes to set up your system and start finding bugs.

Our skills enable agents to help with every stage of the Antithesis workflow:

- understanding how best to test your software
- setting up your system to run in the Antithesis environment
- writing workloads to exercise your system
- launching test runs
- triaging test results
- debugging

This page introduces the available skills and explains how to install them. For more information, see the [`antithesis-skills` repo](https://github.com/antithesishq/antithesis-skills/tree/main).

## Requirements

For your agent to use Antithesis, you'll need:

- [Snouty CLI](/docs/ai/snouty/)
- Docker or Podman
- npm

These aren't required if you're just using `antithesis-research`, since that skill doesn't involve Antithesis.

## Installing skills

The recommended way to install our skills is to use the [`npx skills`](https://www.skills.sh/) installer:

```bash
npx skills add antithesishq/antithesis-skills
```

Select the following options from the interactive menu:

1. **Skills**: select the skills you need.
2. **Install scope**: choose **global**, not project.
3. **Install method**: choose **symlink**.
4. **Install find-skills skill**: choose **No**.

After installing, restart any open agent sessions so that they discover the new skills.

To update your skills, run:

```bash
npx skills update
```

## Available skills

### Teach your agent how to use Antithesis

The [`antithesis-documentation`](https://github.com/antithesishq/antithesis-skills/blob/main/antithesis-documentation/SKILL.md) skill uses [`snouty docs`](/docs/ai/snouty/#view-the-antithesis-docs) to read and navigate the docs. It's used by other skills, or you can use it directly to ask questions about Antithesis.

### Understand your system's properties

The [`antithesis-research`](https://github.com/antithesishq/antithesis-skills/blob/main/antithesis-research/SKILL.md) skill analyzes your system and suggests properties your system should have (and that you should test for).

It produces a set of human-readable artifacts which are also used as inputs by the `antithesis-setup` and `antithesis-workload` skills.

The `antithesis-research` skill can be used as a standalone, without  Snouty or Antithesis.

### Set your system up to test in Antithesis

To set your system up to run in Antithesis, use the [`antithesis-setup`](https://github.com/antithesishq/antithesis-skills/blob/main/antithesis-setup/SKILL.md) skill if you use Docker Compose, or [`antithesis-setup-k8s`](https://github.com/antithesishq/antithesis-skills/blob/main/antithesis-setup-k8s/SKILL.md) if you use Kubernetes.

They create the config files and instrumentation you need to run your software in Antithesis, then validate it with [`snouty validate`](/docs/ai/snouty/#validate-your-system-setup).

These skills expect the output from the `antithesis-research` skill.

### Write a workload

To create a workload for use in Antithesis, use the [`antithesis-workload`](https://github.com/antithesishq/antithesis-skills/blob/main/antithesis-workload/SKILL.md) skill.

This skill turns properties from your catalog into [SDK assertions](/docs/concepts/properties_assertions/assertions/) and [test commands](/docs/product/test_templates/test_composer_reference/), one property at a time, then validates the result with [`snouty validate`](/docs/ai/snouty/#validate-your-system-setup).

`antithesis-workload` expects the output from the `antithesis-research` skill.

You can also use this skill to refine Antithesis coverage using the output from the [`antithesis-triage`](#triage-your-results) skill.

### Launch a test run

When you're ready to launch your test run, use the [`antithesis-launch`](https://github.com/antithesishq/antithesis-skills/blob/main/antithesis-launch/SKILL.md) skill.

This skill builds your images, validates your config with [`snouty validate`](/docs/ai/snouty/#validate-your-system-setup), and submits the run with [`snouty launch`](/docs/ai/snouty/#launch-a-test-run), stopping if any step fails.

### Triage your results

The [`antithesis-triage`](https://github.com/antithesishq/antithesis-skills/blob/main/antithesis-triage/SKILL.md) skill uses [`snouty runs`](/docs/ai/snouty/#understand-your-test-results) to get logs and property failures from a test run.

It investigates property failure examples by fetching logs from around the example moments, then checks system source code to investigate why the failure might have occurred. It then suggests follow-up actions, such as debugging a specific failure or refining your workload.

### Debug your software

If analysing the logs isn't enough to determine what went wrong, use the [`antithesis-debug`](https://github.com/antithesishq/antithesis-skills/blob/main/antithesis-debug/SKILL.md) skill to dig into a specific failure with Antithesis' [Multiverse Debugger](/docs/product/debugging/simple_mvd/).

The Multiverse Debugger allows your agent (or you) to inspect your container filesystem and runtime state at the moment of failure, run shell commands inside containers, and explore hypothetical execution paths in realtime.