CtrlK
BlogDocsLog inGet started
Tessl Logo

haskell-pro

Expert Haskell engineer specializing in advanced type systems, pure

44

Quality

45%

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 ./plugins/AI-Agents-Safe-Coding-Skills/skills/haskell-pro/SKILL.md

The canonical home for this skill is haskell-pro in administrakt0r/AI-Agents-Safe-Coding-Skills

SKILL.md
Quality
Evals
Security

Quality

Content

50%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-sectioned, reasonably concise overview of Haskell expertise areas with a decent numbered approach list, but it lacks executable examples and its single external reference points to a nonexistent file.

Suggestions

Replace the generic Instructions bullets with concrete, actionable guidance (e.g. specific GHCi snippets, Cabal/Stack commands, or a total-function rewrite pattern).

Either create `resources/implementation-playbook.md` with the promised examples or remove the dangling reference.

Turn the Approach principles into a genuine workflow with explicit validation checkpoints (e.g. compile-check, QuickCheck run) rather than a list of design heuristics.

DimensionReasoningScore

Conciseness

The body is mostly lean bullet lists, but the "Use this skill when"/"Do not use" sections and generic Instructions bullets ("Apply relevant best practices and validate outcomes") are filler that could be tightened.

3 / 5

Actionability

Focus Areas name concrete libraries and concepts (GADTs, STM, Aeson, Megaparsec) and the Approach is a numbered list, but there is no executable code or concrete commands, and the Instructions section is high-level.

3 / 5

Workflow Clarity

The Approach is a numbered 1-7 list giving some sequence, but the entries are design principles rather than an ordered workflow, and there are no explicit validation checkpoints.

3 / 5

Progressive Disclosure

Sections are clearly organized and there is a one-level-deep, signaled reference ("open `resources/implementation-playbook.md`"), but that referenced file does not exist in any bundle directory, leaving a dead pointer.

3 / 5

Total

12

/

20

Passed

Description

40%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 a truncated persona statement that names a domain but states no concrete actions and gives no trigger guidance. It is moderately distinctive thanks to the Haskell niche but fails on completeness and specificity.

Suggestions

Rewrite the description as concrete actions, e.g. "Designs and reviews Haskell code using GADTs, type families, and STM; writes Cabal/Stack configs and QuickCheck property tests."

Add an explicit trigger clause: "Use when working on Haskell code, type-system design, or Cabal/Stack project issues."

Fix the truncation so the description is a complete sentence rather than ending mid-word at "pure".

DimensionReasoningScore

Specificity

The description names the domain ("Haskell", "advanced type systems") but states a persona ("Expert Haskell engineer specializing in") rather than concrete actions, and is truncated mid-phrase at "pure".

2 / 5

Completeness

It offers a vague, truncated "what" (a Haskell expert in type systems) and no "when" guidance; the missing 'Use when...' clause caps completeness and the cutoff leaves the what incomplete.

2 / 5

Trigger Term Quality

"Haskell" and "advanced type systems" are natural terms a user might say, but coverage is thin and missing common variations or synonyms like functional programming or specific tooling names.

3 / 5

Distinctiveness Conflict Risk

Haskell plus advanced type systems is a fairly distinct niche with only minor overlap risk against closely related functional-programming skills.

4 / 5

Total

11

/

20

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

frontmatter_unknown_keys

Unknown frontmatter key(s) found; consider removing or moving to metadata

Warning

Total

15

/

16

Passed

Repository
administrakt0r/AI-Agents-Safe-Coding-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.