AI导哈

数据与研究

antithesis-research

antithesishq/an…s-skills

Analyze a codebase to figure out how it should be tested with Antithesis: map the system, identify failure-prone areas and testable properties, and produce the research artifacts needed for workload and environment planning.

  • 645 次安装
  • 302 星标
  • 收录于

安装命令

npx skills add https://github.com/antithesishq/antithesis-skills --skill antithesis-research

SKILL.md

Antithesis Research

Skill version: 2026-10-21 4f8d80b

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

Prerequisites and Scoping

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

相关 Skills

antithesis-documentationantithesishq/an…s-skillsUse Antithesis documentation efficiently for product, workflow, and integration questions. Prefer the snouty docs CLI when available, and otherwise request markdown versions of documentation pages directly.智能体工作流611antithesis-triageantithesishq/an…s-skillsTriage Antithesis test reports to understand what happened in a run: look up runs, check status, investigate failed properties (assertions), view metadata, download logs, search events across all timelines, inspect findings, and examine environmental details. Load after a run completes or when investigating a failure.测试与安全610antithesis-workloadantithesishq/an…s-skillsImplement Antithesis workloads by turning the property catalog into SDK assertions and test commands, then refine coverage after triage.测试与安全601antithesis-setupantithesishq/an…s-skillsScaffold the Antithesis harness with docker-compose: initialize the working directory, write Dockerfiles and docker-compose.yaml with build directives, and prepare to submit your first Antithesis test run. If the desired setup is Kubernetes, defer to the antithesis-setup-k8s skill.部署与运维584antithesis-debugantithesishq/an…s-skillsRun a bash script inside an Antithesis run at a chosen moment with `snouty runs exec`, from the terminal and without a browser. Use it for scripted forensics on a run: process and container inspection, on-disk evidence, gdb attach, and general debugging. Covers command usage, the live-session requirement, common workflows and errors, and how virtual time and perturbation limit what a debugger can see.测试与安全576antithesis-launchantithesishq/an…s-skillsLaunch an Antithesis run with snouty by discovering the harness layout, building the right Docker Compose config, running `snouty validate`, bailing on validation failure, and then submitting `snouty launch` with sane metadata. Use when the user wants to send, submit, or launch an Antithesis run. This skill takes duration in minutes as input.部署与运维513