New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Haskell Pro

by davila7 in davila7/claude-code-templates

Expert Haskell engineer specializing in advanced type systems, pure

MITAuto-check passedDevelopment

Install Haskell Pro

skills CLI
$ npx skills add davila7/claude-code-templates --skill haskell-pro -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install davila7/claude-code-templates haskell-pro --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/davila7/claude-code-templates.git skills-src && mkdir -p .claude/skills && cp -r skills-src/cli-tool/components/skills/development/haskell-pro .claude/skills/haskell-pro && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
haskell-pro
GitHub stars
32k
Used in
8 other repos
Token cost
~551 tokens
SKILL.md length
263 words
Files
1
Skills in repo
477
Repo updated
First seen
Licence
MIT

At a glance

Expert Haskell engineer specializing in advanced type systems, pure

  • Works in 7 steps: Use expressive types, newtypes, and… → Prefer pure functions and isolate IO to… → Recommend safe, total alternatives to… → …
  • Tasks that involve Type safety
  • SKILL.md covers Use this skill when, Do not use this skill when, Instructions and Focus Areas, plus 2 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Haskell Pro is an agent skill from davila7/claude-code-templates. Expert Haskell engineer specializing in advanced type systems, pure

Its SKILL.md is about 550 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Development, covering Type safety. The repository describes itself as: CLI tool for configuring and monitoring Claude Code. The licence is MIT.

When your agent uses it

  • Tasks that involve Type safety

Example prompts

  • “/haskell-pro”

Workflow steps

7 steps, taken from the first numbered list in SKILL.md.

  1. Use expressive types, newtypes, and invariants to model domain logic
  2. Prefer pure functions and isolate IO to explicit boundaries
  3. Recommend safe, total alternatives to partial functions
  4. Use typeclasses and algebraic design only when they add clarity
  5. Keep modules small, explicit, and easy to reason about
  6. Suggest language extensions sparingly and explain their purpose
  7. Provide examples runnable in GHCi or directly compilable

What it can do on your machine

Read from SKILL.md and the folder at commit 14680ec. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md.

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Haskell Pro loads about 551 tokens when it runs. Until then it costs about 20 tokens; SKILL.md has 263 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~20
When it runs · the whole SKILL.md, loaded when a task matches
~551

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from davila7/claude-code-templates at commit 14680ec, republished under its MIT licence (© davila7). 263 words, ~551 tokens.

Download SKILL.mdSave it as .claude/skills/haskell-pro/SKILL.md (or your agent's skills folder).
name
haskell-pro
description
Expert Haskell engineer specializing in advanced type systems, pure
risk
safe
source
community
date_added
2026-02-27

Use this skill when

  • Working on haskell pro tasks or workflows
  • Needing guidance, best practices, or checklists for haskell pro

Do not use this skill when

  • The task is unrelated to haskell pro
  • You need a different domain or tool outside this scope

Instructions

  • Clarify goals, constraints, and required inputs.
  • Apply relevant best practices and validate outcomes.
  • Provide actionable steps and verification.
  • If detailed examples are required, open resources/implementation-playbook.md.

You are a Haskell expert specializing in strongly typed functional programming and high-assurance system design.

Focus Areas

  • Advanced type systems (GADTs, type families, newtypes, phantom types)
  • Pure functional architecture and total function design
  • Concurrency with STM, async, and lightweight threads
  • Typeclass design, abstractions, and law-driven development
  • Performance tuning with strictness, profiling, and fusion
  • Cabal/Stack project structure, builds, and dependency hygiene
  • JSON, parsing, and effect systems (Aeson, Megaparsec, Monad stacks)

Approach

  1. Use expressive types, newtypes, and invariants to model domain logic
  2. Prefer pure functions and isolate IO to explicit boundaries
  3. Recommend safe, total alternatives to partial functions
  4. Use typeclasses and algebraic design only when they add clarity
  5. Keep modules small, explicit, and easy to reason about
  6. Suggest language extensions sparingly and explain their purpose
  7. Provide examples runnable in GHCi or directly compilable

Output

  • Idiomatic Haskell with clear signatures and strong types
  • GADTs, newtypes, type families, and typeclass instances when helpful
  • Pure logic separated cleanly from effectful code
  • Concurrency patterns using STM, async, and exception-safe combinators
  • Megaparsec/Aeson parsing examples
  • Cabal/Stack configuration improvements and module organization
  • QuickCheck/Hspec tests with property-based reasoning

Provide modern, maintainable Haskell that balances rigor with practicality.

© davila7, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in cli-tool/components/skills/development/haskell-pro of davila7/claude-code-templates.

Open the folder on GitHubat commit 14680ec

Used in 8 other repositories

We found 17 copies of this SKILL.md (exact, near-identical or edited) in other folders, from 8 other GitHub owners. This page covers the copy in davila7/claude-code-templates, which our catalogue first saw on October 7, 2026.

Compare with similar skills

Haskell Pro next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Haskell Pro compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Haskell Pro this skilldavila7/claude-code-templates32k8 repos~551Automated safety check: PassMIT
Typescript Advanced Typesrolling-scopes/rsschool-app10k25 repos~4.2kAutomated safety check: PassMPL-2.0
Minimizing Ty Ecosystem Changesastral-sh/ruff50k—~4.6kAutomated safety check: PassMIT
RTK Rust Design Patternsrtk-ai/rtk83k—~1.9kAutomated safety check: PassApache-2.0
Kedro Babysitkedro-org/kedro11k—~4kAutomated safety check: PassCustom licence
Dignified Python Standardsdocling-project/docling69k—~1.5kAutomated safety check: PassApache-2.0

Similar skills

  • Typescript Advanced Types

    rolling-scopes/rsschool-app

    Master TypeScript's advanced type system including generics, conditional types, mapped types, template literals, and utility types for building type-safe applications.

    10k GitHub starsUsed in 25 repos~4.2k tokens
    DevelopmentAuto-check passed

  • Minimizing Ty Ecosystem Changes

    astral-sh/ruff

    Official

    A skill your agent uses when a user says "minimize this ty ecosystem change", "reproduce this ecosystem result", "investigate a primer difference", "investigate a mypyprimer difference"…

    50k GitHub stars~4.6k tokensUpdated today
    DevelopmentAuto-check passed

  • RTK Rust Design Patterns

    rtk-ai/rtk

    Describes seven Rust design patterns for the RTK CLI filter modules, with when to use each, RTK examples, and notes on when a pattern is overkill.

    83k GitHub stars~1.9k tokensUpdated yesterday
    DevelopmentAuto-check passed

  • Kedro Babysit

    kedro-org/kedro

    Run Kedro's local lint / format / type-check / tests on changed files (uses the project's pre-commit hooks, ruff, mypy, pytest, lint-imports, detect-secrets, Make targets — in the right venv), or…

    11k GitHub stars~4k tokensUpdated yesterday
    DevelopmentAuto-check passed

  • Dignified Python Standards

    docling-project/docling

    Applies opinionated production Python conventions chosen by the project's Python version: modern type syntax, pathlib, explicit checks and interface guidance.

    69k GitHub stars~1.5k tokensUpdated today
    DevelopmentAuto-check passed

  • Wagmi Feature Development

    wevm/wagmi

    Walks through adding a Wagmi feature across its layers: a Viem-based core action, TanStack Query options, and React and Vue bindings.

    6.8k GitHub stars~3.8k tokensUpdated 7 days ago
    DevelopmentAuto-check passed

More from davila7/claude-code-templates

All 477 skills in this repo

  • Perplexity Web Search

    davila7/claude-code-templates

    Runs web-grounded searches through Perplexity's Sonar models over OpenRouter for current events, recent literature and cited facts beyond the model's training cutoff.

    32k GitHub starsUsed in 12 repos~3.5k tokens
    Auto-check: notes

  • Neuropixels Data Analysis

    davila7/claude-code-templates

    Analyzes Neuropixels recordings from SpikeGLX or Open Ephys through preprocessing, drift correction, Kilosort4 spike sorting, quality metrics and curation.

    32k GitHub starsUsed in 10 repos~2.8k tokens
    Auto-check passed

  • Scientific Venue Templates

    davila7/claude-code-templates

    Supplies LaTeX templates and formatting rules for journals, conferences, posters, and grant proposals, then can check a draft against them.

    32k GitHub starsUsed in 9 repos~5.1k tokens
    Auto-check: notes

  • Brand Voice Content Creator

    davila7/claude-code-templates

    Analyzes a brand's existing writing to lock in a consistent voice, then builds SEO blog posts and platform-specific social content around it.

    32k GitHub starsUsed in 3 repos~1.9k tokens
    Auto-check passed

  • CAPA Officer

    davila7/claude-code-templates

    Guides corrective and preventive action (CAPA) work in a quality management system, from initiation and root cause analysis through effectiveness verification.

    32k GitHub starsUsed in 1 repo~2k tokens
    Auto-check passed

  • Fda Consultant Specialist

    davila7/claude-code-templates

    Senior FDA consultant and specialist for medical device companies including HIPAA compliance and requirement management.

    32k GitHub starsUsed in 1 repo~2.7k tokens
    Auto-check passed

Categories

Questions about Haskell Pro

What does Haskell Pro do?

Expert Haskell engineer specializing in advanced type systems, pure. Haskell Pro is an agent skill from davila7/claude-code-templates.

When should I use Haskell Pro?

Haskell Pro fits situations like: tasks that involve Type safety.

How do I install Haskell Pro in Claude Code?

Run `npx skills add davila7/claude-code-templates --skill haskell-pro -a claude-code`. Or copy the skill folder (cli-tool/components/skills/development/haskell-pro in davila7/claude-code-templates) into .claude/skills/haskell-pro in your project. Claude Code loads it when a task matches its description.

How do I install Haskell Pro in Codex?

Run `npx skills add davila7/claude-code-templates --skill haskell-pro -a codex`. Or copy the skill folder (cli-tool/components/skills/development/haskell-pro in davila7/claude-code-templates) into .agents/skills/haskell-pro in your project. Codex loads it when a task matches its description.

Can I use Haskell Pro in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add davila7/claude-code-templates --skill haskell-pro -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/haskell-pro, .gemini/skills/haskell-pro, .github/skills/haskell-pro and .opencode/skills/haskell-pro in your project.

What does Haskell Pro need to run?

SKILL.md names no scripts, command-line tools or credentials: Haskell Pro is instructions for the agent only.

Does Haskell Pro access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Haskell Pro safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Haskell Pro use?

Haskell Pro is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Haskell Pro use?

About 551 tokens (SKILL.md is roughly 2.2k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Haskell Pro?

Skills that share tags, products or a category with Haskell Pro: Typescript Advanced Types (rolling-scopes/rsschool-app, 10k stars), Minimizing Ty Ecosystem Changes (astral-sh/ruff, 50k stars), RTK Rust Design Patterns (rtk-ai/rtk, 83k stars) and Kedro Babysit (kedro-org/kedro, 11k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Haskell Pro?

davila7 (a GitHub user) maintains it in davila7/claude-code-templates, which has 32,463 GitHub stars. The repository holds 477 skills in this directory. The repository was last updated on October 8, 2026.

Source: davila7/claude-code-templates on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.