CtrlK
BlogDocsLog inGet started
Tessl Logo

static-analysis

Run Clang Static Analyzer (scan-build) on Z3 source and log structured findings to z3agent.db.

62

Quality

72%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide

SecuritybySnyk

Passed

No findings from the security scan

Fix and improve this skill with Tessl

tessl review fix ./.github/skills/static-analysis/SKILL.md
SKILL.md
Quality
Evals
Security

Quality

Content

82%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.

The skill body is lean, actionable, and well-sequenced with executable commands and clear success/failure branching. Minor gaps in explicit validation checkpoints and reference signaling keep it just short of the top anchor.

Suggestions

Add an explicit validation checkpoint after the build (e.g. confirm plist files were produced before parsing) to strengthen the feedback loop.

Signal referenced files more clearly with named links (e.g. 'See [static_analysis.py](scripts/static_analysis.py)') rather than bare command paths.

Briefly note how the --db / z3agent.db logging integrates so the regression-tracking step is fully self-contained.

DimensionReasoningScore

Conciseness

The body is efficiently structured with Action/Expectation/Result blocks and minimal over-explanation; only minor phrasing (e.g. restated expectations) could be trimmed.

4 / 5

Actionability

Provides fully executable, copy-paste-ready commands with concrete flags (--build-dir, --output-dir, --timeout) and a complete parameters table covering the common cases.

5 / 5

Workflow Clarity

The three-step sequence is clear with explicit success/failure branches and example output, but validation is somewhat implicit (rely on scan-build completion) rather than an explicit checkpoint that verifies parsed findings before logging.

4 / 5

Progressive Disclosure

Well-organized sections with a single real referenced script (scripts/static_analysis.py) and shared/z3db.py at one level deep; structure is clean though the references are bare paths in code blocks rather than explicitly signaled navigation links.

4 / 5

Total

17

/

20

Passed

Description

62%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 is specific and clearly distinct, but it omits any explicit 'Use when' trigger guidance, which caps completeness and weakens trigger-term quality. It describes the what well but not the when.

Suggestions

Add a 'Use when...' clause naming natural trigger phrases, e.g. 'Use when running static analysis on Z3, checking for clang static-analyzer findings, or tracking static-analysis regressions.'

Include common conversational synonyms or variations (e.g. 'static analysis', 'clang analyzer', 'scan-build') to broaden natural keyword coverage.

Mention the plist-diagnostic parsing and finding categories explicitly to round out capability coverage.

DimensionReasoningScore

Specificity

Names the concrete actions (run Clang Static Analyzer, log structured findings to z3agent.db) targeting the Z3 domain, with only minor coverage gaps (e.g. no mention of parsing plist diagnostics here).

4 / 5

Completeness

Clearly states what the skill does but provides no 'Use when...' clause or equivalent explicit trigger guidance, capping completeness at 3 per the rubric.

3 / 5

Trigger Term Quality

Includes relevant technical keywords ('Clang Static Analyzer', 'scan-build', 'Z3') but lacks natural conversational synonyms or variations a user would naturally say beyond the tool name.

3 / 5

Distinctiveness Conflict Risk

The scan-build/Z3/static-analysis niche is highly specific with distinct triggers and minimal risk of conflicting with unrelated skills.

5 / 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.

Validation16 / 16 Passed

Validation for skill structure

No warnings or errors.

Repository
Z3Prover/z3
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.