CtrlK
BlogDocsLog inGet started
Tessl Logo

testland/model-based-test-graph-author

Build-an-X workflow for model-based testing (MBT) per the canonical definition - authors a state-machine model of the SUT (states + transitions + guards + actions), validates the model is connected and complete, and feeds the model to a test generator (manual / AI / dedicated MBT tool) that produces test paths covering each transition. Per Wikipedia (en.wikipedia.org/wiki/Model-based_testing): MBT "leverages model-based design for designing and possibly executing tests." Use when a complex stateful flow (checkout, onboarding, multi-step wizard) needs systematic coverage that ad-hoc tests miss.

75

Quality

94%

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

85%

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

The body is actionable, well-sequenced with validation feedback, and cleanly splits detail into a single one-level reference. Its main weakness is conciseness: the worked example duplicates the state/transition listing and the Wikipedia quote is repeated across several sections.

Suggestions

Remove the duplicate state/transition listing: keep only the canonical YAML model in 'Portable model' and drop the near-identical 'State space' pseudo-list, or vice versa.

Quote Wikipedia once (in Overview or References) instead of re-quoting it in 'Generate paths', 'Anti-patterns', and 'Limitations'; cite [mbt-wiki] without restating the sentence.

Replace the elided path lines ('... -> confirmed') with the full transition sequence so the path examples are as copy-paste-ready as the model and test code.

DimensionReasoningScore

Conciseness

Mostly efficient with concrete examples and no concept-explaining padding, but it lists the checkout states and transitions twice (a pseudo-list in 'State space' then again in full YAML) and re-quotes Wikipedia in four places, so it could be tightened rather than earning the every-token-counts anchor at 3.

2 / 3

Actionability

Provides executable artifacts — a complete tool-agnostic YAML model, a runnable validator in the reference, and copy-paste-ready TypeScript test code — rather than the pseudocode/incomplete anchor at 2.

3 / 3

Workflow Clarity

The 'How to use' steps are clearly sequenced with an explicit validation checkpoint (step 3) that links to a validator with assert-based fix-and-retry feedback, matching the explicit-validation anchor rather than the implicit-checkpoint case at 2.

3 / 3

Progressive Disclosure

The body is an overview with a clearly signaled, one-level-deep reference (references/model-validation-and-coverage.md, a real self-contained file holding the validator and coverage detail), matching the well-signaled single-level anchor rather than the inline-bloat or nested-reference cases at 2 or 1.

3 / 3

Total

11

/

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, trigger-rich, complete with an explicit Use-when clause, and clearly distinct from other skills. Its only weakness is mild verbosity from an embedded Wikipedia quote that adds length without trigger value.

Suggestions

Drop the inline Wikipedia quote ('leverages model-based design for designing and possibly executing tests') from the description; the canonical-definition framing and Use-when clause already convey the skill's purpose more concisely.

Trim the parenthetical URL '(en.wikipedia.org/wiki/Model-based_testing)' from the description since the body already links the reference.

DimensionReasoningScore

Specificity

Lists multiple concrete actions — 'authors a state-machine model of the SUT (states + transitions + guards + actions)', 'validates the model is connected and complete', 'feeds the model to a test generator' — matching the multiple-specific-actions anchor rather than the partially-comprehensive anchor at 2.

3 / 3

Completeness

Explicitly answers both 'what' (authors/validates/feeds a test generator) and 'when' via the explicit 'Use when a complex stateful flow... needs systematic coverage that ad-hoc tests miss' clause, so it is not capped at 2.

3 / 3

Trigger Term Quality

Includes natural scenario terms a user would say — 'checkout', 'onboarding', 'multi-step wizard', 'complex stateful flow', 'model-based testing' — giving good coverage rather than the partial-keyword case at 2.

3 / 3

Distinctiveness Conflict Risk

Occupies a clear MBT / state-machine-modeling niche with distinct stateful-flow triggers, making conflict with other skills unlikely.

3 / 3

Total

12

/

12

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.

Reviewed

Table of Contents