CtrlK
BlogDocsLog inGet started
Tessl Logo

haskell-pro

Expert Haskell engineer specializing in advanced type systems, pure functional design, and high-reliability software. Use PROACTIVELY for type-level programming, concurrency, and architecture guidance.

60

Quality

71%

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 ./skills/haskell-pro/SKILL.md
SKILL.md
Quality
Evals
Security

Quality

Content

57%

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

A compact, well-structured skill body that names the right Haskell concepts but stays at the level of principles rather than executable guidance. It would benefit from real code examples and validation steps, and from removing the generic placeholder lines.

Suggestions

Replace generic boilerplate ("Working on haskell pro tasks", "Clarify goals, constraints, and required inputs") with Haskell-specific guidance.

Add at least one runnable GHCi/compilable Haskell example illustrating a key technique (e.g., a newtype with a typeclass instance or an STM transaction).

Turn the Approach into a workflow with explicit validation checkpoints (compile, run tests with Hspec/QuickCheck, verify laws) rather than a list of design principles.

DimensionReasoningScore

Conciseness

Mostly efficient and free of basic-concept explanations, but generic filler such as "Working on haskell pro tasks or workflows" and "Clarify goals, constraints, and required inputs" could be tightened or removed.

2 / 3

Actionability

Names specific techniques and libraries (GADTs, STM, Megaparsec, Aeson) but provides no executable Haskell examples, leaving the guidance concrete yet incomplete for a code skill.

2 / 3

Workflow Clarity

The numbered Approach gives a sequenced design checklist, but it lacks explicit validation checkpoints or feedback loops; "validate outcomes" is mentioned only implicitly in the generic Instructions.

2 / 3

Progressive Disclosure

The skill is under 50 lines with no bundle files and uses well-organized sections (Focus Areas, Approach, Output), satisfying the simple-skill allowance for a top score.

3 / 3

Total

9

/

12

Passed

Description

85%

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

A well-crafted description that is specific, uses third person, and includes an explicit use-trigger clause for a clear Haskell niche. Its main weakness is trigger-term breadth, missing the everyday vocabulary Haskell users actually say.

Suggestions

Add common user-facing terms like cabal, stack, GHC, monads, and build errors so the description matches natural phrasing.

Replace the passive "specializing in" framing with concrete verbs (e.g., "Designs, refactors, and debugs Haskell...") to sharpen the action language.

DimensionReasoningScore

Specificity

Lists multiple concrete capabilities — "advanced type systems", "pure functional design", "type-level programming", "concurrency", and "architecture guidance" — matching the anchor for naming several specific concrete actions.

3 / 3

Completeness

Clearly states what ("Expert Haskell engineer specializing in...") and provides an explicit trigger clause ("Use PROACTIVELY for type-level programming, concurrency, and architecture guidance"), answering both what and when.

3 / 3

Trigger Term Quality

Includes relevant keywords ("Haskell", "functional", "concurrency") but misses common variations a user would say such as cabal, stack, GHC, monads, or builds, so coverage is incomplete.

2 / 3

Distinctiveness Conflict Risk

The Haskell-specific niche with concrete triggers is clearly distinguishable from other skills and unlikely to fire for unrelated tasks.

3 / 3

Total

11

/

12

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

metadata_version

'metadata.version' is missing

Warning

Total

15

/

16

Passed

Repository
rmyndharis/antigravity-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.