CtrlK
BlogDocsLog inGet started
Tessl Logo
SkillPublic

haskell-pro

Expert Haskell engineer specializing in advanced type systems, pure

Quality

47%

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-claude/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

31%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 generic persona skeleton padded with tautological use/do-not-use sections. It has no runnable Haskell examples despite promising them, its Approach is principle-listing rather than a validated workflow, and its only progressive-disclosure pointer targets a nonexistent file.

Suggestions

Delete the boilerplate "Use this skill when" / "Do not use this skill when" / generic Instructions sections; they restate the skill name without adding information.

Add one or two complete, compilable Haskell snippets (e.g., a GADT modeling an invariant or a small Megaparsec parser) to back up the Output section's promises.

Fix the progressive-disclosure reference: either create resources/implementation-playbook.md with the detailed examples or remove the broken pointer, and add verification steps (compile with -Wall, run QuickCheck/Hspec) to the Approach workflow.

DimensionReasoningScore

Conciseness

Several sections are padded boilerplate that add nothing: "Working on haskell pro tasks or workflows", "Needing guidance, best practices, or checklists for haskell pro", "The task is unrelated to haskell pro", and generic instruction bullets like "Clarify goals, constraints, and required inputs" / "Apply relevant best practices and validate outcomes". The Focus/Approach/Output lists are lean, but the tautological filler sections mark it as noticeably verbose.

2 / 5

Actionability

The body contains no code, commands, or examples despite an Output section that promises "Provide examples runnable in GHCi" and "Megaparsec/Aeson parsing examples". Guidance like "Use expressive types, newtypes, and invariants to model domain logic" is a high-level hint rather than an executable step, matching 'minimal concrete guidance; high-level hints but missing the specific steps to execute'.

2 / 5

Workflow Clarity

The Approach section lists a 7-step sequence, but the steps are design principles rather than an operational workflow, and there are no validation checkpoints or feedback loops (e.g., "compile with -Wall", "run the QuickCheck suite") to confirm correctness. Sequence present, checkpoints missing — the score-4 anchor requires most checkpoints present.

3 / 5

Progressive Disclosure

The single external pointer ("open resources/implementation-playbook.md") is broken — no resources/ directory or bundle files exist, so navigation dead-ends. Combined with inlined generic filler that displaces structure, this matches 'minimal structure; references are buried/broken' more than the well-organized score-3 profile.

2 / 5

Total

9

/

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 severely damaged by truncation: it ends mid-phrase at "pure", omits any 'when to use' trigger clause, and states a persona rather than concrete capabilities. It identifies the Haskell niche clearly but fails on completeness and specificity.

Suggestions

Complete the truncated description and enumerate concrete capabilities (e.g., designs GADTs/type families, writes STM/async concurrency, builds Megaparsec/Aeson parsers, tunes performance with strictness analysis, maintains Cabal/Stack projects).

Add an explicit trigger clause such as "Use when writing, refactoring, debugging, or optimizing Haskell code, or when the user mentions GHC, Cabal, Stack, type families, or .hs files."

Include natural synonyms and file extensions (Haskell, GHC, .hs, functional programming) to broaden trigger coverage.

DimensionReasoningScore

Specificity

The description names the domain ("Expert Haskell engineer specializing in advanced type systems") but lists no concrete actions or capabilities, and the sentence is truncated mid-phrase ("pure"). It names a domain without stating what the skill does, matching the 'names the domain but actions are minimal or generic' anchor rather than the vaguer score-1 anchor.

2 / 5

Completeness

There is a partial 'what' (an expert Haskell engineer persona), but it is cut off mid-sentence, and there is no 'Use when...' clause or equivalent trigger guidance anywhere — the guideline caps a missing trigger clause at 3, and the vague truncated 'what' pushes it down to 'has a vague what and no when'.

2 / 5

Trigger Term Quality

"Haskell" and "type systems" are natural terms a user would say, but common variations and synonyms (functional programming, GHC, .hs, cabal, stack) are absent, and the truncation cuts off any additional keywords. This fits 'some relevant keywords but missing common variations or synonyms'.

3 / 5

Distinctiveness Conflict Risk

Haskell is a clear niche that is unlikely to fire for unrelated skills, giving minor conflict risk. It falls short of the score-5 anchor because the truncated description offers no distinct trigger phrases and its breadth (advanced type systems, purity, implied general engineering) could overlap a generic functional-programming skill.

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.

Validation — 15 / 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

Path

plugins/AI-Agents-Safe-Coding-Skills-claude/skills/haskell-pro/SKILL.md

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.