CtrlK
BlogDocsLog inGet started
Tessl Logo

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.

60

Quality

68%

Does it follow best practices?

Impact

No eval scenarios have been run

SecuritybySnyk

Advisory

Suggest reviewing before use

Optimize this skill with Tessl

npx tessl skill review --optimize ./antithesis-research/SKILL.md
SKILL.md
Quality
Evals
Security

Security

1 medium severity finding. This skill can be installed but you should review these findings before use.

Medium

W011: Third-party content exposure detected (indirect prompt injection risk)

What this means

The skill exposes the agent to untrusted, user-generated content from public third-party sources, creating a risk of indirect prompt injection. This includes browsing arbitrary URLs, reading social media posts or forum comments, and analyzing content from unknown websites.

Why it was flagged

Third-party content exposure detected (high risk: 0.80). The skill's "Prerequisites and Scoping" (SKILL.md) explicitly asks the user for external references (paths or URLs) and the workflow/instructions in SUT discovery, property discovery, and evaluation (e.g., references/sut-discovery.md and references/property-discovery.md) require agents to consult and read those user-named external references, meaning the agent will fetch and interpret arbitrary third‑party content that can influence decisions.

Report incorrect finding
Repository
antithesishq/antithesis-skills
Audited
Security analysis
Snyk

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.