Using Antithesis with AI

Antithesis offers a number of tools that enable AI agents to handle large parts of the Antithesis workflow for you.

Antithesis skills for agents

If you’re working with a coding agent and using Docker Compose, we offer a set of skills that enable your agent to do most of your Antithesis setup for you.

We also offer skills that enable agents to help with triage and debugging. You can find them in the same repo, but note that these are in early development.

Snouty CLI

Agents use Antithesis via the Snouty CLI. You’ll need to install Snouty to use the skills.

Snouty is under active development and likely to change. It’s intended primarily as an interface for agents. Humans can use Snouty as well, but you should avoid depending directly on Snouty. You can depend on agentic workflows built on the Antithesis skills.

Further documentation is in the readme.

Docs access for agents

Our documentation is written for AI tools — coding assistants, agents, and LLMs — as well as humans. Sometimes AIs read more thoroughly than people do!

There’s an index of every page in our documentation and resources section, with links to markdown versions, in the llms.txt convention at: https://antithesis.com/docs/llms.txt.

If you just want an index of the resources section, it’s available under the Resources header.

There’s also a dedicated documentation skill that helps agents parse our docs.

Markdown versions of every page

Simple append .md to the URL and remove trailing slashes.

For example:

https://antithesis.com/docs/test_templates/composer_example/

becomes

https://antithesis.com/docs/test_templates/composer_example.md
  • Introduction
  • How Antithesis works
  • Using Antithesis with AI
  • Get started
  • Test an example system
  • With Docker Compose
  • Build and run an etcd cluster
  • Add a test template
  • With Kubernetes
  • Build and run an etcd cluster
  • Add a test template
  • Setup guide
  • For Docker Compose users
  • For Kubernetes users
  • Product
  • Test templates
  • Creating test templates
  • Test commands
  • How to check a test template locally
  • How to port tests to Antithesis
  • Test launchers
  • Reports
  • The triage reports
  • Findings
  • Environment
  • Utilization
  • Properties
  • The bug reports
  • Context, Instance, & Logs
  • Bug likelihood over time
  • Logs Explorer & multiverse map
  • Debugging
  • Multiverse debugging
  • Advanced mode
  • The Antithesis multiverse
  • Querying with event sets
  • Environment utilities
  • Using the Antithesis Notebook
  • Cookbook
  • Tooling integrations
  • CI integration
  • Discord and Slack integrations
  • Issue tracker integration - BETA
  • Configuration
  • Access and authentication
  • The Antithesis environment
  • Best practices
  • Docker best practices
  • Kubernetes best practices
  • Optimizing for testing
  • Concepts
  • Properties and Assertions
  • Properties in Antithesis
  • Assertions in Antithesis
  • Sometimes Assertions
  • Properties to test for
  • Fault injection
  • Reference
  • Webhooks
  • Launching a test
  • Launching a debugging session
  • Webhook parameters
  • SDK reference
  • Define test properties
  • Generate randomness
  • Manage test lifecycle
  • Assertion catalog
  • Coverage instrumentation
  • Go
  • Instrumentor
  • Tutorial
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • Java
  • Using the SDK
  • Building your software
  • Tutorial
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • C
  • C++
  • C/C++ Instrumentation
  • Tutorial
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • JavaScript
  • Python
  • Tutorial
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • Rust
  • Instrumentation
  • Tutorial
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • .NET
  • Instrumentation
  • Tutorial
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • Languages not listed above
  • Assert (reference)
  • Lifecycle (reference)
  • Assertion Schema
  • Handling external dependencies
  • FAQ
  • Product FAQs
  • About Antithesis POCs
  • Release notes
  • Release notes
  • General reliability resources
  • Reliability glossary
  • Techniques for better software testing
  • Autonomous testing
  • Deterministic simulation testing
  • Property-based testing
  • White paper — How much does an outage cost?
  • Catalog of reliability properties for key-value datastores
  • Catalog of reliability properties for blockchains
  • Test ACID compliance with a ring test