CtrlK
BlogDocsLog inGet started
Tessl Logo
PluginPublic

testland/model-based-test-graph-author

Use when a complex stateful flow (checkout, onboarding, multi-step wizard) needs systematic model-based coverage that ad-hoc tests miss. Builds a state-machine model, checks it is complete, picks a coverage criterion, generates covering paths and turns them into a curated test suite.

Quality

88%

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

Overview
Quality
Evals
Security
Files

Quality

Content

77%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 body is a well-structured, highly actionable MBT guide with excellent workflow sequencing, validation feedback loops, and clean one-level progressive disclosure. Its weaknesses are token efficiency (duplicated state listings and quoted encyclopedic definitions) and minor executable gaps in the path-generation handoff. Suggestions below target the two lowest dimensions.

Suggestions

Cut the Wikipedia block quotes from the Overview and replace them with a single-line framing (e.g. "Model-based testing derives tests from a state-machine model; the model is the artifact") — Claude already knows what MBT is.

Drop the plain-text state/transition listing or the YAML version of the checkout example (they encode the same machine) and keep only the portable YAML, which is the artifact the skill actually produces.

Specify the format of generated/paths.json (a small JSON example with path id and transition sequence) and show at least one path in full, since the step-3 bridge consumes this file and elided paths leave the handoff underspecified.

DimensionReasoningScore

Conciseness

The body quotes Wikipedia definitions of model-based testing, presents the checkout state space twice (plain-text listing then YAML), and includes a full-length Playwright test, so while the substance is actionable it is noticeably long and could be tightened. It is not level 2 since there is no tutorial-style padding of library or basic concepts.

3 / 5

Actionability

The portable YAML model, bridged acceptance_criteria YAML, and Playwright test are concrete and nearly copy-paste ready, but the generated paths are shown elided ("empty_cart -> add_item -> ... -> confirmed") and the format of generated/paths.json — which step 3 consumes — is never specified. These minor gaps keep it below fully executable.

4 / 5

Workflow Clarity

Both the five-step "How to use" and the pipeline section are clearly sequenced with explicit validation checkpoints ("fix the model before generating anything"), a stop-and-ask gate on missing inputs, and a curation loop routing low-confidence tests to manual review before merge — matching the anchor for explicit validation with error-recovery feedback.

5 / 5

Progressive Disclosure

The single bundle file (references/model-validation-and-coverage.md, verified to exist) is one level deep, clearly signaled at both point-of-use and in a References section, and correctly holds the validator/path-generator bulk while one worked example stays inline in the overview.

5 / 5

Total

17

/

20

Passed

Description

92%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 strong: third-person, explicitly gated on concrete "Use when" triggers (checkout, onboarding, multi-step wizard), and enumerating the full build-validate-cover-generate-convert pipeline. Its only weakness is moderate synonym coverage of trigger terms. No changes required.

DimensionReasoningScore

Specificity

"Builds a state-machine model, checks it is complete, picks a coverage criterion, generates covering paths and turns them into a curated test suite" lists multiple distinct concrete actions covering the skill's full pipeline, matching the comprehensive-coverage anchor rather than the minor-gaps level.

5 / 5

Completeness

The description opens with an explicit "Use when a complex stateful flow... needs systematic model-based coverage that ad-hoc tests miss" trigger clause and follows with a clear third-person statement of what the skill does, explicitly answering both what and when with concrete trigger phrases.

5 / 5

Trigger Term Quality

"checkout, onboarding, multi-step wizard", "stateful flow", and "ad-hoc tests" are natural trigger phrases, but common variations a user might say (e.g. "state machine", "test coverage", "edge cases") are absent, placing it at good-but-not-comprehensive keyword coverage.

4 / 5

Distinctiveness Conflict Risk

"model-based coverage" and "state-machine model" define a clear MBT niche with distinct triggers that would not plausibly fire for generic test-authoring or single-step testing skills.

5 / 5

Total

19

/

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.

Reviewed

On this page