CtrlK
BlogDocsLog inGet started
Tessl Logo
SkillPublic

antithesis-research

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.

Quality

82%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide
SecuritybySnyk

Low

Low-risk findings worth noting

SKILL.md
Quality
Evals
Security

Quality

Content

88%Weight 40%Scale 1-5

Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.

A well-orchestrated research skill: highly actionable, clearly sequenced workflows with explicit validation and feedback loops, and proper use of a reference bundle to keep the main file an overview. The only weaknesses are minor — some repeated artifact listings, a duplicated version line, and one orphaned bundle file that is not reachable from SKILL.md.

Suggestions

Add 'references/scratchbook-artifacts.md' to the Reference Files table (or remove it if superseded by scratchbook-setup.md) — it is currently undiscoverable from the skill entry point.

Trim the artifact-path redundancy: the output artifact list appears in Purpose, in the workflow steps, and again in Output; consolidate to one canonical list.

DimensionReasoningScore

Conciseness

Largely lean operational guidance with no explanation of concepts Claude already knows — the Definitions section covers Antithesis-specific domain concepts (Test Template, Timeline, valid command prefixes), not generic ones. Minor trims are possible: the artifact list appears three times (Purpose, workflow steps, Output), and the 'Skill version' line duplicates the frontmatter metadata. Fits anchor 4 (efficient, minor over-explanation to trim); not 3 because there is no genuinely unnecessary explanation.

4 / 5

Actionability

Guidance is fully concrete and executable for an instruction-only skill: exact output paths ('antithesis/scratchbook/properties/{slug}.md'), specific SDK macros to search for ('assert_always!', 'assert_sometimes!', 'assert_reachable!', 'assert_unreachable!'), exact provenance fields ('sut_path', 'commit', 'updated', 'external_references'), and per-step reference reads. Specific examples cover the common cases, matching anchor 5.

5 / 5

Workflow Clarity

Three workflows (full research pass, targeted property research, property expansion) are clearly numbered and sequenced, with an explicit evaluation feedback loop (evaluate → 'apply refinements, fill gaps, escalate biases to the user') and a comprehensive 25-item Self-Review checklist that even specifies a fresh-context reviewer for validation. This matches anchor 5's explicit validation steps, feedback loops, and checklists.

5 / 5

Progressive Disclosure

Good structure: SKILL.md is an orchestration overview with a Reference Files table ('When to read' column) and workflows that name which reference to read at each step; all referenced paths exist in the bundle. Minor gaps keep it below anchor 5: 'references/scratchbook-artifacts.md' exists in the bundle but is not referenced from SKILL.md or anywhere else (orphaned, undiscoverable), and reference files cross-link each other (e.g., sut-discovery.md → sut-analysis.md → validating-claims.md), creating mild two-level chains — mitigated by the top-level table listing most files.

4 / 5

Total

18

/

20

Passed

Description

66%Weight 40%Scale 1-5

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

The description clearly and concretely states what the skill does in third person, with strong domain-specific trigger terms around Antithesis testing. Its main weakness is the complete absence of a 'when to use' clause, which caps completeness at 3 despite the otherwise solid specificity.

Suggestions

Add an explicit trigger clause, e.g., 'Use when starting Antithesis testing on a codebase, before designing workloads or the test environment.'

State the phase relationship to sibling skills explicitly (this is the research step that precedes antithesis-setup and antithesis-workload) to reduce overlap risk among skills sharing the 'Antithesis' trigger.

Include natural synonyms users might say, such as 'property-based testing' or 'fuzzing', to broaden trigger coverage.

DimensionReasoningScore

Specificity

Lists several concrete actions — 'map the system, identify failure-prone areas and testable properties, and produce the research artifacts' — though 'produce the research artifacts' is less concrete than the other actions. Fits anchor 4 (several specific actions, minor gaps in coverage); not 5 because outputs like the existing-assertion scan and topology design are only implied, and per guidelines only explicit statements count.

4 / 5

Completeness

The 'what' is clear (map the system, identify failure-prone areas and properties, produce research artifacts), but there is no 'Use when...' clause or equivalent explicit trigger guidance — the 'when' is only weakly implied by 'how it should be tested with Antithesis'. Per the rubric guideline, a missing 'Use when...' clause caps completeness at 3.

3 / 5

Trigger Term Quality

Good natural keyword coverage: 'Analyze a codebase', 'tested with Antithesis', 'failure-prone', 'testable properties', 'workload', 'environment planning'. A few natural terms users might say are missing (e.g., 'property-based testing', 'fuzzing', 'stress testing'), so it fits anchor 4 rather than 5, but it is well above anchor 3's 'missing common variations'.

4 / 5

Distinctiveness Conflict Risk

'tested with Antithesis' carves out a clear niche with minimal conflict against generic testing skills. Minor overlap risk remains with closely related sibling skills (antithesis-setup, antithesis-workload, antithesis-triage) that share the same 'Antithesis' trigger, and the description does not explicitly say when research applies instead of those phases, so anchor 4 fits better than 5.

4 / 5

Total

15

/

20

Passed

Validation

100%

Checks the skill against the spec for correct structure and formatting. All validation checks must pass before discovery and implementation can be scored.

Validation — 16 / 16 Passed

Validation for skill structure

No warnings or errors.

Repository

antithesishq/antithesis-skills

Path

antithesis-research/SKILL.md

Reviewed

Table of Contents

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.