Build a Haskell project, interpret GHC errors, and apply safe fixes. Use when the user asks Codex to build Haskell code, fix compilation errors, or run cabal/stack build workflows.
Effectful library conventions and decision rules. Use when writing effectful code, designing effects, or migrating from mtl.
Idiomatic Haskell conventions and decision rules. Use when writing Haskell code, designing data types, or handling errors.
Relude conventions and safe patterns. Use when setting up relude, migrating from Prelude, or working with relude-based projects.
Expert Haskell code review for idiomatic patterns, type safety, purity, error handling, and performance. Use when reviewing Haskell source files or PR changes.
Own this plugin?
Verify ownership to unlock analytics, metadata editing, and a verified badge. GitHub access is read-only (username + org membership).
Sign in to claimOwn this plugin?
Verify ownership to unlock analytics, metadata editing, and a verified badge. GitHub access is read-only (username + org membership).
Sign in to claimBased on adoption, maintenance, documentation, and repository signals. Not a security audit or endorsement.
Haskell development skills and hooks for Codex.
Install this repository as a local Codex plugin, or publish it through a Codex marketplace entry that points at this plugin directory.
git clone [email protected]:birdgg/haskell-plugin.git
| Skill | Description |
|---|---|
haskell-build | Build with cabal/stack, parse GHC errors, and apply safe fixes |
haskell-test | Run HSpec/QuickCheck/Tasty tests and report results |
haskell-reviewer | Code review for idiomatic Haskell, type safety, purity, and performance |
haskell-patterns | Idiomatic Haskell conventions: newtypes, smart constructors, ReaderT, error handling, concurrency |
haskell-effectful | Effectful library conventions: dispatch choice, effect stack order, custom effects, concurrency |
haskell-relude | Relude conventions: Text-first, safe alternatives, container types, lifted IO |
haskell-servant | Servant web framework conventions: NamedRoutes record pattern, CRUD APIs, auth, testing |
haskell-servant-client | Servant client API wrapper conventions: two-layer error handling, NFData/Exception, effectful integration |
| Hook | Trigger | Description |
|---|---|---|
| HLint | PostToolUse (Edit/Write) | Runs HLint on .hs files after editing |
Codex reads plugin metadata from .codex-plugin/plugin.json. This plugin exposes the skills/ directory and hooks/hooks.json through that manifest.
The original Claude plugin files are still present for reference/backward compatibility:
.claude-plugin/plugin.json.claude-plugin/marketplace.jsoncommands/agents/cabal-install or stackhlint (optional): cabal install hlinthaskell-plugin/
├── .codex-plugin/
│ └── plugin.json
├── .claude-plugin/
│ ├── marketplace.json
│ └── plugin.json
├── commands/
│ ├── haskell-build.md
│ └── haskell-test.md
├── agents/
│ └── haskell-reviewer.md
├── skills/
│ ├── haskell-build/
│ │ └── SKILL.md
│ ├── haskell-test/
│ │ └── SKILL.md
│ ├── haskell-reviewer/
│ │ └── SKILL.md
│ ├── haskell-patterns/
│ │ └── SKILL.md
│ ├── haskell-effectful/
│ │ ├── SKILL.md
│ │ └── references/
│ │ └── effectful-examples.md
│ ├── haskell-relude/
│ │ ├── SKILL.md
│ │ └── references/
│ │ └── relude-migration.md
│ ├── haskell-servant/
│ │ ├── SKILL.md
│ │ └── references/
│ │ └── servant-examples.md
│ └── haskell-servant-client/
│ ├── SKILL.md
│ └── references/
│ └── servant-client-examples.md
├── hooks/
│ └── hooks.json
└── README.md
npx claudepluginhub birdgg/haskell-plugin --plugin haskell-claudeHaskell Language Server (HLS) integration for Claude Code with LSP support and troubleshooting guidance
Advanced Scala programming skills for functional programming and type systems
Claude skill for the domaindriven Haskell event sourcing and CQRS library
Access thousands of AI prompts and skills directly in your AI coding assistant. Search prompts, discover skills, save your own, and improve prompts with AI.
Complete developer toolkit for Claude Code
Intelligent draw.io diagramming plugin with AI-powered diagram generation, multi-platform embedding (GitHub, Confluence, Azure DevOps, Notion, Teams, Harness), conditional formatting, live data binding, and MCP server integration for programmatic diagram creation and management.