Every premium and members-only resource for $9.99/month, as a no-commitment subscription. See the plans

PalateKit

Sign in
Menu

Request a resource

Describe the resource you are missing in one sentence. We will email you when it is published.

0 / 280

A page, a video or an image online.

Unlock PalateKit

Unlock everything

Plan

Paying means accepting our terms of sale.

Secure payment by Stripe. Receipts and invoices sent by email.

Welcome back

Sign in to install, download or save this resource. A free account is enough for free resources.

Codebase research for Antithesis testing v1.0.0

Use this resource to analyse a codebase to plan how it should be tested with Antithesis

New

  • 321 downloads
  • 198 likes
  • 185 saves

Free

Install with the CLI

In a terminal, from the folder you want:

npx --yes palatekit@latest install antithesis-codebase-research

With no option, the skill goes to ~/.agents/skills/; add --agent claude-code (or codex, cursor…) to target an agent.

First time: connect the CLI with

npx --yes palatekit@latest login

The agent maps the system, identifies failure-prone areas and testable properties, then produces the research artefacts: system analysis, property catalogue and deployment topology. You get the groundwork needed to write the test harness.

Mostly picked by

Updated November 2, 2026

Card for the “Codebase research for Antithesis testing” skill

Details

Works in
Install guides
Generates with
Your agent's model
Licence
Apache-2.0

Similar resources

View all

What you get

  • SKILL.md: goals, prerequisites and the full research pass
  • references/property-catalog.md and property-discovery.md: catalogue and property discovery
  • references/faults.md and deployment-topology.md: faults and container topology

Good fit for

  • You are preparing a first Antithesis test campaign
  • You want to know which properties to check in your system

Not for

    Tags

    • antithesis
    • research
    • properties
    • testing

    About

    You say

    “Analyse this repository and propose the property catalogue to check with Antithesis.”

    Card for the “Codebase research for Antithesis testing” skill

    Skill published by antithesishq under the Apache-2.0 license, delivered in its original version.

    Show more

    How to use it

    1. Install the skill in your agent's skills folder
    2. Ask your agent to analyse a codebase to plan how it should be tested with Antithesis
    3. Review and adjust the result

    Content preview

    Files

    • LICENSE11.3 KB
    • NOTICE-PALATEKIT.md0.5 KB
    • references/deployment-topology.md5 KB
    • references/faults.md7.9 KB
    • references/property-catalog.md15.9 KB
    • references/property-discovery.md19.1 KB
    • references/property-evaluation.md15.9 KB
    • references/scratchbook-artifacts.md5.5 KB
    • references/scratchbook-setup.md5 KB
    • references/sut-analysis.md5 KB
    • references/sut-discovery.md11.7 KB
    • references/validating-claims.md4.6 KB
    • SKILL.md15.8 KB

    Origin and licence

    Listed unmodified

    Author
    antithesishq
    Source
    github.com/antithesishq/antithesis-skills/tree/ca4b8fba0991dbaf4b1b57bea9a4b9605725025f/antithesis-research
    Licence
    Apache-2.0

    Notice

    « antithesis-research » (antithesishq, Apache-2.0) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.

    User reviews

    –

    No ratings yet

    Loading reviews…

    Delete your review?

    Your rating and comment will be removed from the page.