CtrlK
BlogDocsLog inGet started
Tessl Logo

solana-vulnerability-scanner

Scans Solana programs for 6 critical vulnerabilities including arbitrary CPI, improper PDA validation, missing signer/ownership checks, and sysvar spoofing. Use when auditing Solana/Anchor programs.

72

Quality

Does it follow best practices?

Impact

No eval scenarios have been run

SecuritybySnyk

Advisory

Suggest reviewing before use

SKILL.md
Quality
Evals
Security

Quality

Content

77%

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

The body is highly actionable with a clear sequenced workflow and checklists, but it is over-long with redundancy and a broken reference to a non-existent VULNERABILITY_PATTERNS.md file.

Suggestions

Create the referenced resources/VULNERABILITY_PATTERNS.md or remove the broken links, since the file is cited twice but absent from the bundle.

Tighten the body: remove the empty 'Example Output' section and deduplicate the section 12 checklist against the section 7 workflow steps.

Move the long inline reporting-format example (section 8) into a reference file to reduce the SKILL.md footprint and improve progressive disclosure.

DimensionReasoningScore

Conciseness

Mostly actionable rather than explanatory, but the ~385-line body has redundancy (section 12 checklist repeats section 7), a placeholder empty 'Example Output' section, and a very long inline reporting example that could be trimmed.

2 / 3

Actionability

Provides copy-paste-ready ripgrep commands, complete Rust/TypeScript code examples, TOML config, and per-pattern checklists — fully executable guidance rather than vague direction.

3 / 3

Workflow Clarity

Section 7 lays out a clear six-step sequenced scanning workflow, each with grep commands and checkbox validation lists; this read-only audit does not require destructive-operation feedback loops.

3 / 3

Progressive Disclosure

Sections are well organized, but the referenced resources/VULNERABILITY_PATTERNS.md does not exist in the bundle, and the only bundle asset (trail-of-bits-mark.svg) is not referenced — a broken one-level reference with detail that arguably should be split out.

2 / 3

Total

10

/

12

Passed

Description

100%

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 is specific, uses natural third-person voice, and clearly pairs capability with an explicit use-trigger. It is concise yet complete with no notable over-claims.

DimensionReasoningScore

Specificity

Names the domain and lists multiple concrete vulnerability classes ('arbitrary CPI, improper PDA validation, missing signer/ownership checks, and sysvar spoofing'), matching the 'lists multiple specific concrete actions' anchor.

3 / 3

Completeness

Explicitly states what it does ('Scans Solana programs for 6 critical vulnerabilities...') and when to use it ('Use when auditing Solana/Anchor programs'), satisfying both what and when with an explicit trigger.

3 / 3

Trigger Term Quality

'Use when auditing Solana/Anchor programs' plus 'CPI', 'PDA', 'sysvar' cover the natural terms a user would say when requesting a Solana security audit.

3 / 3

Distinctiveness Conflict Risk

The Solana-specific vulnerability niche (CPI, PDA, sysvar spoofing) is highly distinct and unlikely to trigger for unrelated skills.

3 / 3

Total

12

/

12

Passed

Validation

93%

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

Validation15 / 16 Passed

Validation for skill structure

CriteriaDescriptionResult

relative_links

Relative link issues: 2 missing

Warning

Total

15

/

16

Passed

Repository
trailofbits/skills
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.